Répertoire de référence de addin

Graphe des dépendances de répertoires pour addin:

Répertoires
répertoire	constante
répertoire	outil
répertoire	poly_occ
répertoire	sat
répertoire	step