function valide_connexion()
// utilisé dans index.php
{
var message="";
if (document.connexion.login.value=="")
	{message+='Le login est vide !!!\n';}
if (document.connexion.mdp.value=="")
	{message+='Le mot de passe est vide !!!';}
if (message!="")
	{alert(message);
	return false;}
return true;
}