best gratin of potatoes and porcini mushrooms in cream