Après les danseurs, les salariés de l'Opéra de Paris en grève contre le sous-effectif