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