function ajusteHauteurDiv(obj)
{
    //alert("obj.offsetHeight="+obj.offsetHeight);
    var minH = obj.offsetHeight - 21; //les marges = 1 + 20
    var hh = 7;
    while (hh<minH) hh += 12;
    obj.style.height = hh + "px";
    //alert("hh="+hh);
    //alert("obj.offsetHeight="+obj.offsetHeight);
}

function ajusteHauteur()
{
    var list = document.getElementsByTagName("DIV");
    var obj;
    for(i=0; i<list.length; i++)
    {
        obj = list[i];
        if (obj.className == "paveCentre")
        {
            ajusteHauteurDiv(list[i]);
        }
    }
}