Algorithme du PGCD binaire