function scroll(n) {
	var blanc=" ";
	var texte = "Site en construction, ouverture officielle le 1er décembre 2008";
	// var texte;
	var scrolling_text = blanc + texte;
	scrolling_text = scrolling_text.substring(n,scrolling_text.length);
	document.defilant.scroll_text.value = scrolling_text;
	if(scrolling_text.length > 0) n ++;
	else n = 0;
	s = n;
	n = setTimeout("scroll(s)", 100);
}