Bonjour

Existe-t-il un package latex qui résume les références entre les différents théorèmes d'un document? Exemple: Dans la preuve du théorème x, on invoque le résultat du théorème y (via la commande \ref), et du coup sur le document de synthèse une fléche apparait du théorème y vers le document x (il faut bien entendu indiquer que c'est bien de la preuve du théorème x qu'il s'agit).

Ces dépendances pourraient être indiquées sous forme d'un arbre (si c'est un graphe avec des cycles c'est inquiétant :-)

Si vous avez des infos pour quelque chose qui ressemble ça m'intéresse.