Pavé de filet de porc à la milanaise

1 kg de filet de porc, 150 g de jambon fumé, 150 g de champignon brun, 1 gousse d'ail, 2 c à s de purée de tomates, 2 dl de bouillon de volaille, origan, thym, romarin, sel, poivre Coupez le filet de porc en 4 beaux pavés. Frottez-les pavés à l'ail, salez-les et poivrez-les avant de les mettre dans un beurre (avec un filet d'huile) bien chaud. Faites-les dorer sur chaque face, puis ajoutez le