let iMoins1 = function 0 -> 1 | i -> i-1