It's the "mirthful" opera house that premiered "Carmen", or the French term for the type of opera "Carmen" is
The nearby Howard Gilman Opera House (30 Lafayette Avenue) offers Shen Wei 
... that could commemorates its new home at St. Mark's Church with a premiere 
by... [DOC] [TLE] Picturehouses - Cinema listings for Exeter Picturehouse [PAR] MET Opera: L'Amour de Loin (2016) [12A].