Filet mignon de porc rôti à la moutarde ancienne et oignons fondant