function cherche()
{
	val = document.getElementById('mots_clefs').value;
	
	if(val != '')
	{
		document.location.href='recherche.php?a='+encodeURIComponent(val);
	}
}