Aan het eind van de dag kunt u terecht in de restaurants voor allerhande gerechten, van Chinese specialiteiten tot internationale maaltijden.
Les restaurants vous proposent en fin de journée un large éventail de cuisines, allant des créations chinoises aux plats internationaux, le tout sous forme de buffet.