France. Délégation générale à la recherche scientifique et technique. Comité d'étude Documentation.