November 27, 2014MiscellaneousCorrection de l'exercice: reconnaissance de propositions de contenu similaire. Le calcul des prédicats avec égalité.