Soit   une courbe elliptique C. M., définie sur  . Considérons une famille de formes linéaires sur l'algèbre de Lie de  , à coefficients dans le corps de multiplication complexe de  . Dans ce cadre, nous présentons une mesure d'indépendance linéaire de logarithmes, analogue aux estimations connues actuellement pour les tores (commutatifs) de type  . Ainsi, à l'instar des récentes avancées dans ce domaine (travaux d'Ably, David, Hirata-Kohno), cette mesure est optimale en la hauteur des formes linéaires considérées ( ) et, en outre, elle est plus précise en la hauteur des points de la courbe elliptique ( ) avec la suppression d'un terme en  . Pour citer cet article : M. Ably, É. Gaudron, C. R. Acad. Sci. Paris, Ser. I 337 (2003).

Let   be an elliptic curve with complex multiplication, defined over  . We consider linear forms on   with coefficients in the CM field of  . Within this framework, we present a new measure of linear independence for elliptic logarithms in  . 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 ( ) while providing a better estimate in the height of algebraic points considered ( ), removing a term in  . To cite this article: M. Ably, É. Gaudron, C. R. Acad. Sci. Paris, Ser. I 337 (2003).