gmp_hamdist retourne la distance de Hamming entre a et b . Les deux paramètres doivent être strictement positifs.