Mettre l'oignon coupé en 2 et l'ail dans le bol et mixer 5 sec / vitesse 5. Ajouter le beurre et régler 4 min / 100°C / vitesse 3. Couper la viande en morceaux (1,5 cm de côté), l'introduire dans le bol avec la tomate, le vin, le thym, le laurier, le sel et le poivre.Programmer 20 min / 100°C / [counterclock] / vitesse mijotage. Pendant ce temps, nettoyer les champignons, les couper et les arroser de jus de citron. A l'arrêt de la minuterie, ajouter les champignons dans le bol et régler 15 min / 100°C / [counterclock] / vitesse mijotage.