# fichier robots.txt, pour eviter le remplissage des logs avec des erreurs dessus