Alleluia. Gaudete justi in Domino [De martiribus]