Mentions légales du service
GitLab upgrade completed. Current version is 17.11.6.
Camera-ready synthesis version for FPL'19 submission
