The library of Edward Gibbon : a catalogue of his books