Skip to content
Fix few mistakes from the v1, switch the git URL to gitlab.inria.fr