modifié :         src/LDDGraph.cpp
	modifié :         src/LDDGraph.h
	modifié :         src/NewNet.cpp
	modifié :         src/SogKripke.cpp
	modifié :         src/SogKripke.h
	modifié :         src/main.cpp
	modifié :         src/threadSOG.cpp