        <!-- 
        <!-- nom: nom du cookie
        <!-- valeur: valeur que l'on veu conserver dans le cookie
        <!-- expires: date d'ewxpiration en GMT, souvent omis
        <!-- 
        function ecrire_cookie(nom, valeur, expires) {
            document.cookie=nom+"="+escape(valeur)+
             ((expires==null) ? "" : ("; expires="+expires.toGMTString()));
            return
        }
        <!-- 
        function arguments_cookie(offset){
            var endstr=document.cookie.indexOf (";", offset);
            if (endstr==-1) endstr=document.cookie.length;
            return unescape(document.cookie.substring(offset, endstr)); 
        }
        <!-- 
        function lire_cookie(nom) {
            var arg=nom+"=";
            var alen=arg.length;
            var clen=document.cookie.length;
            var i=0;
            while (i<clen){
            var j=i+alen;
            if (document.cookie.substring(i, j)==arg)
            return arguments_cookie(j);
            i=document.cookie.indexOf(" ",i)+1;
            if (i==0) break;
            }
            var vide = 'aucune'
            return vide; 
        }
        <!-- Fin partie cookie