Gratin de brocolis et oignons rouges