Las gentes del mar en Sevilla a finales de la Edad Media | Publicación