Actuación del Coro del IES Puerto del Rosario y el Cuarteto Nóctula en el Encuentro Insular de Villancicos de Antigua