Wed Jun 19 12:06:08 2002 (fleury) Type Predef = Fri Aug 09 18:35:21 2002 (saffray) Type Predef =