Tours de Hanoï (récursivité)

On dispose de 3 tiges et de $n$ disques de tailles croissantes empilés sur la première tige.

Écrire une fonction récursive hanoi(n, source, auxiliaire, destination) qui affiche les déplacements nécessaires pour transférer les $n$ disques de la tige source vers la tige destination, en respectant la règle : un disque ne peut être posé que sur un disque plus grand.

Montrer que le nombre de déplacements est $2^n - 1$.