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