Gratin de gnocchi et brocoli, reblochon et echalotes

• Laver le brocoli et prélever les bouquets. 
  Éplucher et émincer l'échalote.
  Couper le reblochon en tranches.
• Faire bouillir un grand volume d'eau salée au gros sel dans 2 récipients différents.
  Dans le premier, cuire les gnocchi pendant 1 min, puis les égoutter.
  Dans le second, plonger les bouquets de brocoli pendant 5 min, puis les égoutter. Les faire ensuite refroidir, puis les égoutter à nouveau.
• Faire fondre le beurre dans une poêle. Ajouter les gnocchi et les dorer pendant quelques minutes. Ajouter les échalotes et cuire quelques minutes. Finir en incorporant les brocolis et les faire également revenir quelques minutes. Les assaisonner de sel et de poivre.
• Mettre le mélange dans un plat à gratin, le recouvrir de tranches de reblochon et l'enfourner à 180 °C (th. 7-8) pendant 15 min.
• Servir chaud.