Las nuevas tecnologías permiten catalogar 3.000 inscripciones árabes en la Alhambra