Gabriel Henriot — French librarian (1880-1965)