The history of military libraries in the context of the development of library affairs of Russia (1802–1917)