“…It is then possible to obtain a strict computable bounding on the error . It reads as follows: where Q corr ( p ) is a fully computable correction term. Consequently, a computable bounding on the exact value Q ( u p ) of the quantity of interest can be defined, under the form with …”