The Library of the Late Jean Albert Gondrexon 1906-1985