À l'Opéra de Paris, les représentations reprennent après sept semaines de grève