function calculateHeight() {
  var hauteur = document.getElementById('right').offsetHeight;
  var hauteurLeftUp = document.getElementById('leftUp').offsetHeight;
  if (document.getElementById('left').offsetHeight < hauteur - hauteurLeftUp) {
    document.getElementById('left').style.height = hauteur - hauteurLeftUp;
  }
}

function redirect(url) {
  window.location = url;
}

// Util method to redirect to an url
function redirectWithAnchorReserver(url) {
  window.location = url + "#reserver"; ;
}

function redirectFilter(theSelect) {
  var url = eval("urlFilter_" + theSelect.value);
  redirect(url);
}