Catégorie Automates finis et langages réguliers