Cliquer le lien TD2-logique.pdf pour afficher le fichier.