Recettes dalles richelieu

100 g de champignons de paris, 3 oignons, 1 c. à soupe d'huile, 3 tomates, 1 cube de bouillon de boeuf, 50 g de beurre, 4 bifteacks dans la bavette, 1 verre à liqueur de porto, sel et poivre, 1 c. à soupe de farine, 6 feuilles de menthe, eau