Le 19 avril 2022 à 15:21:37 :Je dirais même que (PERSO -----> ENT) ≡ (¬ENT -----> PERSO)
cela impliquerait que PERSO ≡ ¬PERSO, qui est absurde. quoi que ...
