function changeLangue(langue1, langue2)
{
    //var loc = document.location.href;
    var loc = document.location.pathname;
    if (loc == '/' || loc == '/index.html') {
        document.location = '/index_fr.html';
    } else if (loc == '/index_fr.html') {
        document.location = '/index.html';
    } else {
        document.location = loc.replace(langue1,langue2);
    }
}