Filet mignon de porc gratiné aux épinards

2 filets de porc, 1,5 kg de pousse d'épinard, 6 tranches de jambon cuit, 6 tranches d'emmenthal, 2 gousses d'ail, sel, poivre, noix de muscade. Mettez du beurre fondu et un filet d'huile dans une lèche-frite. Posez-y les filets de porc, 1 gousse d'ail en chemise, une branche de thym et une feuille de laurier. Arrosez les filets de porc d'un peu de beurre fondu et enfournez-les à 180 pour 20