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