Palatinus Restaurant - Ce restaurant propose des spécialités Cuisine internationale et sert le petit-déjeuner, le brunch, le déjeuner et le dîner. Possibilité de prendre vos repas en plein air (si le temps le permet). Un menu enfant est proposé. Ouvert 24 h/24.