Mentions légales du service
It is cleaner if the '@.' is not printed at the end of the error messages when using why3 prove.