dualmoo (./45) :
ben pour ça tu peux encore te démerder, avec un type "nombre inférieur à 10", et un autre type "nombre supérieur à 10" ...

Non, parce que tu ne peux pas savoir quel type instancier sans if.

mais dans le cas du ./44, on ne peut pas faire comme ça.

C'est exactement le même cas, tu aurais un type "paire de nombres égaux" et un type "paire de nombres différents", mais là encore, comment choisir le type à instancier sans if? (Avec du ?: ternaire? )