Opéra de Paris : reprise des représentations après une grève historique