<!--
function AfficheEmail(user, server, nom)
{
 var txt='<a href="mailto:';
  txt += user;
  txt += '&#64;'; // at
  txt += server;
  txt += '">';
  txt += nom;
  txt += '</a>';
  document.writeln(txt);
}
//-->