The library of David Jones, (1895-1974) : a catalogue /