opéra national Synonym