Effectivement, mais le problème de la normalisation est toujours présent avec le nouveau système de classement lexicographique.
Je vais refaire une explication pour montrer pourquoi ça ne marche pas bien, à l’intérieur du nouveau système. (et en essayant d’être plus clair)
Mais avant, j’aimerais que tu me donnes la formule de la normalisation, pour être sûr qu’on pense bien à la même chose.

Note que je vais m’occuper de trouver des cas où ça ne marchera pas, mais que c’est l’inverse qu’il faudra faire quand on aura trouvé une solution potentiellement bonne : montrer que ces cas n’existent pas, où au moins clairement identifier ce que ces cas impliquent.