"; echo "$msg[z3950_autre_rech] "; die(); } if ($clause=="") { for ($i=0; $i