Petits choux aux champignons

Name: Petits choux aux champignons
Prep time: 30 min
Cook time: 1 h 25 min
Total time: 1 h 25 min
Yield: 20 pièces
Ingredients: 75 g d'eau; 75 g de lait; 80 g de beurre demi-sel; 120 g de farine; 4 œufs; 1 c. à soupe d'huile d'olive; 60 g d'échalotes; 300 g de champignons de Paris frais; du sel; 1 c. à café de moutarde; du poivre moulu; ½ jus de citron; 200 g d'huile de tournesol