Algorithme d'Euclide étendu et complexité

On fait la preuve de l'algorithme par récurrence puis on montre dans Z que la complexité est en O(log a log b) ou a et b sont deux entiers positifs.