inria-00075122, version 1 - 24 May 2006