// ===================================================================== Fonction

// renouvellement des images dans la page web
// ===============================================
function animation()  {
	suffixe = new Date() ; suffixe = "?" + suffixe.getTime();
	document.images.tv1.src = adresse + String(numero) + ".jpg" + suffixe ;
	numero = (numero+1) % 10 ;	
	setTimeout("animation()", (frequence*1000));
}
function animation2()  {
	suffixe = new Date() ; suffixe = "?" + suffixe.getTime();
	document.images.tv1.src = adresse + String(numero) + ".jpg" + suffixe ;
	numero = (numero+1) % 10 + 1 ;	
	setTimeout("animation2()", (frequence*1000));
}
function animation3()  {
	suffixe = new Date() ; suffixe = "?" + suffixe.getTime();
	document.images.tv1.src = adresse + "0.jpg" + suffixe ;
	setTimeout("animation3()", (frequence*1000));
}// =====================================================================