Mentions légales du service
slight improvements of CVC4 driver, preparing the support for the "steps" feature and the counter-examples