Email Record: Traite de logique general et de logique formelle /