function freezeColWidth(tab){
// fixe/bloc la taille des colonnes du tableau à sa taille originale
// (évite les grandes variations de largeur si on trifouille dans le
// contenu du table)
// Rq : fonctionne pas vraiment si tableau plus grd que l'écran...
var ths=tab.getElementsByTagName("tr")[0].getElementsByTagName("th");
for(var i=ths.length-1; i>=0; --i) {
ths[i].style.width=ths[i].offsetWidth+"px";
}
}