//augmente et diminue les textes
default_size = 14;
function incFont(classe){
	default_size++;
	cibles = document.getElementById(classe);
	cibles.style.fontSize = default_size + "px";

	return false;
}
function decFont(classe){
	default_size--;
	cibles = document.getElementById(classe);
	cibles.style.fontSize = default_size + "px";

	return false;
}

function retour_accueil(){
	document.location.href="?page=index&lang=en"
}