Gingerbread House
Buffet Déjeuner Saveurs du Monde Un buffet délicieux proposant des sushis, de la cuisine indienne, des pâtes, de la cuisine thaïlandaise et des spécialités de street food des quatre coins du monde, du lundi au vendredi.