Regularity of the value function and quantitative propagation of chaos for mean field control problems · Study