function modifyFont(increase){
 var nouvelleTaille = parseFloat($('html').css('font-size')) + increase;
 setFont(nouvelleTaille);
}

function setFont(size){
 $('html').animate({fontSize:size},300);
}

