Mentions légales du service
GitLab upgrade completed. Current version is 17.11.3.
🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸