À ce stade, le graphe n'est pas forcément complet, mais de chaque
n 
ud est issu au moins un arc. Il ne reste donc plus qu'à
compléter le graphe (faiblement), par l'application de comp(t), pour
tout taxème t de T. À ce stade, bien entendu, le graphe
d'opposition est faiblement complet, et de chaque n ud est bien
issu un arc.