<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffcc" text="#000000">
Sur les conseils de Pierre (Pinaraf), merci de m'inscrire à votre
mailing-list<br>
<br>
cdlt<br>
Pascal Havet<br>
</body>
</html>