ajout des fonction get_state et get_val pour la monade state du module Monade_pack