Mettez le boeuf, l'ail hachée grossièrement, l'échalotte coupée finement ainsi que l'oignon émincé, le sel, le poivre, le vin, les clous de girofle, le romarin, le laurier et le thym dans un grand bol. Laissez mariner pendant 24 h au frigo en remuant de temps en temps.
Apres 24h mettez à cuire une bonne noix de beurre avec un peu de farine dans une cocotte.
Faites brunir la farine et mettez y le boeuf.
Une fois la viande un peu colorée, mettez y toute la marinade, les carottes et laissez cuire 3H sur un petit feu en surveillant et en remuant de temps en temps.
Ajouter du temps si la cuisson ne vous convient pas. Quand la viande est cuite, délayez le fond de boeuf et la farine dans un peu d'eau et mettez cela dans la cocotte.
Ajoutez y les champignons de paris et laissez cuire encore un peu avant de servir.