Quels sont les horaires d'ouverture du restaurant ?

Le petit-déjeuner est servi de 8h00 à 10h00, tandis que le déjeuner et le dîner sont servis en deux équipes, pour offrir plus de flexibilité et d'espace dans la salle à manger : 12h30 et 13h30 pour le déjeuner et 19h30-20h30 pour le dîner.