Gratin de gnocchi façon tartiflette

Les gnocchi

• 1000 g d'eau, et en grand volume pour la cuisson des gnocchi
• 20 g de gros sel
• 800 g de pommes de terre à chair ferme, type Charlotte
• 350 g de farine de blé, et un peu pour le plan de travail
• 1 œuf

Le gratin

• 20 g de beurre doux
• 1 oignon, coupé en deux
• 50 g de lardons
• 30 g d'huile d'olive
• 100 g de crème liquide 30-40% m.g.
• 1 - 2 pincées de poivre moulu, à ajuster en fonction des goûts
• 250 g de reblochon, coupé en tranches (0.5 cm env.)