DSAT fini ; à faire: export en différents formats (GraphML, dot) avec et sans couleurs, Hajos, RLF.