Les tours de Hanoï - Lycée Condorcet (Saint Quentin)

On se demande quel est le nombre de coups minimal pour résoudre le jeu des tours de Hanoï.
Comment décrire automatiquement une solution du problème ?