La validité de cette conjecture ne faisait aucun doute depuis sa formulation en 1985. Mais un contre-exemple avec un graphe comportant 7 222 sommets vient d’être découvert !