Approximation diophantienne sur les courbes elliptiques à multiplication complexe

Let $\text{E}$ be an elliptic curve with complex multiplication, defined over $\text{Q}$. We consider linear forms on $\text{Lie}\text{(}\text{E}{}^{\mathrm{n}}\text{)}$ with coefficients in the CM field of $\text{E}$. Within this framework, we present a new measure of linear independence for elliptic logarithms in (logb)(loga)ⁿ. Like recent advances in this domain (works by Ably, David, Hirata-Kohno), our result is best possible in terms of the height of the linear forms (logb) while providing a better estimate in the height of algebraic points considered (loga), removing a term in logloga. To cite this article: M. Ably, É. Gaudron, C. R. Acad. Sci. Paris, Ser. I 337 (2003).