Translation working for all ASTD type from Automaton to QChoice (see ASTD_astd.ml to see the order). It is working for some part of QSynchronization type :
I can translate :
- a non synchronized operation wich has the quantified variable as a parameter
- a non synchronized operation wich doesn't have the quantified variable as a parameter
- a synchronized operation in the simple case, where the affectation is deterministic

I will know add the Fork operator
All is working from Sequence to Qchoice. QSync and Fork are working for lamba affectation. The "become such as" is not implemented
adding fork and qfork
It seems there is a problem with the typing of parameters
I will try to fix it
Adding the possibility of adding an invariant file, an assertion file, the fact that the specification is a refinement, etc...