real gratin of potatoes and porcini mushrooms in cream