Emilio Mira y López : nuevos datos bibliográficos