“…On doit calculer À(^u). Comme ^ est continue sur W (E, [i), on a une majoration de la forme (E,\ji) est représentable par une « distribution d'énergie finie » ayant elle aussi un quasi-support, cela résulte du caractère local (proposition 29c) et de [FLP1], [FLP2], [FLP3]. Ce genre de propriétés est bien connu en théorie du potentiel (espaces de Dirichlet réguliers).…”