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


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

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