Les horaires des restaurants peuvent varier. Consultez notre page « Restauration et vie nocturne » pour plus d'informations.