Voir par exemple [BV01].