Theorie generale et logique des automates