// JavaScript Document

function resizeColonneRight () {
  gauche = document.getElementById("col_ga");
  droite = document.getElementById("col_dr");
  if(gauche.offsetHeight > droite.offsetHeight){
    droite.style.height = gauche.offsetHeight+"px";
  }
}