Cette thèse étudie l'existence de points de torsion pour les modules de Drinfeld de rang 2 sur des extensions finies de F_q(T), pour q puissance d'un nombre premier. Notre approche suit celle de Mazur et Merel pour la torsion des courbes elliptiques sur les corps de nombres : nous introduisons un quotient de la jacobienne d'une courbe modulaire de Drinfeld, défini à l'aide d'un symbole modulaire de Teitelbaum particulier, et étudions ses propriétés. Sous une hypothèse de dualité entre algèbre de Hecke et formes modulaires pour F_q[T], ainsi qu'une hypothèse technique mineure, on montre le résultat suivant : s'il existe un module de Drinfeld de rang 2 sur une extension de degré au plus q de F_q(T), muni d'un point de torsion d'ordre un idéal premier n de F_q[T], alors le degré de n est au plus max(q,4). Nous utilisons pour cela une description de l'action de l'algèbre de Hecke sur les symboles modulaires de Teitelbaum et sur les formes modulaires pour F_q[T]. Lorsque le degré de n est petit, on obtient des résultats non conditionnels : il n'existe aucun module de Drinfeld de rang 2 sur une extension de degré au plus 2 (resp. au plus 3) de F_q(T) possédant un point de torsion d'ordre un idéal premier de degré 3 (resp. de degré 4 si q est au moins 7). Cela confirme partiellement une conjecture de Poonen et Schweizer de borne uniforme sur la torsion des modules de Drinfeld.

Nous étudions ici le groupe libre engendré par les classes d'isomorphisme de courbes elliptiques supersingulières en caractéristique $p$ appelé module supersingulier. Nous le comparons à d'autres modules de Hecke : l'homologie de la courbe modulaire $X_0(p)$ et l'ensemble des formes modulaires de poids $2$ et de niveau $p$. Nous donnons des interprétations et des applications des formules de Gross et Gross-Kudla concernant les fonctions L de formes modulaires. Les liens entre le module supersingulier et la géométrie de $X_0(p)$ nous permettent d'appliquer ces résultats à l'étude des points rationnels de certaines courbes modulaires. Reprenant une méthode de Momose et Parent, nous déterminons notamment un ensemble infini de nombres premiers $p$ pour lesquels le quotient de $X_0(p^r)$ ($r\geq 2$) par l'opérateur d'Atkin-Lehner n'a pour points rationnels que les pointes et les points CM.