var lastsaisie = "";
function ajaxrecherche(text, url)
{
	if ($F(text) != lastsaisie)
	{
		lastsaisie = $F(text);
		if (lastsaisie != "")
		{
			new Ajax.Updater('divsearch', url + '/ajaxrecherche.php', { 
			method: 'get',
			parameters: 'motclef=' + lastsaisie,
			encoding: 'ISO-8859-1',
			onSuccess: function(response)
						{
							if(lastsaisie != "")
								$('divsearch').show();
						},
			
			onFailure: function()
						{
							$('divsearch').hide();
						}
			});
		}
		else
		{
			$('divsearch').innerHTML = "";
			$('divsearch').hide();
		}
		
	}
}
function hiderecherche()
{
	$('divsearch').hide();
}