function deconnexion()
{
	window.location.href='pages/deconnexion.php';
}

function deconnexion1()
{
	window.location.href='pages/deconnexion1.php';
}