Amelioration du codage
Ajout de begin/end dans params.ml
Debut de codage de kernel_version : pas termine