Pour réserver les restaurants à la carte le matin même, à l'entrée du restaurant buffet.