Title: La logique déductive dans sa dernière phase de développement