Centre national de la recherche scientifique (France). Centre de documentation scientifique et technique