1. Préchauffer le four à 180°C.
2. Couper le brocoli en petits bouquets et retirer le trognon, puis faire cuire les bouquets dans de l'eau salée pendant 5 à 10 minutes dans une cocotte-minute, puis les égoutter.
3. Dans une casserole, faire fondre le beurre, puis incorporer la farine avant qu'il ne prenne de couleur, en mélangeant vigoureusement.
4. Hors du feu, verser le lait en fouettant et remettre sur le feu tout en remuant jusqu'à épaississement, puis retirer du feu et ajouter la crème, l'œuf, la muscade et 80 g de gruyère râpé.
5. Beurrer un plat à gratin, disposer les brocolis, verser la sauce par-dessus et saupoudrer de gruyère râpé, puis enfourner pendant 15 minutes et terminer en plaçant le plat sous le gril pour le dorer.
6. Servir le gratin de brocolis.