/*** pour explorer qui ne gere pas le min-height **/
function resize(id, taille)
{
if (document.getElementById(id).offsetHeight < taille )   document.getElementById(id).style.height = taille+'px';
}