A Dirichlet type problem for nonlinear degenerate elliptic equations arising in time-optimal stochastic control - Bardi, Martino.