La structure algebrique des theories mathematiques - Henkin, León (Gauthier-Villars, 1956)