algorithme_dichotomie