Développement : Algorithme d'Euclide étendu et complexité

Détails/Enoncé :

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.

Références utilisées dans les versions de ce développement :

Cours de calcul formel. Corps finis, systèmes polynomiaux, applications , Philippe Saux Picart, Eric Rannou (utilisée dans 5 versions au total)
Algorithmes fondamentaux , Saux Picart (utilisée dans 5 versions au total)