In this paper, we tackle the resolution of chance-constrained problems reformulated via sample average approximation. The resulting data-driven deterministic reformulation takes the form of a large-scale mixed-integer program (MIP) cursed with Big-Ms. We introduce an exact resolution method for the MIP that combines the addition of a set of valid inequalities to tighten the linear relaxation bound with coefficient strengthening and constraint screening algorithms to improve its Big-Ms and considerably reduce its size. The proposed valid inequalities are based on the notion of k-envelopes and can be computed off-line using polynomial-time algorithms and added to the MIP program all at once. Furthermore, they are equally useful to boost the strengthening of the Big-Ms and the screening rate of superfluous constraints. We apply our procedures to a probabilistically constrained version of the DC optimal power flow problem with uncertain demand. The chance constraint requires that the probability of violating any of the power system’s constraints be lower than some positive threshold. In a series of numerical experiments that involve five power systems of different size, we show the efficiency of the proposed methodology and compare it with some of the best performing convex inner approximations currently available in the literature.