[cross]

donc tu as bien un graphe acyclique au début ?

je vois à peu près ce que tu veux, mais il y a une ambiguïté dans tes specs qui n'apparaît pas dans ton exemple : est-ce que tu veux

LIB1
-LIB2
--LIB3
LIB4
-LIB2
--LIB3

ou

LIB1
-LIB2
--LIB3
LIB4
-LIB2

ou

LIB1
-LIB2
LIB4
-LIB2
LIB2
-LIB3

?