Avant, le k-graphique $ETH était assez propre, mais après le changement de propriétaire à 1390, c'est tout simplement insupportable.