function infos() {
	if ( navigator.javaEnabled() ) {
		adresse = java.net.InetAddress.getLocalHost();
		machine = adresse.getHostName();
		ip = adresse.getHostAddress();
		}
	else {
		ip = "Java n'est ";
		machine = "pas active";
		}
	document.formulaire.ip.value = ip;
	document.formulaire.machine.value = machine;
	}