Indonesia : Java : music of the theatre = musique du théâtre.