Correction de la déterminisation (destructif à vérifier), début implémentation union (automate des couples)