Correction bug + menage dans params.ml : store
Suppression d'un message de trace
Cosmetics
Suppression des ';;' inutiles
Cosmetics
Ajout d'une fonction pour factoriser le code
Fonction store renommee en store_uniq pour plus de clarte