Retraites : dérogation pour l’Opéra de Paris