Ajout aux expression :
- Exstence
- Universalité
- Appartenance

et donc modification de la fonction qui permet de les imprimer
Ajout de l'affectation de relation dans les substitutions et donc du type relation pour permettre le code de la synchronisation quantifiée
Version où fonctionne à peu près
- les automates :
* Dans le cas de sous automates, si le sous automate n'est pas ajouté en dernier grace à addState, il n'est pas traduit : BUG à vérifier.
* La transition d'état finale n'est toujours pas implémentée

- la fermeture de Kleene :
Pas vraiment de bug remonté

- la qSynch :
La synchronisation ne marche pas mais la version interleaving a l'air de plus où moins marcher (sauf dans le cas de l'étoile de Kleene qui semble faire apparaître une looping recursion...)
Commit contenant uniquement la traduction des automates. Les autres traduction sont reportées sur d'autres branches