Mentions légales du service
* separate editor and prover call * fix problems with cleanup, inplace, interactive, redirect