Update coeff_binomiale.ml