"Si A implique B, B n'implique pas *nécessairement* A"