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