correction de l'automate accessible : on enleve les transitions inutiles