Un villancico dedicado a San Pedro, compuesto por Tomás de Torrejón y Velasco a principios del siglo XVIII: