cmake modifié pour l'automate (need confirmation)