INGREDIENTS : - 1 filet mignon de porc (4 à 500 gr) - 1 rouleau de pâte feuilletée - de la moutarde à l'ancienne - 1 petite boîte de champignons de Paris émincés -4 tranches de jambon cru - 1 jaune d'œuf - 1 échalote - thym - persil - 1 noisette...