Recodage de la fonction highest-bit