// JavaScript Document

function Test_mail() { if(document.lettreinfo.mail.value=="") {
      alert("The field is empty !");
      return false;
   } else {
        var pattern=/^.+\@.+\..+$/ig;
        if (pattern.test(document.lettreinfo.mail.value)) {
            return true;
        } else {
            alert ("The email adress is wrong !");
            return false;
        }
      }
}