deluxe gratin of potatoes and porcini mushrooms in cream