inria-00075987, version 1 - 24 May 2006