chou rouge cuit vapeur