<!-- Fonction pour redirection de pages //-->


function jumppage(url)

{

location.href = url;

}


<!-- Fonction Timer pour la redirection de pages //-->


function jumppage_time(url) 

{

	urldir = url;

	setTimeout("jumppage(urldir)",1500);

}

<!-- Script nécessaire pour l'ouverture d'un popup // -->

function Pop(page,nom,option) 
{
	window.open(page,nom,option);
}