Datos bibliográficos sobre José Ramón de Leyva