Minor modification in doc and add global variables in sapin_noel.ml