An Early Science Library and the Provision of Textbooks: The Ecole Polytechnique, 1794—1815 · Study