Mentions légales du service
Fix the warning in 8e207729 Add a check for yices on real in nightly-build