Répétitions, à l'Opéra de Paris