<!-- cache le script aux navigateurs anciens ou non compatibles
/* ------------------------------------------------------------------
** Création EC le 29/09/2000,
** Ce script permet de renvoyer l'utilisateur vers la page principale
** lorsqu'il ouvre une page normalement contenue dans une Frame.
** ------------------------------------------------------------------ */
function f_redirection(as_principale) {
	if ( this.parent.frames.length <= 3 ) {
		// Redirection vers l'URL principale
		// this.document.location = as_principale;
	}
}

/* ---------------------------------------------------
** Création EC le 06/05/2002,
** Ce script permet de renvoyer l'identifiant du menu.
** --------------------------------------------------- */
function f_get_id() {
	var loc=new String(this.document.location);
	var rech=new String('?id=');
        var pos=loc.indexOf(rech)
        if (pos != -1) {
		return id=loc.substr(pos + 4);
	} else {
		return "Erreur";
	}
}

var gs_id=f_get_id();

/* --------------------------------------------------------
** Création EC le 06/05/2002,
** Ce script permet de faire clignoter le menu sélectionné.
** -------------------------------------------------------- */
function f_menu(as_menu) {
	if (as_menu == gs_id) {
		this.document.write('<td bgcolor="#6D7983" background="images/gif/menu_sel.gif" height="18" class="menu" valign="middle">');
	} else {
		this.document.write('<td background="images/gif/menu.gif" height="18" class="menu" valign="middle">');
	}
}
// fin du commentaire -->
