Arrêt de Gitedu dès 12h15 aujourd'hui 13 mai 2024 pour maintenance (env. 30min)
corrections typos etc