function tailleFonte(id, taille) { 
        document.getElementById(id).style.fontSize = taille; 
    } 
	
function changeAction(id,target){
	var box = document.getElementById(id);
	if(box.checked){
		document.declaration.action='index.php?id='+target;
	}
}