function height_whitespace(nrv) {
	var h1 = document.getElementById("contenu").clientHeight;
	var hauteur_necessaire = (6-nrv)*90 + nrv*170;
	var hauteur_additionnelle = hauteur_necessaire - h1;
	var divHeight = (hauteur_additionnelle + 'px');
	document.getElementById("whitespace").style.height = divHeight;
}