Gratin de choux rouge

Recette trouvé sur "supertoinette"

Couper le choux en fines lamelles et le faire cuire à l'eau. Eplucher les pommes de terres et les faire cuire. Couper l'oignon et l'ail très fin, les faire dorer à la poêle dans du beurre. Ajouter les lardons, les faire revenir avec l'oignon et l'ail.
Dans un plat à gratin, ajouter le choux cuit ainsi que les pommes de terre. Ajouter les lardons/oignon avec leur jus.
Dans un bol, battre 2 oeufs avec une cuillère à soupe de farine et 50 cl de crème fluide. Verser cette préparation dans le plat à gratin. Sur le dessus, casser 2 oeufs et parsemer de gruyère râpé. Passer au four (200°C) pendant 30 mn.