Un restaurant buffet n'était pas ouvert lors de notre visite en basse saison.