Encadrement décimal de π