Le petit déjeuner buffet est gratuit pour les tarifs sélectionnés. Il est servi de 7 h à 9 h 30 tous les jours. Veuillez prendre votre petit-déjeuner au restaurant.