chou saumuré à choucroute