Mercier de Saint-Léger et la Bibliothèque du Roi. — Henri Omont