La Structure algébrique des théories mathématiques — Leon Henkin