En partenariat avec le CNRS (Centre National dela Recherche scientifique, l'ATILF (Analyse et Traitement informatique de la Langue française) et l'université de Nancy 2, Jacques Dendien propose sur Internet une encyclopédie en ligne riche et pratique, intitulée Le Trésor de la Langue Française informatisé (TLFi).
 

Voici 17 définitions en rapport avec la spéléologie, extraites de cette encyclopédie (version 3, du10/12/2002).