pour le coup de "supprimer les flèches en trop", [google]algorithme graphe "reduction transitive"[/google].
pour le dessin, graphviz n'est pas mal.