La restauration

Il y avait 5 restaurants différents :
Un italien
Un dominicain
Un mexicain
Un chinois
Un brésilien

A cela s'ajoutait le buffet normal, un snack, une crêperie.

Et 2 restaurants payants à la carte :

Un français
Un restaurant de fruits de mer

Voici quelques photos de l'extérieur :