La structure algebrique des theories mathematiques - Henkin, Leon (Gauthier-Villars, Paris, 1956)