// ajoute une cle unique a la fin de l'url
function add_key_to(url) {
	var d = new Date();
	var new_url = url;
	var idx_key = new_url.indexOf("key=",0);
	if(idx_key>0)
		new_url	= new_url.substring(0, idx_key-1);
	if(new_url.indexOf("?",0)<0)
		new_url = new_url+"?key="+d.getTime();
	else
		new_url = new_url+"&key="+d.getTime();
	return new_url;
}

// ajoute une cle unique a la fin de l'url du lien
function add_key(elt) {
	elt.href=add_key_to(elt.href);
}