Elements de logique mathematique ad modum manuscripti - Dubarle, Dominique