Voir  [Jan00] par exemple.