Recherche binaireRecherche de frontière dans des données triées à accès aléatoire ou sur des prédicats monotones.