Gnocchi au jambon gratinés

Faites cuire les pommes de terre à la vapeur pendant 30 minutes environ.
Pelez-les et réduisez-les en purée.
Incorporez les oeufs entiers et le jaune, la farine, sel et poivre, muscade, le jambon haché, le gruyère râpé et 50 g de beurre.
Pétrissez un peu et étalez la pâte sur un plan fariné sur 1 cm d'épaisseur.
Découpez des disques à l'emporte-pièce et rangez-les dans un plat à four beurré en les faisant se chevaucher légèrement.
Parsemez le reste de gruyère râpé et quelques noisettes de beurre.
Faites gratiner 15 minutes au four à 200° C