let pp_interval fmt rg =
  let pp_opt fmt = function
    | None -> ()
    | Some d -> pp_term fmt d
  in
  Format.fprintf fmt "[%a..%a]" pp_opt rg.inf pp_opt rg.sup