POTATO & MUSHROOM GRATIN