Element.addMethods({
    //getStylePropertyValue    extrait la valeur numérique d'une propriété css sans la chaine 'px' à la fin
    getStylePropertyValue: function(element, property)
    {
        element = $(element);
        var index = element.getStyle(property).lastIndexOf('px');
        return (index == -1) ? 0 : element.getStyle(property).substring(0, index);
    },

  //fixe la hauteur d'un élément
  setHeight: function(element, finalHeight)
  {
    element = $(element);
    element.style.height = (finalHeight - element.getStylePropertyValue('padding-bottom') - element.getStylePropertyValue('padding-top') - element.getStylePropertyValue('border-bottom-width') - element.getStylePropertyValue('border-top-width')) + 'px';
    return element;
  }

});