Proserpine, tragédie en musique ornée d'entrées de ballet, de machines et de changements de théâtre — Philippe Quinault