function reservation(url)
{
	this.location.href="../../html/fr/reservation_1.php"
}

function portail_fr()
{
	this.location.href="../../html/fr/portail.htm"
}