Proserpine, Trag?die En Musique Orn?e d'Entr?es de Ballet, de Machines