Tue Aug 27 10:46:07 2002 (fleury) Type Predef = Tue Aug 27 10:46:07 2002 (fleury) Type Type = String Mon Oct 28 11:51:02 2002 (fleury) Type Predef =