Approximation and optimality necessary conditions in relaxed stochastic control problems · Study