Épluchez l’ail et les oignons, puis détaillez-les en petits morceaux; égouttez soigneusement les champignons. Les aromates doivent être prêts avant le dorage, et les champignons ne doivent pas rendre d’eau dans la sauce.
Activez le mode « dorer », faites fondre le beurre, puis colorez le bœuf et les lardons pendant 3 min, préchauffage compris, en remuant avec une cuillère en bois. La viande doit prendre une teinte dorée et dégager une odeur légèrement caramélisée, sans attacher au fond.
Incorporez les oignons et les champignons, ajoutez la farine, puis poursuivez en mode « dorer » pendant 3 min, préchauffage compris, en mélangeant régulièrement. La farine doit disparaître dans les sucs et former une fine pellicule autour des ingrédients, sans paquets secs.
Versez le vin rouge jusqu’à recouvrir la viande, puis ajoutez le sel, le poivre, l’ail et le bouquet garni. Le liquide doit décoller les sucs dorés de la cuve et prendre une couleur profonde avant la fermeture.
Fermez l’appareil et lancez la cuisson sous pression pendant 35 min. À l’ouverture, éloignez mains et visage de la vapeur: la viande doit se défaire facilement sous la fourchette.