Gratin dauphinois avec chou rouge rôti | Recette