Cette thèse s'intéresse à la recherche de points rationnels sur les courbes elliptiques. Darmon et Logan ont proposé une construction conjecturale de points rationnels sur des courbes elliptiques modulaires définies sur un corps de nombres totalement réel. Cette construction va au delà de la construction classique des points de Heegner. C'est sur la généralisation de ces travaux que porte cette thèse. Après un premier chapitre de rappels concernant essentiellement les variétés de Shimura, on construit, dans le chapitre deux une forme différentielle dont l'ensemble des périodes est, sous une conjecture due à Yoshida, un réseau. On y définit aussi un ensemble de cycles dont la classe d'homologie est de torsion. A l'aide de ces données, on énonce au chapitre suivant une conjecture généralisant celle de Darmon et Logan. On s'interesse aussi aux propriétés de ces nouveaux points, principalement en lien avec les théorèmes "classiques" de Gross-Zagier et Gross-Kohnen-Zagier. Le chapitre 4 tente de rendre holomorphes les opérations du chapitre 2, et le chapitre 5 de les rendre plus explicites. Cette thèse comporte une annexe concernant les vérifications informatiques de la conjecture de Darmon.

Des formules en termes élémentaires de la Théorie des Nombres pour les nombres de classes de conjugaison de sous-groupes finis dans le groupe de norme 1 des ordres maximaux d'algèbres de quaternions sont établies.

Ce mémoire porte sur l'étude des antiautomorphismes d'algèbres et en particulier sur les antiautomorphismes linéaires d'algèbres centrales simples (sur un corps commutatif). Si l'algèbre est une algèbre de matrices, alors un tel antiautomorphisme est l'adjonction pour une forme bilinéaire. Ainsi la classification des antiautomorphismes linéaires (resp. de type II) à isomorphisme près est une généralisation de celle des formes bilinéaires (resp. sesquilinéaires) à similitude près. Dans la première partie, on définit la notion d'asymétrie d'une forme sesquilinéaire, et on étudie les éléments d'une algèbre d'endomorphismes qui sont une asymétrie. La notion de produit de formes sesquilinéaires conduit à une théorie de Morita pour les algèbres à antiautomorphismes, qui permet de généraliser la notion de somme orthogonale connue pour les involutions d'algèbres centrales simples aux algèbres à antiautomorphisme Morita équivalentes avec asymétrie. Dans la deuxième partie, après avoir rappelé comment l'asymétrie permet d'obtenir une classification des formes bilinéaires, on généralise au cas non déployé linéaire la notion d'asymétrie et on explique comment on peut espérer obtenir de bons résultats en étudiant l'involution induite sur le centralisateur de l'asymétrie et la pseudo-involution linéaire associée à cette asymètrie. L'étude du principe de Hasse pour les similitudes de formes bilinéaires conduit natu- rellement au calcul de certains groupes de Tate-Schafarevich de tores algébriques de type normique. Ceci permet, dans une troisième partie, de donner des contre-exemples à ce principe sur des corps de nombres, ainsi qu'une interprétation de type corps de classe à l'obstruction à ce principe. Ce type de calculs pour d'autres tores normiques permet de démontrer qu'ils ne sont pas stablement rationnels. Ce résultat permet alors de déterminer les groupes algébriques simples dont le tore générique est rationnel, et délimite donc les cas pour lesquels l'étude du tore générique donne la rationalité du groupe. La quatrième partie est dédiée à la définition et à l'étude d'invariants des algèbres centrales simples à antiautomorphismes qui généralisent ceux donnant de bons résultats de classification pour les involutions : le discriminant, l'algèbre de Clifford et la forme trace. On y développe alors les résultats espérés en petite dimension cohomologique ou en petit degré.