User-agent: inria.fr
Disallow:

User-agent: ftp-rocq.inria.fr
Disallow:

User-agent: htdig
Disallow:

User-agent:*
Disallow: /miriad
Disallow: /intranet
Disallow: /cgi-bin
Disallow: /maple
Disallow: ~rebai/Ahmed.Rebai
#Disallow: /ssi/