Panurge dans l'Isle des Lanternes, comédie-lyrique en 3 actes