Tests unitaires de Problem et TODO rajouté dans la classe du domaine Problem avec quelques contraintes à rajouter.