Décodage d'un integer