La vegetación del Peñón de Gibraltar | Publicación