let ut_composante g =
  G.fold_vertex (fun (_,t) uts ->
    ut Args.system_set t ++ uts
  ) g RuleSet.empty