Cliquer le lien chap3 Raisonnement en logprop.pdf pour afficher le fichier.