catalogue vente (avec prix) bibliotheque antoine girard paris 14 15 mars 1962