Filet mignon de porc et écrasés de pommes de terre