Herramienta que permite convertir fuentes terminológicas en PDF a formato XML estructurado para diccionarios