Proserpine, tragédie en musique... remise au théâtre par l'Académie royale de musique le [ ] juillet 1699. [Paroles de Quinault, musique de Lulli.] — Philippe Quinault