Garlic mushrooms gratin