Blanquette de veau

1. Mettre la viande et les carottes dans l'autocuiseur. Ajouter de l'eau froide jusqu'à 1 cm au-dessus de la viande, soit environ 3 litres. 2. Ajouter le laurier, le thym, l'oignon coupé en quatre et les clous de girofle. Faire cuire pendant 30 minutes après la mise en pression. 3. Retirer la viande et les autres ingrédients du bouillon et réserver le jus de cuisson. 4. Dans une grande casserole, faire fondre le beurre, ajouter la farine et mélanger. Laisser cuire à feu doux en remuant avec une cuillère en bois pour faire un roux. 5. Ajouter un peu de jus de cuisson et remuer pour obtenir un mélange homogène. 6. Ajouter progressivement du jus de cuisson en remuant jusqu'à obtenir une sauce épaisse mais liquide. Ajuster l'assaisonnement en sel et en poivre. Hors du feu, incorporer le jaune d'œuf, le jus de citron facultatif et les cubes de bouillon. 7. Remettre les ingrédients dans l'autocuiseur et ajouter la sauce. 8. Ajouter les pommes de terre et les champignons. Mélanger, refermer et cuire à nouveau pendant 15 minutes après la mise en pression. 9. Parsemer de persil avant de servir.