Filet mignon de porc aux champignons de Paris, gratin de pommes de terre et de carottes