Les amants magnifiques, comedie mêlée de musique, & d'entrées et de ballet