Thu Mar 17 14:47:02 2005 (fleury) Type Predef = Thu Mar 17 14:48:16 2005 (fleury) Type Predef = Thu Mar 17 14:48:21 2005 (fleury) Type Predef =