El tesauro CINDOC de topónimos - Sánchez Nistal, José María