Email Record: Logique inductive et probabilite.