pour les statistiques : essayer de mieux discriminer entre des navigateurs differents sur un meme IP & essayer d'eviter de comptabiliser les bots (par useragent + reperage des fichiers backend)  (discussion generale sur spip-dev, patchs de Nicolas et Antoine)