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

...main/java/avatartranslator/AvatarStateMachineElement.java

src/main/java/ui/AvatarDesignPanelTranslator.java

src/main/java/ui/MainGUI.java

src/main/java/ui/ModeManager.java

src/main/java/ui/TDiagramMouseManager.java

ttool/src/test/java/avatartranslator/AvatarGuardTests.java

ttool/src/test/java/avatartranslator/AvatarPragmaTests.java

ttool/src/test/java/avatartranslator/AvatarSafetyTests.java