CtcForAll updated (code is now factorized with CtcExist via CtcQuantif). Issue #39 fixed.
DefaultSolver: replace COMPO by XNEWTON (bug)