Chou rouge braisé à la tyrolienne