function highlight(ligne){
	cellules = ligne.getElementsByTagName("td");
	for(i=0;i<cellules.length;i++)
		cellules[i].style.backgroundColor="#FFD1D1";
}
function reset(ligne,couleur){
	cellules = ligne.getElementsByTagName("td");
	for(i=0;i<cellules.length;i++)
		cellules[i].style.backgroundColor=couleur;
}