Mabillon et la Bibliothèque du Roi à la fin du XVIIe siècle — Henri Omont