function charge_texte(url)
{
 var div_main = document.getElementById('main') ;
 var div_texte = document.getElementById('texte') ;
 var requete = new XMLHttpRequest() ;
 requete.onreadystatechange = function()
 {
  if (requete.readyState == 4)
  {
   var nv_div_texte = requete.responseXML.getElementById('texte') ;
   div_main.replaceChild(nv_div_texte, div_texte) ;
  }
 } ;
 requete.open("GET", url, true) ;
 requete.send(null) ;
 return(false) ;
} ;