Phases techniques :

• Confectionner la pâte à choux.
• Ajouter l'emmental râpé à la pâte.
• Bien mélanger. Réserver.
• Confectionner un roux blanc avec la farine et le beurre afin de faire une sauce béchamel.
• Verser le lait bouillant sur le roux blanc froid et fouetter sans arrêt à feu moyen jusqu'à la reprise de l'ébullition. Saler, poivrer et ajouter quelques rapures de noix de muscade.
• Cuire la sauce pendant 3 à 4 minutes en remuant constamment afin d'éviter qu'elle n'accroche au fond de la casserole. Rectifier l'assaisonnement.
• Remplir de pâte à choux une poche à douille munie d'une douille unie (n° 14 ou 16). Détailler la pâte en petits bouchons de 2 centimètres au dessus d'une casserole d'eau frémissante salée. Pour cela, vous aider d'un couteau d'office.
• Laisser pocher pendant 6 à 8 mn à eau frémissante.
• Au terme de la cuisson, transvaser dans un récipient d'eau froide pour stopper la cuisson.
• Égoutter.
• Dans un plat à gratin, ou un plat en terre ou plusieurs plats individuels, napper le fond de sauce béchamel.
• Etaler une couche de gnocchis, napper à nouveau de sauce béchamel et recouvrir d'emmental râpé et de morceaux de beurre.
• Enfourner à four chaud (150°C) pendant 15 minutes.
• Servir aussitôt gratinés.