Email Record: Methodes et concepts de la logique formelle /