var pos;
var inispeed = 2;
var speed = inispeed;
var pos_initial;

function startAnim() {
	var e = document.getElementById('defil');
	pos_initial = e.clientWidth + 2;
	pos = pos_initial;
	setInterval('anim()', 50);
}
function anim() {
	var e = document.getElementById('texte');
	e.style.visibility = 'visible';
	e.style.left = Math.floor(pos) + 'px';
	pos = pos - speed;
	if (pos <-e.clientWidth) pos = pos_initial;
}
window.onload = function() {
	var e = document.getElementById('defil');
	e.onmouseover = function() { speed = 0; };
	e.onmouseout = function() { speed = inispeed; };
	startAnim()
};