“…In the next two propositions, borrowed essentially from [36], we show that, for convex functions U : R k → R, the growth at infinity of ∇U is always balanced by the factor e −U ; this leads to uniform bounds and tightness estimates for the measures |∇U |e −U L k , under uniform lower bounds on U . Proposition A.2 Let U : R k → R ∪ {+∞} be convex and lower semicontinuous, with U (x) → +∞ as x → +∞, {U < +∞} having a nonempty interior, and set γ = exp(−U )L k .…”