+
+ // les arguments de origin qui ne sont pas dans href doivent etre explicitement fournis vides dans url
+ if (origin){
+ var p=origin.indexOf('?');
+ if (p!==-1){
+ // recuperer la base
+ var args = origin.substring(p+1).split('&');
+ var val;
+ var arg;
+ for(var n=0;n<args.length;n++){
+ arg = args[n].split('=');
+ arg = arg[0];
+ p = arg.indexOf('[');
+ if (p!==-1)
+ arg = arg.substring(0,p);
+ val = parametre_url(href,arg);
+ if (typeof val=="undefined")
+ url[0] = url[0] + '&' + arg + '=';
+ }
+ }
+ }
+