//fonction communes dans les javascript

function strip_all_nondigit(toStrip) {
  var tempstr = "";
  var indx = 0;
  var safe = 0;
  
  while( isNaN(Number(toStrip)) && safe++ < 16 ) {
    var re = new RegExp("[\x00-\x2B]+");  // null -> "+"
    toStrip = toStrip.replace(re, "")
    delete re;
    
    re = new RegExp("[\x2C]+");           // ","
    toStrip = toStrip.replace(re, ".");   // Remplacer les "," par des "."
    delete re;
    
    re = new RegExp("[\x2F]+");           // "/"
    toStrip = toStrip.replace(re, "");
    delete re;
    
    re = new RegExp("[\x3A-\xFF]+");      // ":" -> "¦"
    toStrip = toStrip.replace(re, "");
    delete re;
    
    re = new RegExp("^[\x2D]+");          // "-", en début de chaîne
    tempstr = tempstr.replace(re, "-");   // S'assurer qu'il n'y a qu'un seul "-" au début de la chaîne
    delete re;
    indx = toStrip.indexOf("-",1);        // Trouver un 2eme "-"
    if( indx > -1 ) {                     // Si trouvé
      tempstr = toStrip.slice(indx);      // Copie la chaîne à partir du 2eme caractère
      toStrip = toStrip.slice(0,indx);    // Retirer la fin de la chaine
      re = new RegExp("[\x2D]+");         // "-", dans la chaîne
      tempstr = tempstr.replace(re, "");
      delete re;
      toStrip = toStrip.concat(tempstr);  // Replacer la fin de la chaîne, corrigée
    }
    
    indx = toStrip.indexOf(".",0);        // ".", 1er de la chaîne
    if( toStrip.lastIndexOf(".") > indx ) {
      tempstr = toStrip.slice(indx+1);    // Copier la fin de la chaîne
      toStrip = toStrip.slice(0,indx+1);  // Retirer la fin de la chaine
      re = new RegExp("[\x2E]+");         // ".", les autres
      tempstr = tempstr.replace(re, "");
      delete re;
      toStrip = toStrip.concat(tempstr);  // Replacer la fin de la chaîne, corrigée
    }
  }

  return toStrip;
}