Mentions légales du service
GitLab upgrade completed. Current version is 17.11.6.
https://robotlearn.gitlabpages.inria.fr/remote-inria/docs/