Su cuarto libro narra el descubrimiento de la tumba por Carlomagno.