function ecrire_cookie(nom, valeur, expires) 
{
  document.cookie=nom+"="+escape(valeur)+
  ((expires==null) ? "" : ("; expires="+expires.toGMTString()));
}