Recette :
1. Dans une cocotte minute, faites chauffer un fond d'huile d'olive, puis faites dorer le filet mignon de porc sur toutes ses faces. Ajoutez la cuillère à soupe de farine. Versez 1/3 de bouteille de vin blanc (plus ou moins suivant votre goût) et complétez avec de l'eau jusqu'au raz du filet mignon. Salez, poivrez, fermez la cocotte et laissez cuire 30 minutes après mise sous pression (premiers jets de vapeur).
2. Epluchez les pommes de terre, les carottes, les champignons et coupez-les carottes en rondelles. Ajoutez-les dans la cocotte, refermez et laissez cuire encore 10 à 15 minutes. Servez chaud.