Je ne comprends pas comment traduire cet exercice à laide de caml light...pouvez vous maider a "éclairer ma lanterne" svp??
merci davance

Ecrire une fonction:
dichtomie : (float->float)->float*float->float->float

telle que

dichtomie f (borne_inf, borne_sup) precision retourne la valeur approchée a dun reel r de lintervalle (borne_inf,borne_sup) tq f(r)=0 à la precision, c-a-d que la distance entre a et r ne doit pas depasser cette précision. On supposera que la fonction f est usuelle.
On rappelle que l'existence d'un tel r nest gearantie que si la fonction change de signe pr son eval aux bornes de l'intervalle. r est au moins dans un des demi intervalles dt une borne est le milieu et que le changement de signe se réalise à coup pour un des deux.