Last modification date: on <$HOST> by <$USER>.
Copyright © 1997 - 2004 INRIA, all rights reserved.