let pp_presigma fmt = function
  | [] -> Format.pp_print_string fmt "{}"
  | (x,y)::s ->
      Format.fprintf fmt "@[{%s=%s" x y ;
      List.iter
        (fun (x,y) -> Format.fprintf fmt ",%s=%s" x y) s ;
      Format.fprintf fmt "}@]"