/*-----------------------------------------------*/
 /*               TEMPS DE CHARGEMENT             */
/*-----------------------------------------------*/
// cette fonction (issue de allhtml.com, enfin, j'crois), sert à donner le temps
// d'affichage d'une page.
  NavName = navigator.appName.substring(0,3);
  NavVersion = navigator.appVersion.substring(0,1);
  if (NavName != "Mic" || NavVersion>=4)
  {
    debut = new Date;
    debut = debut.getTime();
  }

  function tempschargement()
  {
    if (NavName != "Mic" || NavVersion>=4)
    {
      fin = new Date;
      fin = fin.getTime();
      secondes = (fin-debut)/1000;
      if (secondes>1)
        window.status='Page chargée en ' + secondes + ' secondes.';
      else
        window.status='Page chargée en ' + secondes + ' seconde.';
    }
  }
  
  function showhide(id_element)
  {
    if (document.getElementById(id_element))
    {
      if (!document.getElementById(id_element).style.display)
        document.getElementById(id_element).style.display='none';
      else
        document.getElementById(id_element).style.display='';
    }
  }