Thèse doctorat : Mathématiques : Nancy 1 : 2006. / Titre provenant de l'écran-titre.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Soit $p_1 = 2, p_2 = 3, p_3 = 5,\ldots$ la suite des nombres premiers, et soient $q \ge 3$ et $a$ des entiers premiers entre eux. R\'ecemment, Daniel Shiu a d\'emontr\'e une ancienne conjecture de Sarvadaman Chowla. Ce dernier a conjectur\'e qu'il existe une infinit\'e de couples $p_n,p_$ de premiers cons\'ecutifs tels que $p_n \equiv p_{n+1} \equiv a \bmod q$. Fixons $\epsilon > 0$. Une r\'ecente perc\'ee majeure, de Daniel Goldston, J\`anos Pintz et Cem Y{\i}ld{\i}r{\i}m, a \'et\'e de d\'emontrer qu'il existe une suite de nombres r\'eels $x$ tendant vers l'infini, tels que l'intervalle $(x,x+\epsilon\log x]$ contienne au moins deux nombres premiers $\equiv a \bmod q$. \'Etant donn\'e un couple de nombres premiers $\equiv a \bmod q$ dans un tel intervalle, il pourrait exister un nombre premier compris entre les deux qui n'est pas $\equiv a \bmod q$. On peut d\'eduire que soit il existe une suite de r\'eels $x$ tendant vers l'infini, telle que $(x,x+\epsilon\log x]$ contienne un triplet $p_n,p_{n+1},p_{n+2}$ de nombres premiers cons\'ecutifs, soit il existe une suite de r\'eels $x$, tendant vers l'infini telle que l'intervalle $(x,x+\epsilon\log x]$ contienne un couple $p_n,p_{n+1}$ de nombres premiers tel que $p_n \equiv p_{n+1} \equiv a \bmod q$. On pense que les deux \'enonc\'es sont vrais, toutefois on peut seulement d\'eduire que l'un d'entre eux est vrai, sans savoir lequel. Dans la premi\`ere partie de cette th\`ese, nous d\'emontrons que le deuxi\`eme \'enonc\'e est vrai, ce qui fournit une nouvelle d\'emonstration de la conjecture de Chowla. La preuve combine des id\'ees de Shiu et de Goldston-Pintz-Y{\i}ld{\i}r{\i}m, donc on peut consid\'erer que ce r\'esultat est une application de leurs m\'thodes. Ensuite, nous fournirons des bornes inf\'erieures pour le nombre de couples $p_n,p_{n+1}$ tels que $p_n \equiv p_{n+1} \equiv a \bmod q$, $p_{n+1} - p_n < \epsilon\log p_n$, avec $p_{n+1} \le Y$. Sous l'hypoth\`ese que $\theta$, le \og niveau de distribution \fg{} des nombres premiers, est plus grand que $1/2$, Goldston-Pintz-Y{\i}ld{\i}r{\i}m ont r\'eussi \`a d\'emontrer que $p_{n+1} - p_n \ll_{\theta} 1$ pour une infinit\'e de couples $p_n,p_$. Sous la meme hypoth\`ese, nous d\'emontrerons que $p_{n+1} - p_n \ll_{q,\theta} 1$ et $p_n \equiv p_{n+1} \equiv a \bmod q$ pour une infinit\'e de couples $p_n,p_$, et nous prouverons \'egalement un r\'esultat quantitatif. Dans la deuxi\`eme partie, nous allons utiliser les techniques de Goldston-Pintz-Yldrm pour d\'emontrer qu'il existe une infinit\'e de couples de nombres premiers $p,p'$ tels que $(p-1)(p'-1)$ est une carr\'e parfait. Ce resultat est une version approximative d'une ancienne conjecture qui stipule qu'il existe une infinit\'e de nombres premiers $p$ tels que $p-1$ est une carr\'e parfait. En effet, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n \le Y$ tels que $n = \ell_1\cdots \ell_r$, avec $\ell_1,\ldots,\ell_r$ des premiers distincts, et tels que $(\ell_1-1)\cdots (\ell_r-1)$ est une puissance $r$-i\`eme, avec $r \ge 2$ quelconque. \'Egalement, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n = \ell_1\cdots \ell_r \le Y$ tels que $(\ell_1+1)\cdots (\ell_r+1)$ est une puissance $r$-i\`eme. Finalement, \'etant donn\'e $A$ un ensemble fini d'entiers non-nuls, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n \le Y$ tels que $\prod_ (p+a)$ est une puissance $r$-i\`eme, simultan\'ement pour chaque $a \in A$. / Let $p_1 = 2, p_2 = 3, p_3 = 5,\ldots$ be the sequence of all primes, and let $q \ge 3$ and $a$ be coprime integers. Recently, and very remarkably, Daniel Shiu proved an old conjecture of Sarvadaman Chowla, which asserts that there are infinitely many pairs of consecutive primes $p_n,p_{n+1}$ for which $p_n \equiv p_{n+1} \equiv a \bmod q$. Now fix a number $\epsilon > 0$, arbitrarily small. In their recent groundbreaking work, Daniel Goldston, J\`anos Pintz and Cem Y{\i}ld{\i}r{\i}m proved that there are arbitrarily large $x$ for which the short interval $(x, x + \epsilon\log x]$ contains at least two primes congruent to $a \bmod q$. Given a pair of primes $\equiv a \bmod q$ in such an interval, there might be a prime in-between them that is not $\equiv a \bmod q$. One can deduce that \emph{either} there are arbitrarily large $x$ for which $(x, x + \epsilon\log x]$ contains a prime pair $p_n \equiv p_{n+1} \equiv a \bmod q$, \emph{or} that there are arbitrarily large $x$ for which the $(x, x + \epsilon\log x]$ contains a triple of consecutive primes $p_n,p_{n+1},p_{n+2}$. Both statements are believed to be true, but one can only deduce that one of them is true, and one does not know which one, from the result of Goldston-Pintz-Y{\i}ld{\i}r{\i}m. In Part I of this thesis, we prove that the first of these alternatives is true, thus obtaining a new proof of Chowla's conjecture. The proof combines some of Shiu's ideas with those of Goldston-Pintz-Y{\i}ld{\i}r{\i}m, and so this result may be regarded as an application of their method. We then establish lower bounds for the number of prime pairs $p_n \equiv p_{n+1} \equiv a \bmod q$ with $p_{n+1} - p_n < \epsilon\log p_n$ and $p_{n+1} \le Y$. Assuming a certain unproven hypothesis concerning what is referred to as the `level of distribution', $\theta$, of the primes, Goldston-Pintz-Y{\i}ld{\i}r{\i}m were able to prove that $p_{n+1} - p_n \ll_{\theta} 1$ for infinitely many $n$. On the same hypothesis, we prove that there are infinitely many prime pairs $p_n \equiv p_{n+1} \equiv a \bmod q$ with $p_{n+1} - p_n \ll_{q,\theta} 1$. This conditional result is also proved in a quantitative form. In Part II we apply the techniques of Goldston-Pintz-Y{\i}ld{\i}r{\i}m to prove another result, namely that there are infinitely many pairs of distinct primes $p,p'$ such that $(p-1)(p'-1)$ is a perfect square. This is, in a sense, an `approximation' to the old conjecture that there are infinitely many primes $p$ such that $p-1$ is a perfect square. In fact we obtain a lower bound for the number of integers $n$, up to $Y$, such that $n = \ell_1\cdots \ell_r$, the $\ell_i$ distinct primes, and $(\ell_1 - 1)\cdots (\ell_r - 1)$ is a perfect $r$th power, for any given $r \ge 2$. We likewise obtain a lower bound for the number of such $n \le Y$ for which $(\ell_1 + 1)\cdots (\ell_r + 1)$ is a perfect $r$th power. Finally, given a finite set $A$ of nonzero integers, we obtain a lower bound for the number of $n \le Y$ for which $\prod_{p \mid n}(p+a)$ is a perfect $r$th power, simultaneously for every $a \in A$.

Soit $p_1 = 2, p_2 = 3, p_3 = 5,\ldots$ la suite des nombres premiers, et soient $q \ge 3$ et $a$ des entiers premiers entre eux. R\'ecemment, Daniel Shiu a d\'emontr\'e une ancienne conjecture de Sarvadaman Chowla. Ce dernier a conjectur\'e qu'il existe une infinit\'e de couples $p_n,p_$ de premiers cons\'ecutifs tels que $p_n \equiv p_{n+1} \equiv a \bmod q$. Fixons $\epsilon > 0$. Une r\'ecente perc\'ee majeure, de Daniel Goldston, J\`anos Pintz et Cem Y{\i}ld{\i}r{\i}m, a \'et\'e de d\'emontrer qu'il existe une suite de nombres r\'eels $x$ tendant vers l'infini, tels que l'intervalle $(x,x+\epsilon\log x]$ contienne au moins deux nombres premiers $\equiv a \bmod q$. \'Etant donn\'e un couple de nombres premiers $\equiv a \bmod q$ dans un tel intervalle, il pourrait exister un nombre premier compris entre les deux qui n'est pas $\equiv a \bmod q$. On peut d\'eduire que soit il existe une suite de r\'eels $x$ tendant vers l'infini, telle que $(x,x+\epsilon\log x]$ contienne un triplet $p_n,p_{n+1},p_{n+2}$ de nombres premiers cons\'ecutifs, soit il existe une suite de r\'eels $x$, tendant vers l'infini telle que l'intervalle $(x,x+\epsilon\log x]$ contienne un couple $p_n,p_{n+1}$ de nombres premiers tel que $p_n \equiv p_{n+1} \equiv a \bmod q$. On pense que les deux \'enonc\'es sont vrais, toutefois on peut seulement d\'eduire que l'un d'entre eux est vrai, sans savoir lequel. Dans la premi\`ere partie de cette th\`ese, nous d\'emontrons que le deuxi\`eme \'enonc\'e est vrai, ce qui fournit une nouvelle d\'emonstration de la conjecture de Chowla. La preuve combine des id\'ees de Shiu et de Goldston-Pintz-Y{\i}ld{\i}r{\i}m, donc on peut consid\'erer que ce r\'esultat est une application de leurs m\'thodes. Ensuite, nous fournirons des bornes inf\'erieures pour le nombre de couples $p_n,p_{n+1}$ tels que $p_n \equiv p_{n+1} \equiv a \bmod q$, $p_{n+1} - p_n < \epsilon\log p_n$, avec $p_{n+1} \le Y$. Sous l'hypoth\`ese que $\theta$, le \og niveau de distribution \fg{} des nombres premiers, est plus grand que $1/2$, Goldston-Pintz-Y{\i}ld{\i}r{\i}m ont r\'eussi \`a d\'emontrer que $p_{n+1} - p_n \ll_{\theta} 1$ pour une infinit\'e de couples $p_n,p_$. Sous la meme hypoth\`ese, nous d\'emontrerons que $p_{n+1} - p_n \ll_{q,\theta} 1$ et $p_n \equiv p_{n+1} \equiv a \bmod q$ pour une infinit\'e de couples $p_n,p_$, et nous prouverons \'egalement un r\'esultat quantitatif. Dans la deuxi\`eme partie, nous allons utiliser les techniques de Goldston-Pintz-Yldrm pour d\'emontrer qu'il existe une infinit\'e de couples de nombres premiers $p,p'$ tels que $(p-1)(p'-1)$ est une carr\'e parfait. Ce resultat est une version approximative d'une ancienne conjecture qui stipule qu'il existe une infinit\'e de nombres premiers $p$ tels que $p-1$ est une carr\'e parfait. En effet, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n \le Y$ tels que $n = \ell_1\cdots \ell_r$, avec $\ell_1,\ldots,\ell_r$ des premiers distincts, et tels que $(\ell_1-1)\cdots (\ell_r-1)$ est une puissance $r$-i\`eme, avec $r \ge 2$ quelconque. \'Egalement, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n = \ell_1\cdots \ell_r \le Y$ tels que $(\ell_1+1)\cdots (\ell_r+1)$ est une puissance $r$-i\`eme. Finalement, \'etant donn\'e $A$ un ensemble fini d'entiers non-nuls, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n \le Y$ tels que $\prod_ (p+a)$ est une puissance $r$-i\`eme, simultan\'ement pour chaque $a \in A$. / Let $p_1 = 2, p_2 = 3, p_3 = 5,\ldots$ be the sequence of all primes, and let $q \ge 3$ and $a$ be coprime integers. Recently, and very remarkably, Daniel Shiu proved an old conjecture of Sarvadaman Chowla, which asserts that there are infinitely many pairs of consecutive primes $p_n,p_{n+1}$ for which $p_n \equiv p_{n+1} \equiv a \bmod q$. Now fix a number $\epsilon > 0$, arbitrarily small. In their recent groundbreaking work, Daniel Goldston, J\`anos Pintz and Cem Y{\i}ld{\i}r{\i}m proved that there are arbitrarily large $x$ for which the short interval $(x, x + \epsilon\log x]$ contains at least two primes congruent to $a \bmod q$. Given a pair of primes $\equiv a \bmod q$ in such an interval, there might be a prime in-between them that is not $\equiv a \bmod q$. One can deduce that \emph{either} there are arbitrarily large $x$ for which $(x, x + \epsilon\log x]$ contains a prime pair $p_n \equiv p_{n+1} \equiv a \bmod q$, \emph{or} that there are arbitrarily large $x$ for which the $(x, x + \epsilon\log x]$ contains a triple of consecutive primes $p_n,p_{n+1},p_{n+2}$. Both statements are believed to be true, but one can only deduce that one of them is true, and one does not know which one, from the result of Goldston-Pintz-Y{\i}ld{\i}r{\i}m. In Part I of this thesis, we prove that the first of these alternatives is true, thus obtaining a new proof of Chowla's conjecture. The proof combines some of Shiu's ideas with those of Goldston-Pintz-Y{\i}ld{\i}r{\i}m, and so this result may be regarded as an application of their method. We then establish lower bounds for the number of prime pairs $p_n \equiv p_{n+1} \equiv a \bmod q$ with $p_{n+1} - p_n < \epsilon\log p_n$ and $p_{n+1} \le Y$. Assuming a certain unproven hypothesis concerning what is referred to as the `level of distribution', $\theta$, of the primes, Goldston-Pintz-Y{\i}ld{\i}r{\i}m were able to prove that $p_{n+1} - p_n \ll_{\theta} 1$ for infinitely many $n$. On the same hypothesis, we prove that there are infinitely many prime pairs $p_n \equiv p_{n+1} \equiv a \bmod q$ with $p_{n+1} - p_n \ll_{q,\theta} 1$. This conditional result is also proved in a quantitative form. In Part II we apply the techniques of Goldston-Pintz-Y{\i}ld{\i}r{\i}m to prove another result, namely that there are infinitely many pairs of distinct primes $p,p'$ such that $(p-1)(p'-1)$ is a perfect square. This is, in a sense, an `approximation' to the old conjecture that there are infinitely many primes $p$ such that $p-1$ is a perfect square. In fact we obtain a lower bound for the number of integers $n$, up to $Y$, such that $n = \ell_1\cdots \ell_r$, the $\ell_i$ distinct primes, and $(\ell_1 - 1)\cdots (\ell_r - 1)$ is a perfect $r$th power, for any given $r \ge 2$. We likewise obtain a lower bound for the number of such $n \le Y$ for which $(\ell_1 + 1)\cdots (\ell_r + 1)$ is a perfect $r$th power. Finally, given a finite set $A$ of nonzero integers, we obtain a lower bound for the number of $n \le Y$ for which $\prod_{p \mid n}(p+a)$ is a perfect $r$th power, simultaneously for every $a \in A$.

Au cours de cette thèse nous nous intéressons à des orthogonalités asymptotiques (au sens ou le produit scalaire dans le tore discret de taille N tend vers 0 lorsque N tend vers l’infini) entre certaines fonctions liées aux blocs des chiffres des entiers et la fonction de Möbius (ainsi qu’avec la fonction de von Mangoldt). Ces travaux prolongent ceux de Mauduit et Rivat et répondent partiellement à une question de Kalai posée en 2012. Au cours du Chapitre 1 nous établissons ces estimations asymptotiques dans le cas où la fonction étudiée est une fonction exponentielle d’une fonction qui compte les blocs de chiffres consécutifs ou espacés de taille k fixé dans l’écriture de n en base q. Nous donnons aussi une grande classe de polynômes agissant sur les blocs de chiffres qui nous fournissent un théorème des nombres premiers et une orthogonalité asymptotique avec la fonction de Möbius. Dans le Chapitre 2, nous obtenons un principe d’aléa de Möbius avec dans le cas où notre fonction est une fonction exponentielle d’une fonction qui compte les blocs de ‘1’ consécutifs dans l’écriture de n en base 2, où la taille du bloc est une application croissante tendant vers l’infini, mais avec une certaine restriction de croissance. Dans le cas extrémal, que nous ne pouvons pas traiter, ce problème est lié à l’estimation du nombre de nombres premiers dans la suite des nombres de Mersenne. Dans le Chapitre 3, nous donnons des estimations dans le cas où la fonction est l’exponentielle d’une fonction qui compte les blocs de k ‘1’ dans l’écriture de n en base 2 où k est grand par rapport à log N. Une conséquence du Chapitre 3 est que les résultats du Chapitre 1 sont quasi optimaux. / Throughout this thesis, we are interested in asymptotic orthogonality (in the sense that the scale product of the discrete torus of length N tends to zero as N tend to infinity) between some functions related to the blocks of digits of integers and the Möbius function (and also the von Mangoldt function). Our work extends previous results of Mauduit and Rivat, and gives a partial answer to a question posed by Kalai in 2012. Chapter 1 provides estimates in the case of the function is the exponential of a function taking values on the blocks (with and without wildcards) of length k (k fixed) in the digital expansion of n in base q. We also give a large class of polynomials acting on the digital blocks that allow to get a prime number theorem and asymptotic orthogonality with the Möbius function. In Chapter 2, we get an asymptotic formula in the case of our function is the exponential of the function which counts blocks of consecutive ‘1’s in the expansion of n in base 2, where the length of the block is an increasing function that tends (slowly) to infinity. In the extremal case, which we cannot handle, this problem is connected to estimating the number of primes in the sequences of Mersenne numbers. In Chapter 3, we provides estimates on the case of the function is the exponential of a function which count the blocks of k ‘1’s in the expansion of n in base 2 where k is large with respect to log N. A consequence of Chapter 3 is that the results of Chapter 1 are quasi-optimal.

Nous démontrons deux nouveaux résultats de densité à propos du 16-rang des groupes des classes de corps de nombres quadratiques. Le premier des deux est que le groupe des classes de Q(sqrt{-p}) a un élément d'ordre 16 pour un quart des nombres premiers p qui sont de la forme a^2+c^4 avec c pair. Le deuxième est que le groupe des classes de Q(sqrt{-2p}) a un élément d'ordre 16 pour un huitième des nombres premiers p=-1 (mod 4). Ces résultats de densité sont intéressants pour plusieurs raisons. D'abord, ils sont les premiers résultats non triviaux de densité sur le 16-rang des groupes des classes dans une famille de corps de nombres quadratiques. Deuxièmement, ils prouvent une instance des conjectures de Cohen et Lenstra. Troisièmement, leurs preuves impliquent de nouvelles applications des cribles développés par Friedlander et Iwaniec. Quatrièmement, nous donnons une description explicite du sous-corps du corps de classes de Hilbert de degré 8 de Q(sqrt{-p}) lorsque p est un nombre premier de la forme a^2+c^4 avec c pair; l'absence d'une telle description explicite pour le sous-corps du corps de classes de Hilbert de degré 8 de Q(sqrt{d}) est le frein principal à l'amélioration des estimations de la densité des discriminants positifs d pour lesquels l'équation de Pell négative x^2-dy^2=-1 est résoluble. Dans le cas du deuxième résultat, nous donnons une description explicite d'un élément d'ordre 4 dans le groupe des classes de Q(sqrt{-2p}) et on calcule son symbole d'Artin dans le sous-corps du corps de classes de Hilbert de degré 4 de Q(sqrt{-2p}), généralisant ainsi un résultat de Leonard et Williams. Enfin, nous démontrons un très bon terme d'erreur pour une fonction de comptage des nombres premiers qui est liée au 16-rang du groupe des classes de Q(sqrt{-2p}), donnant ainsi des indications fortes contre une conjecture de Cohn et Lagarias que le 16-rang est contrôlé par un critère de type Chebotarev. / We prove two new density results about 16-ranks of class groups of quadratic number fields. The first of the two is that the class group of Q(sqrt{-p}) has an element of order 16 for one-fourth of prime numbers p that are of the form a^2+c^4 with c even. The second is that the class group of Q(sqrt{-2p}) has an element of order 16 for one-eighth of prime numbers p=-1 (mod 4). These density results are interesting for several reasons. First, they are the first non-trivial density results about the 16-rank of class groups in a family of quadratic number fields. Second, they prove an instance of the Cohen-Lenstra conjectures. Third, both of their proofs involve new applications of powerful sieving techniques developed by Friedlander and Iwaniec. Fourth, we give an explicit description of the 8-Hilbert class field of Q(sqrt{-p}) whenever p is a prime number of the form a^2+c^4 with c even; the lack of such an explicit description for the 8-Hilbert class field of Q(sqrt{d}) is the main obstacle to improving the estimates for the density of positive discriminants d for which the negative Pell equation x^2-dy^2=-1 is solvable. In case of the second result, we give an explicit description of an element of order 4 in the class group of Q(sqrt{-2p}) and we compute its Artin symbol in the 4-Hilbert class field of Q(sqrt{-2p}), thereby generalizing a result of Leonard and Williams. Finally, we prove a power-saving error term for a prime-counting function related to the 16-rank of the class group of Q(sqrt{-2p}), thereby giving strong evidence against a conjecture of Cohn and Lagarias that the 16-rank is governed by a Chebotarev-type criterion.

Cette thèse concerne quelques problèmes liés à la répartition des entiers sans facteur carré dansles progressions arithmétiques. Ces problèmes s’expriment en termes de majorations du terme d’erreurassocié à cette répartition.Les premier, deuxième et quatrième chapitres sont concentrés sur l’étude statistique des termesd’erreur quand on fait varier la progression arithmétique modulo q. En particulier on obtient une formuleasymptotique pour la variance et des majorations non triviales pour les moments d’ordre supérieur. Onfait appel à plusieurs techniques de théorie analytique des nombres comme les méthodes de crible et lessommes d’exponentielles, notamment une majoration récente pour les sommes d’exponentielles courtesdue à Bourgain dans le deuxième chapitre.Dans le troisième chapitre on s’intéresse à estimer le terme d’erreur pour une progression fixée. Onaméliore un résultat de Hooley de 1975 dans deux directions différentes. On utilise ici des majorationsrécentes de sommes d’exponentielles courtes de Bourgain-Garaev et de sommes d’exponentielles torduespar la fonction de Möbius dues à Bourgain et Fouvry-Kowalski-Michel. / This thesis concerns a few problems linked with the distribution of squarefree integers in arithmeticprogressions. Such problems are usually phrased in terms of upper bounds for the error term relatedto this distribution.The first, second and fourth chapter focus on the satistical study of the error terms as the progres-sions varies modulo q. In particular we obtain an asymptotic formula for the variance and non-trivialupper bounds for the higher moments. We make use of many technics from analytic number theorysuch as sieve methods and exponential sums. In particular, in the second chapter we make use of arecent upper bound for short exponential sums by Bourgain.In the third chapter we give estimates for the error term for a fixed arithmetic progression. Weimprove on a result of Hooley from 1975 in two different directions. Here we use recent upper boundsfor short exponential sums by Bourgain-Garaev and exponential sums twisted by the Möbius functionby Bourgain et Fouvry-Kowalski-Michel.

Pour une base fixée, les entiers ellipséphiques (c'est-à-dire les entiers dont l'écriture n'utilise que certains chiffres) et les palindromes forment des sous ensembles éparses des entiers, ensembles définis par des conditions digitales. Nous étudions si ces ensembles ont des propriétés multiplicatives similaires à celles des entiers.<br>Nous évaluons d'abord les grands moments de la série génératrice des entiers ellipséphiques. Comme application, nous en déduisons l'existence d'un 0 < c < 1 tel que pour tout entier k, une infinité d'entiers ellipséphiques n possédant un diviseur p^k de l'ordre de n^c, p désignant un nombre premier. De plus, le nombre de tels entiers est de l'ordre de grandeur attendu.<br>Nous établissons ensuite un résultat de crible où les modules possédant un nombre anormalement grand de diviseurs sont écartés du terme d'erreur. Nous en déduisons l'existence d'une proportion positive d'entiers ellipséphiques friables c'est-à-dire possédant tous leurs facteurs premiers majorés par n^c, pour une constante c < 1 fixée.<br>Nous montrons enfin à l'aide de techniques élémentaires comment réduire l'étude de la série génératrice des palindromes à une série proche de celle des entiers ellipséphiques ce qui permet d'étudier la répartition des palindromes dans les progressions arithmétiques et ainsi d'obtenir une majoration de l'ordre de grandeur attendu du nombre de palindromes premiers. Nous en déduisons en particulier l'existence d'une infinité de palindromes possédant en base 10 au plus 372 facteurs premiers (comptés avec multiplicité).

Cette thèse en théorie algorithmique des nombres présente un nouvel algorithme probabiliste pour résoudre des équations quadratiques sur Z ou Q en dimension 5 sans utiliser de factorisation. Il est d'une complexité nettement meilleure que les algorithmes existants pour résoudre ce genre d'équations et repose sur deux algorithmes : celui de Simon et celui de Pollard et Schnorr. Après quelques rappels sur la théorie des formes quadratiques, on explique comment fonctionne cet algorithme. La suite consiste en l'analyse détaillée de cet algorithme pour laquelle on utilisera une version effective du théorème de densité de Tchebotarev.

La présente thèse a été fortement influencée par deux conjectures, l'une de Gelfond et l'autre de Sarnak.En 1968, Gelfond a prouvé que la somme des chiffres modulo m est asymtotiquement équirépartie dans des progressions arithmétiques, et il a formulé trois problèmes nouveaux.Le deuxième et le troisième problèmes traitent des sommes des chiffres pour les nombres premiers et les suites polynomiales.En ce qui concerne les nombres premiers et les carrés, Mauduit et Rivat ont résolu ces problèmes en 2010 et 2009, respectivement.Drmota, Mauduit et Rivat ont réussi généraliser le résultat concernant la suite des sommes des chiffres des carrés.Ils ont démontré que chaque bloc apparaît asymptotiquement avec la même fréquence.Selon la conjecture de Sarnak, il n'y a pas de corrélation entre la fonction de Möbius et des fonctions simples.La présente thèse traite de la répartition de suites automatiques le long de sous-suites particulières ainsi que d'autres propriétés de suites automatiques.Selon l'un des résultats principaux du présent travail, toutes les suites automatiques vérifient la conjecture de Sarnak.Moyennant une approche légèrement modifiée, nous traitons également la répartition de suites automatiques le long de la suite des nombres premiers.Dans le cadre du traitement de suites automatiques générales, nous avons mis au point une nouvelle structure destinée aux automates finisdéterministes ouvrant une vision nouvelle pour les automates et/ou les suites automatiques.Nous étendons les résultat de Drmota, Mauduit et Rivat concernant les suites digitales.Cette approche peut également être considérée comme une généralisation du troisième problème de Gelfond. / The present dissertation was inspired by two conjectures, one by Gelfond and one of Sarnak.In 1968 Gelfond proved that the sum of digits modulo m is asymptotically equally distributed along arithmetic progressions.Furthermore, he stated three problems which are nowadays called Gelfond problems.The second and third questions are concerned with the sum of digits of prime numbers and polynomial subsequences.Mauduit and Rivat were able to solve these problems for primes and squares in 2010 and 2009 respectively.Drmota, Mauduit and Rivat generalized the result concerning the sequence of the sum of digits of squares.They showed that each block appears asymptotically equally frequently.Sarnak conjectured in 2010 that the Mobius function does not correlate with deterministic functions.This dissertation deals with the distribution of automatic sequences along special subsequences and other properties of automatic sequences.A main result of this thesis is that all automatic sequences satisfy the Sarnak conjecture.Through a slightly modified approach, we also deal with the distribution of automatic sequences along the subsequence of primes.In the course of the treatment of general automatic sequences, a new structure for deterministic finite automata is developed,which allows a new view for automata or automatic sequences.We extend the result of Drmota, Mauduit and Rivat to digital sequences.This is also a generalization of the third Gelfond problem.