Filet mignon de porc aux champignons et carottes (sauce brune)