Implication et équivalence/Référents