var taille=11;

function diminue(z){
	var elem = document.getElementById(z);
	if(taille>11 && elem){
		taille=taille-1;
		pixel=taille+"px";
		elem.style.fontSize = pixel;
	}
}

function augmente(z){
	var elem = document.getElementById(z);
	if(taille<16 && elem){
		taille++;
		pixel=taille+"px";
		elem.style.fontSize = pixel;
	}
}