Question du test Algorithmie - Les bases

Nous disposons d’un tableau et on cherche à savoir si la valeur 42 s’y trouve. Pour cela, on a le code suivant :

        fonction rechercherNum(tableau, 42, début, fin) {
        Si début>fin 
            alors afficher erreur;
        Sinon 
            milieu = (début+fin)/2;
        Si tableau[milieu] = 42; 
                afficher “on a trouvé 42”;
        Si tableau[milieu]>42 
            alors faire rechercherNum(tableau,42,début, milieu-1);
        Sinon faire rechercherNum(tableau,42, milieu+1, fin);
}

Que doit-on vérifier pour que cette recherche binaire fonctionne ?