gratin of potatoes  porcini mushrooms in c