let rec memq cle v = function
    [] -> false
  | (c, [])::l -> memq cle v l
  | (c, e::l1)::l when cle = c -> (v = e)||(memq cle v ((c, l1)::l))
  | (c, e::l1)::l -> memq cle v l;;