Title: The library of the late Jean Albert Gondrexon