//*******************************************
  //*    fonctions de gestion des cookies
  //*******************************************

  // création d'un cookie
	function setCookie(name, value, expires, path, domain, secure) {
	  var curCookie = name + "=" + escape(value) +
		  ((expires) ? "; expires=" + expires.toGMTString() : "") +
		  ((path) ? "; path=" + path : "") +
		  ((domain) ? "; domain=" + domain : "") +
		  ((secure) ? "; secure" : "");
	
	  document.cookie = curCookie;
	}
	
	// name - nom du cookie
	// * Retour : chaine contenant la valeur du cooky ou null si le cookie n'existe pas
	function getCookie(name) {
	  var dc = document.cookie;
	  var prefix = name + "=";
	  var begin = dc.indexOf("; " + prefix);
	  if (begin == -1) {
		begin = dc.indexOf(prefix);
		if (begin != 0) return null;
	  } else
		begin += 2;
	  var end = document.cookie.indexOf(";", begin);
	  if (end == -1)
		end = dc.length;
	  return unescape(dc.substring(begin + prefix.length, end));
	}
	
	// name - nom du cookie
	// [path] - chemin du cookie (doit être le même que celui qui a servi à créer le cookie)
	// [domain] - domaine du cookie  (doit être le même que celui qui a servi à créer le cookie)
	// * La valeur par défaut de path et domaine est Null
	function deleteCookie(name, path, domain) {
	  if (getCookie(name)) 
	  {
		  document.cookie = name + "=" + 
				((path) ? "; path=" + path : "") +
				((domain) ? "; domain=" + domain : "") +
				"; expires=Thu, 01-Jan-70 00:00:01 GMT";
	  }
	}
	
	// date - une instance d'objet Date
	// * la date réparée (pb de décalage avec certains navigateurs
	function fixDate(date) {
	  var base = new Date(0);
	  var skew = base.getTime();
	  if (skew > 0)
			date.setTime(date.getTime() - skew);
	}