<!--
var prefix = "guy.reichardt";
var domain = "orange.fr";
document.write('<a href=\"mailto:' + prefix + '@' + domain + '\">');
document.write(prefix + '@' + domain + '</a>');
//-->


