où manger une vraie choucroute à Obernai ce soir