It's the "mirthful" opera house that premiered "Carmen", or the French term for the type of opera "Carmen" is
.... (She was replaced in the Metropolitan Opera by Carmen de... [DOC] [TLE] Full text of "THE COLUMBIA BOOK OF MUSICAL MASTERWORKS" [PAR] Bellini, Vincenzo Norma, 69-70 Bizet, Georges Carmen.