Opéra de Paris : avec la grève, une saison 2020-2021 riche mais amputée