Mentions légales du service
Bugfix: driver for cvc4 (bugs inserted when resolving merge conflict when rebasing the master branch).