a festival of the Roman church, observed on the 6th of December.