graphe d'ordonnancement