Comment construire un intervalle de confiance de la moyenne d'une loi normale d'écart-type connu ?

En utilisant que $\overline{X}_n \sim \mathcal{N}(m, \sigma^2/n)$ et les quantiles $u_{1-\alpha/2}$

IC exact de la moyenne d'une loi normale à écart-type $\sigma$ connu, via standardisation gaussienne.

En appliquant Bienaymé-Tchebychev comme borne plus grossière indépendante de la normalité

IC non asymptotique de la moyenne à écart-type connu via Bienaymé-Tchebychev, sans exiger la normalité.