Le Roi Séjong et la préservation de la musique chinoise de cérémonie — Robert C. Provine