NavName = navigator.appName.substring(0,3);
  NavVersion = navigator.appVersion.substring(0,1);

  if (NavName != "Mic" || NavVersion>=4){
     entree = new Date;
     entree = entree.getTime();
     }

  function TpsChargement()
     {
     if (NavName != "Mic" || NavVersion >= 4){
       fin = new Date;
       fin = fin.getTime();
       secondes = (fin-entree)/1000;
       window.status='Page chargée en ' + secondes + ' seconde(s).';
       }
     }