Léopold Pannier — French librarian and historian