1Dans une casserole, mélangez 20 cl d'eau avec une pincée de sel, un peu de noix de muscade râpée et le beurre coupé en petits morceaux.
2Portez rapidement à ébullition, puis retirez du feu.
3Incorporez la farine d'un seul coup et remuez avec une spatule.
4Remettez sur feu doux et continuez à mélanger pendant 2 à 3 minutes, jusqu'à ce que la pâte se détache de la casserole et forme une boule.
5Laissez la pâte tiédir pendant 5 minutes, puis ajoutez les œufs un à un en mélangeant bien entre chaque ajout.
6Terminez en incorporant le gruyère râpé.
7Passez ensuite à la sauce béchamel et faites bouillir le lait et assaisonnez-le avec du sel, du poivre et de la noix de muscade râpée.
8Dans une autre casserole, faites fondre 20 g de beurre et ajoutez la farine. Mélangez et laissez cuire 2 minutes à feu doux en remuant constamment. Vous obtenez un roux.
9Versez le lait bouillant sur le roux, portez à ébullition et laissez cuire pendant 3 minutes en remuant sans cesse avec un fouet.
10Réservez la sauce au bain-marie pour qu'elle reste chaude.
11Préchauffez votre four à 180°C (thermostat 6).
12Faites bouillir une grande casserole d'eau salée.
13Garnissez une poche à pâtisserie munie d'une douille unie (n°14 ou 16) avec la pâte à choux.
14Positionnez la douille au-dessus de la casserole d'eau frémissante et faites tomber la pâte dans l'eau en coupant le cordon de pâte tous les 3 cm.
15Laissez pocher les gnocchis pendant 5 minutes sans les faire bouillir (ils remontent à la surface lorsqu'ils sont cuits).
16Rafraîchissez-les immédiatement sous l'eau courante et égouttez-les.
17Déposez les gnocchis dans un plat à four beurré.
18Nappez-les de sauce béchamel, saupoudrez de gruyère râpé et répartissez quelques parcelles de beurre.
19Enfournez pendant 10 à 15 minutes, jusqu'à ce que le dessus soit gratiné.
20Servez aussitôt, bien chaud.