Implication ou équivalence ?