printing functionnality
Revert "printing functionnality"

This reverts commit 1f1f65b8f0adc852872fb1f018e403c48245ae6c.
rectification of the deletion of wmain.ml
correction of Makefile + accessibility in LTS
solve : cosmetics
example : new problematic case
lts : fix (adding the possibility for the "big" automaton to not move, when it is acceptable)
update