Filet mignon de porc rôti à la moutarde à l’ancienne

Filet mignon de porc rôti à la moutarde à l'ancienne : Dans un grand plat allant au four, mettre le beurre coupé en morceaux, poser...