La mesure de Mahler (logarithmique) de P, une fonction rationnelle non nulle à n variables, est définie comme la moyenne arithmétique de log |P| restreinte au tore n-dimensionnel standard (T^n = {(x_1, ..., x_n) ∈ (C*)^n: |x_i| = 1, for all 1 ≤ i ≤ n}) ...