Proserpine, tragédie. Remis au théâtre par l'Académie royale de musique, le 31 janvier 1741