Donnez, en application de l'algorithme de calcul de la fermeture transitive, un algorithme qui vérifie si un graphe n'admet pas de cycle.