Au secoure récursivité fouille dichotomique

Bonjour,
Je dois créer pour mon cour de math discrète un algorithme récursif de fouille dichotomique(binaire) avec maple 13 j'ai deja 2 tests d'algorithmes mais ils ne fonctionnent pas :

1:

FouilleDicho:= proc (x::integer,i::integer,L)
local m:
local n:
local emplacement:
n := nops (L):
m := (L[1]+L[n])/2:
if x = L[m]
then
emplacement := m
else
if (x < L[m] and i < m)
then
FouilleDicho(x, i+1, L)
else
emplacement := 0
end if:
end if:
end proc:

2:

FouilleDicho2:=proc(L, x::integer, i::integer)
local m:
local n:
local emplacement:
n := nops(L):
m := (L[1]+L[n])/2:
if x=L[i]
then
emplacement := i
else
if x < L[m]
then
FouilleDicho2(L,x,m-1)
else
if x > L[m]
then
FouilleDicho2(L,x,m+1)
end if:
end if:
end if:
end proc:

si vous pouviez soit m'aider avec mes 2 codes existants où me proposer un autre algorithme récursif svp

merci d'avance