La relativité générale représente la description la plus précise de l'interaction gravitationnelle. Cependant, alors que la matière est régie par les lois de la mécanique quantique, la gravitation, elle, est une théorie fondamentalement classique. A l'échelle de Planck, c'est-à-dire à des distances d'environ 10E-35 mètres, les effets quantiques et ceux de la gravitation deviennent tous deux importants. A l'heure actuelle, un langage mathématique unifié et décrivant les effets physiques à cette échelle est toujours manquant. Il existe néanmoins plusieurs théories candidates à cette description, et l'une d'entre elles, la gravité quantique à boucles, est l'objet d'étude de cette thèse.Afin de tester si une théorie candidate peur fournir une description appropriée des propriétés quantiques du champ de gravitation, elle doit présenter une certaine cohérence interne du point de vue mathématique, et aussi être en accord avec les tests expérimentaux de la relativité générale. Le but de cette thèse est de développer certains outils mathématiques qui éclairent ces conditions de consistance interne, et qui permettent d'établir un lien entre différentes formulations de la théorie. / General relativity is the most precise theory of the gravitational interaction. It is a classical field theory. All matter, on the other hand, follows the rules of quantum theory. At the Planck scale, at about distances of the order of 10E-35 meters, both theories become equally important. Today, theoretical physics lacks a unifying language to explore what happens at this scale, but there are several candidate theories available. Loop quantum gravity is one them, and it is the main topic of this thesis. To see whether a particular proposal is a viable candidate for a quantum theory of the gravitational field it must be free of internal inconsistencies, and agree with all experimental tests of general relativity. This thesis develops mathematical tools to check these.