Contribution à l'étude de la simulation automatique du raisonnement — Louis Bourrelly