Mentions légales du service
The rest of this commit was discarded. It does not look to be adapted to the Why3 testsuite.