let dummy_values_string_list =
(*** version non abstraite : ***)

  [(Agent,         "dummy_agent");
   (Nat,           "dummy_nat");
   (Bool,          "dummy_bool");
   (Hash_func,     "dummy_hash");
   (Message,       "dummy_msg");
   (Text,          "dummy_nonce");
   (Public_key,    "dummy_pk");
   (Symmetric_key"dummy_sk");
   (Channel,       "dummy_chnl");
   (Channel_ota,   "dummy_chnl_ota");
   (Channel_dy,   "dummy_chnl_dy");
   (Protocol_id,   "dummy_pid")
  ]