Recherche dichotomique dans une liste triée