function jumpTo(url) {
	document.location = url;
}

function recherche(mots) {
	document.location = '/recherche/'+mots.replace(/ /, '+');
	return false;
}