ocaml rules print_inc_or_decr et print_block_const done