remplacement des liens app-learninglab.inria.fr/gitlab par gitlab.inria.fr si possible + remplacement sessions01bis par session02