Potato Gratin With Mushrooms