Correction de l'exercice: reconnaissance de propositions de contenu similaire. Le calcul des prédicats avec égalité.