Filet mignon de porc
8,10 €