Le code pour déduire des valeurs quand il n'y a plus qu'une seule polarité... a l'air de bugger ><
On ajoute pas des déductions en double, et on détecte les collisions au plus tôt. Gain : rien