Filet mignon de porc aux légumes, dans son jus.

Pelez les tomates, coupez-les en 2 horizontalement, épépinez-les et coupez les en gros morceaux, comme tous les autres légumes.
Faites dorer le filet mignon à feu vif dans une sauteuse contenant le beurre et l'huile. Quand il est coloré sur toutes ses faces, ajoutez les légumes, ainsi que la gousse d'ail pressée, les herbes de Provence, du sel et du poivre.
Mélangez, couvrez et baissez le feu au minimum. Laissez mijoter 45 minutes à feu doux en retournant le filet de temps en temps.
Rectifiez l'assaisonnement et servez bien chaud, coupé en tranches épaisses.

Bon appétit...