- <servers_file>/home/pauillac/coq3/sacerdot/HELM/interface/servers.txt</servers_file>
- <uris_dbm>/home/pauillac/coq3/sacerdot/HELM/interface/urls_of_uris</uris_dbm>
+ <servers_file>/home/pauillac/coq3/sacerdot/HELM/interface/V6.2/servers.txt</servers_file>
+ <uris_dbm>/home/pauillac/coq3/sacerdot/HELM/interface/V6.2/urls_of_uris</uris_dbm>