Le Roi des Juifs (The King of the Jews) Op. 95, incidental music