La divergence d'un champ vectoriel