Edmond BOYER CRIN-CNRS / INRIA Lorraine Campus scientifique, BP 239 54506 Vandoeuvre les Nancy Cedex, France e-mail: boyere@loria.fr