inria-00076206, version 1 - 24 May 2006