In a first time we draw a rough shape of a general formal framework for polynomial approximation theory which encompasses the existing one by allowing the expression of new types of results. We show how this framework incorporates all the existing approximation results and, moreover, how new...