Filet Mignon De Porc Façon Nem, Gratin