// JavaScript Document
function langue()
{
var textee = document.location
var resultat = location.href.substring(30, location.href.length);
var lien = '/engl/'+resultat
document.location.href=lien
}