function encode_mail(mail, texte) {
	var temp = "<a href=\"mailto:";
	mail = mail.toLowerCase();
	var a = "a".charCodeAt(0);
	for (var i=0; i < mail.length; i++) {
		if (mail.charCodeAt(i) < a | mail.charCodeAt(i) > a + 26)
			temp += mail.charAt(i)
		else
			temp += String.fromCharCode(a + (mail.charCodeAt(i) - a + 13) % 26);
	}
	temp += "\">" + texte + "</" + "a>";
	return temp;
}
