Completion de la fonction decrement().
Pas encore fonctionnelle