book Système de logique déductive et inductive exposé des principes de la preuve et des méthodes de recherche scientifique , Mill John Stuart