Gnudi Gratinés, Ragoût De Champignons De Paris Et Shiitake