Kevin Kofler (./256) :
Il faut prouver que le code termine, après on peut le supprimer parce que l'assignement n'est utilisé nulle part.)

Bah si c'etait facile a faire