SMS dit: Théorie structurelle des automates finis