Compte rendu — Table ronde de logique (1983 ; Paris)