truefalse intermediaire

É 9.2 — Dans la recherche par dichotomie, l'invariant de boucle garantit que l'intervalle [j, k] contient potentiellement la cible.