Axiomatisation des manipulations symboliques en calcul des prédicats Marc Bergman, Henry Kanoui (1977) Mémoires de la Société Mathématique de France