800 g de chou rouge