Mise à niveau du serveur gitlab prévue le 22/10/2024 entre 9h et 11h.
quelques modifications mineures