int hanoi(int nb_disques);