Bibliothèque de l'école militaire