var marquee_texte = 949;

function marqueetexte () {
	marquee_texte = marquee_texte - 2;
	document.getElementById('marquee_texte').style.left = marquee_texte+'px';
	if (marquee_texte < marquee_largeur) {
		marquee_texte = 949;
	}
	setTimeout('marqueetexte()', 30);
}