Modif table des matières + remplacement des liens app-learninglab.inria.fr/gitlab par gitlab.inria.fr
