Gabriel Richou — French librarian and historian