Intégration numérique et calculs de fonctions L

This thesis contains a detailed study of the so-called double exponential integration formulas introduced by Takahasi and Mori in 1974, and provides explicit bounds for a rigorous application of the method in number theory. Accurate parameters are given, which makes it possible to use it as a blackbox for the rigorous computation of functions defined by integrals. It also deals with numerical computations of L functions. The complexity of an algorithm due to M. Rubinstein is proven. In the context of double-exponential transformation, a new algorithm is provided whose complexity is low in terms of precision.Cette thèse montre la possibilité d'une application rigoureuse de la méthode d'intégration numérique double-exponentielle introduite par Takahasi et Mori en 1974, et sa pertinence pour les calculs à grande précision en théorie des nombres. Elle contient en particulier une étude détaillée de cette méthode, des critères simples sur son champ d'application, et des estimations rigoureuses des termes d'erreur. Des paramètres explicités et précis permettent de l'employer aisément pour le calcul garanti de fonctions définies par des intégrales. Cette méthode est également appliquée en détail au calcul de transformées de Mellin inverses de facteurs gamma intervenant dans les calculs numériques de fonctions L. Par une étude unifiée, ce travail démontre la complexité d'un algorithme de M. Rubinstein et permet de proposer des algorithmes de calcul de valeurs de fonctions L quelconques dont le résultat est garanti et dont la complexité est meilleure en la précision