L’Opéra national de Paris met en vente une imposante collection de costumes