Alleluia. Martinus episcopus [Proprium de divo Martino (et Nicolao)]