We give a proof of perturbative renormalizability of SU(2) Yang–Mills theory in four-dimensional Euclidean space. The main motivation is to present a proof which does not make appear mathematically undefined objects (as for example dimensionally regularized generating functionals). A large part of the proof is dedicated to bounds on massless correlation functions and to the restoration of the Slavnov-Taylor identities.