Controlled Markov processes : time discretization