Mon Sep 22 19:35:24 2003 (fleury) Type Predef = Wed Oct 29 16:56:49 2003 (fleury) Type Predef =