[Jgraphx] Personnailiser la taille des Edges

Version imprimable