+ // le motif à chercher\r
+ var motif = document.getElementById("recherche").value\r
+ if (f == null && motif == motifDerniereRecherche) return;\r
+ \r
+ // empèche de faire deux recherches successive en moins de 800ms\r
+ var now = new Date();\r
+ if (now.getTime() < derniereRecherche.getTime() + 800)\r
+ {\r
+ // si une recherche à était demandé mais n'a pu aboutir alors on la refait dans certain temps\r
+ setTimeout("doRecherche()", 810 - (now.getTime() - derniereRecherche.getTime()));\r
+ return;\r
+ }\r
+ motifDerniereRecherche = motif;\r
+ derniereRecherche = now;\r
+ \r
+ //dump ("recherche : " + motif + "\r\n");\r
+ //debut = new Date().getTime()\r
+\r