Module: Recherche binaire d'une fonction monotone