OPERA: It's the "mirthful" opera house that premiered "Carmen", or the French term for the type of opera "Carmen" is