Je ne sais pas pourquoi je dois commiter
Merge branch 'master' of https://github.com/jgmailly/DynArgs

Conflicts:
	bin/main/Test2.class
	src/main/Test2.java
Debug du calcul des ensembles admissibles via SAT (fini ?)