Exercice 2

Une double rotation droite est une rotation gauche sur le sous-arbre gauche suivie d'une rotation droite. La même notion vaut mutatis mutandis à gauche.

Ecrire les procedures réalisant les doubles rotations gauche et droite.