Email Record: Notions de logique formelle /