/ 纳瓦拉国国王的名字是谁取的

纳瓦拉国国王的名字是谁取的