décomposition, encadrement et fraction entière