Miguel Gilarte, astronomo director del Observatorio Astronómico de Almadén de la Plata, en Sevilla.