Mazarin blott 7 , 000 , Arsenalbibliotheket 10 , 000,