Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool into new-lip6

Conflicts:
	src/main/java/ui/TGUIAction.java