Comparaison annoncée par des fonctions propositionnelles