''Petra'' Restaurant Principal
Petra, le nouveau restaurant principal offre un buffet international amélioré au petit déjeuner et à l’heure du dîner, incluant des démonstrations de cuisine, des plats végétariens et un menu enfant.
Voir aussi
Petra, le nouveau restaurant principal offre un buffet international amélioré au petit déjeuner et à l’heure du dîner, incluant des démonstrations de cuisine, des plats végétariens et un menu enfant.
