Gratin of Mushroom and Broccoli