Filet mignon de porc, sauce moutarde & pommes de terre grenailles