La traducción es del Himno de Prudencio a Los Mártires de Zaragoza.