Inventoring des outils informatique avec l'aide de clarilog