met med 7,000 och Opéra Comique har haft lika mycket.