function effectue_operation(operation) {
	document.body.style.cursor = 'wait';
	document.recherche.operation.value = operation;
	document.recherche.submit();
}