/*recup nom du fichier*/
/*ne fonctionne pas avec location*/
debut=document.URL.lastIndexOf("/");
fin=document.URL.length;
nomdufichierhtml=document.URL.substring(debut,fin);
retireslash=nomdufichierhtml.split("/")
sansslash = retireslash[1];
retireapreslepoint=sansslash.split(".");
chainenom=retireapreslepoint[0];
//
/*choix du lien drapeau*/
chainenomminimum=sansslash.substring(3,100);
langue=sansslash.substring(0,2);
//
/*lien du drapeau*/
function liendrapeauen()
{document.location = "en_"+window.chainenomminimum;}

function liendrapeaufr()
{document.location = "fr_"+window.chainenomminimum}