L'arrière du batiment principal, en bas les restaurants à la carte en haut le restaurant buffet.