Email Record: Fondements des mathematiques :