Préparer tous les ingrédients.

Confectionner la pâte à choux.

Pour cela, porter l'eau à ébullition avec le beurre et une pincée de sel.

Hors du feu, ajouter la farine en une seule fois et bien mélanger à l'aide d'une spatule en bois.

Vous obtenez une pâte appelée "panade". Dessêcher la panade en la remuant constamment jusqu'à ce qu'elle se décolle des parois de la casserole.

Retirer du feu et laisser tiédir. Ajouter les œufs entiers un à un. Bien mélanger entre chaques œufs.

Ajouter d'emmenthal râpé.

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, s'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'emmenthal râpé et de morceaux de beurre.

Enfourner à four chaud (150°C) pendant 15 minutes.

Servir aussitôt gratinés.