Filet mignon de porc, épinards frais, pommes de terre et tomates au four