inria-00073996, version 1 - 24 May 2006