Bibliothèque militaire, regiment d'infanterie (1757)