Chou rouge [Brassica oleracea var. capitata f. rubra]