Filet mignon de porc, sauce girolles

17.00 €