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