function taille_ecran()
{
	var deja=1;
	if (deja==0)
		this.location.href=concat_requete(this.location.href,
			"hauteur_ecran="+screen.availHeight+"&largeur_ecran="+screen.availWidth);
}

function concat_requete(url,requete)
{
	var index=url.indexOf("?");
	if (index==-1)
		return url+"?"+requete;
	else
		return url+"&"+requete;
}