Éléments de théorie des automates — Jacques Sakarovitch