Filet Mignon De Porc À La Moutarde Ancienne, Écrasé De Pommes De Terre