Mentions légales du service
detect it with why3 config --add-prover alt-ergo /usr/local/bin/alt-ergo-1.00~beta.prv