désolé pour le bruit: j'ai posté par inadvertance sur la liste via gmane au lieu d'envoyer à un copain par e-mail