Mentions légales du service
simplify greatly the implementation, work less in advance. Rebase : Use the new call_prover interface