Ajouts des fichier astd.ml, trad.ml, b.ml

Dans cette version :
- Automates (sauf transition d'état final)
- QSynch sans la synchronisation (donc Interleaving quantifié)
- Début de la fermeture de Kleene (mais qui n'est pas complète et pas testée)