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

Makefile

build.txt

doc/ttool_windows.bat

modeling/SysMLSec/README

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/proverifspec/ProVerifEquation.java

src/proverifspec/ProVerifPiSyntaxer.java

src/proverifspec/ProVerifPitypeSyntaxer.java

src/proverifspec/ProVerifSyntaxer.java

src/tmltranslator/toproverif/TML2ProVerif.java

src/ui/AvatarMethod.java

src/ui/DefaultText.java

src/ui/avatarbd/AvatarBDBlock.java

src/ui/window/JDialogAvatarBlock.java