function makeTextChange( text ){	
	if (text != ""){
		while (text != text.replace ("à", "à")) { text = text.replace("à", "à");	}
		while (text != text.replace ("â", "â")) { text = text.replace("â", "â");	}		
		while (text != text.replace ("é", "é")) { text = text.replace("é", "é"); }
		while (text != text.replace ("è", "è")) { text = text.replace("è", "è");	}
		while (text != text.replace ("ê", "ê")) { text = text.replace("ê", "ê");	}		
		while (text != text.replace ("î", "î")) { text = text.replace("î", "î");	}
		while (text != text.replace ("ï", "ï")) { text = text.replace("ï", "ï");	}		
		while (text != text.replace ("ô", "ô")) { text = text.replace("ô", "ô");	}		
		while (text != text.replace ("ù", "ù")) { text = text.replace("ù", "ù");	}
		while (text != text.replace ("û", "û")) { text = text.replace("û", "û");	}		
		while (text != text.replace ("ç", "ç")) { text = text.replace("ç", "ç");	}
	 }
	 return text
	}

function changeSearchText() {
	document.recherche.searchstring.value = makeTextChange(document.recherche.searchstring2.value);
}