divertissementet , som dansades af cn del af stora operans corps de ballet.