Filet mignon de porc au chou vert

2 filets mignon de porc (2 x 500 g), 1 petit chou vert, 100 g de champignon des bois (sinon de Paris), 1 c à s de graisse d'oie, 1 verre de porto rouge, du fond de veau, sel, noix de muscade, thym Nettoyez le chou vert en enlevant les feuilles extérieurs, coupez-le en 4 et faites-le blanchir quelques minutes à l'eau bouillante salée. Égouttez le chou vert et coupez-le en morceaux.Mettez la