villancico

noun (plural villancicos /-əʊz/)

• a form of Spanish and Portuguese song with short stanzas and a refrain, originally a folk song, later used in sacred music, and now especially as a Christmas carol.