divergence inférieure