let
rec
dE e i j =
if
(i,j) -/-> echiquier
then
e
else
dE ((i,j) +$ e) (i+1) (j)