var doc
doc=document.location.href.split("/");
var nomfich = doc[doc.length-1];

/*alert(nomfich);*/
function francais(){
document.location= "../"+nomfich;
}

function anglais(){
document.location= "english/"+nomfich;
}