Manual del catálogo diccionario - Vicéns de Lallave, Juan