Seven is a nick of Arnulf.
http://wiki.osgeo.org/index.php?title=Cap%C3%ADtulo_Local_de_la_comunidad_hispanohablante&action=history