graphe d’ordonnancement