Chou rouge mariné | Recette