Describir: Théorie structurelle des automates finis