Formes linéaires de logarithmes de points algébriques sur une courbe elliptique de type
Nous obtenons une minoration d’une forme linéaire de logarithmes elliptiques de points algébriques d’une courbe elliptique à multiplication complexe définie sur . Cette minoration est optimale (à constante près) en la hauteur de la forme linéaire considérée.