opéra tragique Synonym