type 'a matrice == ('a vect) vect;;
 
type graphe == bool matrice;;

value matrice : 'a -> int -> int -> 'a matrice;;

value tri_topologique : graphe -> int list list;;