function setDiv() {
	  var t = document.getElementById('texte');
	  var th = t.offsetHeight; 
	  var s = document.getElementById('side'); 
	  var sh = s.offsetHeight; 
	  if(th > sh)
		s.style.height = th + 'px';
}