(:source
  :version 3
  :ip-address "134.157.13.100"
  :ip-name "frmap711.mathp7.jussieu.fr"
  :tcp-port 210
  :database-name "/usr/home/users/arabia/wais-sources/bib-Paris7.URA-748"
  :cost 0.00 
  :cost-unit :free 
  :maintainer "arabia@frmap711.mathp7.jussieu.fr"
  :description "Server created with WAIS release 8 b5 on May 21 10:56:00 1993 by arabia@frmap711.mathp7.jussieu.fr
   The files of type ura748 used in the index were:
      /usr/home/users/arabia/wais-sources/bibliotheque-ura748x

     --------BIBLIOTHEQUE DE L'EQUIPE DE THEORIE DES GROUPES-------------
     --------                    URA-748                    -------------
     --------              UNIVERSITE DE PARIS 7            -------------

   L'utilisation de cette bibliotheque est reservee aux membres de l'ura748,
   ainsi qu'a leurs invites et etudiants.

   Nombre d'ouvrages concernes : 1331 (au 28 mai 1993)."
  )
