( Melanges tires dune grande Bibliotheque .)