théorème d'encadrement