let interval r =
  match r.inf,r.sup with
    | None,None -> integers
    | Some i, None -> range_inf i
    | NoneSome j -> range_sup j
    | Some i, Some j -> loc_range i j