Cliquer le lien TD2predicat.pdf pour afficher le fichier.