Thu Feb 03 15:41:03 2005 (guignot) Type Predef = Thu Feb 03 15:56:22 2005 (guignot) Type Predef =