1 filet mignon de porc (600 g)