Mentions légales du service
This is more convenient when using only the Why3 API from SPARK for example.