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.