function mailRequest()
{
	if (document.getElementById("mail").value!='')
	{
	var xhr = getXMLHttpRequest();
	var mail= document.getElementById("mail").value;
		xhr.open("GET","aMail.php?mail="+mail+"&loc="+window.location,true);
		xhr.send(null);

	document.getElementById("mail").value="Mail envoyé";
	}
	else
		alert("Veuillez saisir une adresse mail...");
}