encore quelques petites optimisations, sur la partie hors moteur proprement dit (création SatSolver, ...)