function search_lettre(lettre) {
	document.recherche.lettre.value = lettre; 
	document.recherche.mot.value = "";
	document.recherche.submit();
	return true;
}
function search_mot() {
	document.recherche.lettre.value = ""; 
	document.recherche.submit();
	return true;
}