Pierre Lecomte
Les résultats relatifs à la -reconnaissabilité sont tirés du remarquable livre ``Automata, Languages and Machines, A'' de S. Eilenberg, Academic Press, New-York and London, 1974. Les considérations relatives aux systèmes abstraits sont dues à M. Rigo et moi-même. La régularité de
et
est due à J. Shallit qui s'en est servi pour établir une généralisation importante de la Proposition
.