Résolution approchée d'une équation par dichotomie.