Historia compendiada del Reino de Navarra / por José Yanguas y Miranda.