potage au chou rouge