De trop : from the comedy-opera The firefly