// JavaScript Document
function ajax(fichier)
{
    var xhr=null;
    
    if (window.XMLHttpRequest) { 
        xhr = new XMLHttpRequest();
    }
    else if (window.ActiveXObject) 
    {
        xhr = new ActiveXObject("Microsoft.XMLHTTP");
    }
    //on appelle le fichier reponse.txt
    xhr.open("GET", fichier, false);
    xhr.send(null);
  
  document.getElementById('corps').innerHTML = xhr.responseText ;
//    alert(xhr.responseText);*
}