Click TD2-logique.pdf link to view the file.