Prerrománico. Parte más antigua de San Juan de la Peña. Siglos VII a IX. Ref. José Esteban Uranga y Francisco Íñiguez, Arte medieval navarro