Page:Padoa - La Logique déductive dans sa dernière phase de développement.djvu/120