opéra bastille is the premiere production of what opera?
(AND opera.opera (JOIN opera.opera.premiere_production m.02g3s0))