Mentions légales du service
Setup a Jenkins simple pipeline to,
More on INRIA/CI: https://inria-ci.gitlabpages.inria.fr/doc/