if(document.getElementById && document.getElementById('searchtext')){
	var searchtext_defaultvalue = 'Votre recherche';
	document.getElementById('searchtext').value = searchtext_defaultvalue;
	document.getElementById('searchtext').onfocus =
		function(){ if(this.value == searchtext_defaultvalue) this.value = ''; };
	document.getElementById('searchtext').onblur =
		function(){ if(this.value.match(/^ *$/)) this.value = searchtext_defaultvalue; };
} // end if getElementById