function texteDefile() {
	if (!defile) defile = document.getElementById('defile');
	if (defile) {
		if(pscrnt < ( - defile.offsetHeight) ){
			pscrnt = psinit;
		} else {
			pscrnt+= -1; // pixel par deplacement
		}
		defile.style.top = pscrnt+"px";
	}
}
function lancerFlash(){
	interval = setInterval("texteDefile()",60); // delai de deplacement
}