Rôti de filet mignon

L'extra-tendre du porc, idéal au four avec une sauce à la moutarde.