Début de watched literals
Vectors au lieu de sets pour _mavariables, gaind e 10-15% en perfs =)