Filet mignon de porc aux lentilles

Un plat simple qui assure la transition entre la belle saison et l'automne. J'ai utilisé des tomates cerises du jardin mais vous pouvez ne rien mettre, ajouter un autre légume.