Au fait, est-ce que quelqu'un saurait prouver que le résultat de la fonction est le même quand le type int est sur 16 bits au lieu de 32 bits ?
J'ai fait un test sur megamix.txt en remplaçant int par short, et il n'y a pas de différence d'après ce test. Mais ça ne prouve pas que les deux fonctions (l'une avec int, l'autre avec short) retournent toujours la même valeur...