Avec la grève, une saison riche mais amputée à l'Opéra de Paris