un logicien de formation qui ne sait même pas faire la différence entre l’implication et la double implication...