Correction bug automaton
Ajout kleene, marche pour les sets, variables, invariant and initialisation

Reste opérations à modifier