Proserpine, tragédie en musique ornée d'entrées de ballet, de machines et de changements de théâtre, représentée devant S. M., à Saint-Germain en Laye, le [3e] de février 1680. [Paroles de Quinault, musique de Lulli.] — Philippe Quinault