En raison d'un mouvement de grève, le service restauration ne sera pas assuré le jeudi 5 décembre.