Chou rouge gratiné

Ma belle maman fait de temps en temps cette recette de chou rouge. Je vous la met ici parce que quand j'ai fait une recherche je n'en ai pas trouvé ds ce genre
Je sais que le choux rouge pour certains (comme moi) ne fait pas parti des légumes que l'on apprécie le plus , mais ds cette recette il passe trés bien
Pour les quantité je vais essayer de vous les mettre mais en général je fais approximativement

MARCHE
1 chou rouge
1 barquette de lardons allumettes
4 oeufs durs
gruyère rapé
Béchamel

Couper le chou en petits morceaux en enlevant les grosses cotes
Le cuire ds de l'eau bouillante pdt une 20aine de minutes
Une fois cuit bien l'égoutter et ne pas hésiter a le presser pour qu'il garde le moins d'eau possible
Mettre les morceaux de chou ds un plat a gratin
Confectionner un roux avec la farine, le beurre (a peu prés tant pour tant) et mouiller avec le lait jusqu'à l'obtention d'une béchamel pas trop liquide
Ajouter ds la béchamel, les lardons que l'on aura préalablement faire dorer, saler (pas trop) et poivrer cette préparation
Mettre la béchamel sur le choux et mélanger
Sur ce mélange, poser les oeufs durs et gratiner avec le rapé
Mettre a four moyen le temps de faire dorer

Bon appétit