function clignoter()
{
 var delai1=500;
 var delai2=200;
 var texte="@";
 var bouton=document.catcher.mail;
 if(bouton.value!='')
 {
  if(bouton.value==' ')
  {
   bouton.value=texte;
   delai=delai1;
  }
  else
  {
   bouton.value=' ';
   delai=delai2;
  }
  setTimeout('clignoter()', delai);
 }
 else
 {
  return false;
 }
}