Gratin de brocoli

Instructions :
Détailler le brocoli en bouquets. Jeter le trognon. Faire cuire les bouquets de brocoli à l'autocuiseur 5 mn ou 10 mn à l'eau salée dans une casserole ordinaire, egoutter. Faire fondre le beurre dans une casserole, ajouter la farine avant que le beurre ne soit coloré et remuer vivement. Hors du feu, incorporer le lait en fouettant, remettre sur le feu sans cesser de remuer pour que la béchamel épaississe. Hors du feu à nouveau ajouter la crème, l'oeuf, la muscade et le fromage. Beurrer un plat à gratin, y disposer les brocolis et verser la sauce dessus, parsemer de gruyère et cuire au four thermostat 6, 180 °C pendant 15 mn. Finir la cuisson par un passage sous le grill pour dorer le gratin.