https://123dok.net/document/y9646k9r-transducteurs-finis-d-arbres-et-tests-d-égalité.html