function getXHR()
{
    var xr = null;
	if (window.XMLHttpRequest) // Firefox et autres
		{
			xr = new XMLHttpRequest();
		}
	else if (window.ActiveXObject) // Internet Explorer  
	{
		try
			{
				xr = new ActiveXObject("Msxml2.XMLHTTP" );
			}
		catch (e)
			{
				xr = new ActiveXObject("Microsoft.XMLHTTP" );
			}
	}
	else // XMLHttpRequest non supporté par le navigateur  
	{
		xr = false;
	}
	return xr;
}

function maj_ville()
{

  var xhr=getXHR();
  if (xhr==false)
  {
    alert('Le navigateur ne supporte pas le XMLHttpReqest');
    return;
  }
  // On défini ce qu'on va faire quand on aura la réponse
	xhr.onreadystatechange = function()
		{	
			// On ne fait quelque chose que si on a tout reçu et que le serveur est ok
			if (xhr.readyState == 4 && xhr.status == 200)
			{
				leselect = xhr.responseText;
				// On se sert de innerHTML pour rajouter les options à la liste
				document.getElementById('villes').innerHTML = leselect;
			}
		}
		
	// Ici on va voir comment faire du post
	var ret = xhr.open("POST", "./villes.php", true);
	// ne pas oublier ça pour le post
	xhr.setRequestHeader('Content-Type', 'application/x-www-form-urlencoded');
	// ne pas oublier de poster les arguments
	var ville = document.getElementById('ville').value;
	xhr.send("idville="+ville);
}