Element 'Théorie des automates.'