Email Record: Recherches de logique formelle :