D'abord, on étudie trois façons d'associer une C*-algèbre à une transformation continue. Ensuite, nous donnons une nouvelle définition de l'entropie. Nous trouvons des relations entre les états KMS des algèbres préalablement définies et les états d'équilibre, donné par un principe variationnel. Dans la seconde partie, nous étudions les algèbres de Kajiwara-Watatani associees a un système des fonctions itérées. Nous comparons ces algèbres avec l'algèbre de Cuntz et le produit croisé. Enfin, nous étudions les états KMS des algèbres de Kajiwara-Watatani pour les actions provenant d'un potentiel et nous trouvouns des relations entre ces états et les mesures trouvee dans une version de le théorème de Ruelle-Perron-Frobenius pour les systèmes de fonctions itérées. / Primeiramente, estudamos três formas de associar uma C*-álgebra a uma transformação contínua. Em seguida, damos uma nova definição de entropia. Relacionamos, então, os estados KMS das álgebras anteriormente definidas com os estados de equilibro, vindos de um princípio variacional. Na segunda parte, estudamos as álgebras de Kajiwara-Watatani associadas a um sistema de funções iteradas. Comparamos tais álgebras com a álgebra de Cuntz e a álgebra do produto cruzado. Finalmente, estudamos os estados KMS das álgebras de Kajiwara-Watatani para ações vindas de um potencial e relacionamos tais estados KMS com medidas encontradas numa versão do teorema de Ruelle-Perron-Frobenius para sistemas de funções iteradas. / First, we study three ways of associating a C*-algebra to a continuous map. Then, we give a new de nition of entropy. We relate the KMS states of the previously de ned algebras with the equilibrium states, given by a variational principle. In the second part, we study the Kajiwara-Watatani algebras associated to iterated function system. We compare these algebras with the Cuntz algebra and the crossed product. Finally, we study the KMS states of the Kajiwara-Watatani algebras for actions coming from a potential and we relate such states with measures found in a version of the Ruelle-Perron- Frobenius theorem for iterated function systems.

Soit K un corps algébriquement clos de caractéristique nulle. Il est bien connu, d'après un résultat de Duflo, Khalgui et Torasso, qu'une algèbre de Lie algébrique quasi-réductive (définie sur K) est stable. La réciproque est fausse en général. Se pose la question de savoir, si pour certaines classes particulières d'algèbres de Lie non réductives, il y a équivalence entre ces deux notions. Plus généralement, les sous-algèbres biparaboliques forment une classe très intéressante (incluant la classe des sous-algèbres paraboliques et de Levi) d'algèbres de Lie qui ne sont pas toutes réductives. Panyushev conjecture que si une sous-algèbre biparabolique est stable, alors son stabilisateur générique est un tore. Cette conjecture peut être reformulée ainsi : une sous-algèbre de Lie biparabolique est stable si et seulement si elle est quasi-réductive. Compte tenu des résultats obtenus par ce dernier pour le cas des sous-algèbres paraboliques d'une algèbre de Lie simple de type A et C, on donne dans cette thèse une réponse positive à cette conjecture pour la classe des sous-algèbres paraboliques d'une algèbre de Lie simple. Au passage, nous montrons également qu'une sous-algèbre de Lie de gl(n, K) qui stabilise une forme bilinéaire alternée de rang maximal et un drapeau en position générique est stable si et seulement si elle est quasi-réductive. / Let K be an algebraically closed field of characteristic 0. It is well known by work of Duflo, Khalgui and Torasso that any quasi-reductive algebraic Lie algebra (defined over K) is stable. However, there are stable Lie algebras which are not quasi-reductive. This raises the question, if for some particular class of non-reductive Lie algebras, there is equivalence between stability and quasi-reductivity. More generally, biparabolic subalgebras form a very interesting class (including the class of parabolic subalgebras and of Levi subalgebras) of non-reductive Lie algebras. It was conjectured by Panyushev that these two notions are equivalent for biparabolic subalgebras of a reductive Lie algebra. In this thesis, we give by considering the results of Panyushev for parabolic subalgerbras of simple Lie algebra of type A and C a positive answer to this conjecture in the case of parabolic subalgebras. In passing, we prove that these two notions are equivalent for certain subalgebras of gl(n,K) which stabilize an alternating bilinear form of maximal rank and a flag in generic position.

D'abord, on étudie trois façons d'associer une C*-algèbre à une transformation continue. Ensuite, nous donnons une nouvelle définition de l'entropie. Nous trouvons des relations entre les états KMS des algèbres préalablement définies et les états d'équilibre, donné par un principe variationnel. Dans la seconde partie, nous étudions les algèbres de Kajiwara-Watatani associees a un système des fonctions itérées. Nous comparons ces algèbres avec l'algèbre de Cuntz et le produit croisé. Enfin, nous étudions les états KMS des algèbres de Kajiwara-Watatani pour les actions provenant d'un potentiel et nous trouvouns des relations entre ces états et les mesures trouvee dans une version de le théorème de Ruelle-Perron-Frobenius pour les systèmes de fonctions itérées. / Primeiramente, estudamos três formas de associar uma C*-álgebra a uma transformação contínua. Em seguida, damos uma nova definição de entropia. Relacionamos, então, os estados KMS das álgebras anteriormente definidas com os estados de equilibro, vindos de um princípio variacional. Na segunda parte, estudamos as álgebras de Kajiwara-Watatani associadas a um sistema de funções iteradas. Comparamos tais álgebras com a álgebra de Cuntz e a álgebra do produto cruzado. Finalmente, estudamos os estados KMS das álgebras de Kajiwara-Watatani para ações vindas de um potencial e relacionamos tais estados KMS com medidas encontradas numa versão do teorema de Ruelle-Perron-Frobenius para sistemas de funções iteradas. / First, we study three ways of associating a C*-algebra to a continuous map. Then, we give a new de nition of entropy. We relate the KMS states of the previously de ned algebras with the equilibrium states, given by a variational principle. In the second part, we study the Kajiwara-Watatani algebras associated to iterated function system. We compare these algebras with the Cuntz algebra and the crossed product. Finally, we study the KMS states of the Kajiwara-Watatani algebras for actions coming from a potential and we relate such states with measures found in a version of the Ruelle-Perron- Frobenius theorem for iterated function systems.

L'objectif de ce travail est de décrire des modélisations des points de vue et des changements de points de vue d'images d'un objet planaire dans les algèbres de Clifford conformes. Nous généralisons le modèle conforme de l'espace euclidien à travers une famille à deux paramètres d'horosphère, chacune d'entre elles étant plongée dans un espace vectoriel réel de dimension 4 muni d'une métrique équivalente à la métrique de Minkowski. Nous décrivons par la suite deux approches pour mettre en œuvre ces modèles conformes généralisés pour les représentations d'images. L'idée de base est d'encoder les distorsions perspectives de l'objet causées par la variation du paramètre de latitude de la caméra au travers des paramètres d'une horosphère. La première approche consiste à considérer les horosphères de l'espace de Minkowski de dimension 4 pour encoder les points de vue. Les changements de points de vue sont alors linéarisés à travers un groupe de transformations linéaires et conformes de cet espace. Cette approche est ensuite généralisée en décrivant les points de vue à travers les objets d'un groupoïde dont les morphismes sont des diagrammes commutatifs qui représentent les changements de points de vue. Ainsi, une image conforme est décrite par une application définie sur une horosphère à deux paramètres. L'action du groupoïde sur l'ensemble des images conformes nous conduit à associer à tout objet planaire l'orbite de toutes ses images conformes obtenues à partir de tous les points de vue. / Our purpose in this work is to introduce representations of image viewpoints and viewpoint changes of a planar object in conformal Clifford algebras. Our important preliminary contribution is a generalization of the conformal model of the Euclidean space through a two-parameter family of horospheres. Each one of these is embedded into a real vector space of dimension 4 equipped with a metric equivalent to the Minkowski metric. We describe two approaches that make use of these generalized conformal models for image representations. These are based on modelings of perspective distortions of the object caused by a variation of the latitude angle of the camera. First, we model the image viewpoints by the horospheres of the Minkowski space of dimension 4. In this setting, the viewpoint changes are linearized through a group of linear conformal transformations of this space. This approach is generalized by describing the viewpoints through the objects of a groupoid whose morphisms are commutative diagrams that model the viewpoint changes. A conformal image is then described as a map defined on a horosphere. The action of the groupoid on the set of conformal images leads us to associate with every planar object the orbit of its conformal images from all viewpoints.

Cette thèse s’inscrit dans le cadre général de la théorie des systèmes intégrables avec bords et le développement des structures algébriques associées.D’une part, nous nous attaquons au problème de la diagonalisation de l’hamiltonien du modèle XXZ avec bords non diagonaux. Nous exhibons les deux ensembles d’états propres et valeurs propres du modèle si les paramètres de bords satisfont deux conditions.D’autre part, nous introduisons un modèle de physique statistique que nous appelons le modèle face avec un bord réfléchissant. Nous calculons exactement sa fonction de partition et nous montrons que cette dernière se représente simplement sous la forme d’un unique déterminant matriciel.Nous montrons que ces deux problèmes sont reliés par la transformation vertex-face et exhibent une structure algébrique commune, l’algèbre de réflexion dynamique. Nous nous intéressons aux aspects mathématiques de cette algèbre dans le cas elliptique général,et nous introduisons deux classes de ces représentations, la représentation de co-module d’évaluation et sa duale. Nous pensons que cette algèbre est la structure clef pour l’analyse des modèles faces avec bords. En particulier, nous montrons à l’aide de twists de Drinfel’d que leur fonction de partition se représente simplement dans le cas général. Enfin, nous tentons une ’dynamisation’ du modèle à vertex ’Half-Turn-Symmetric’,et nous décrivons sa fonction de partition en termes de représentation d’évaluation de l’algèbre de Yang-Baxter dynamique, et trouvons un ensemble de conditions la déterminantunivoquement. / This thesis is embedded in the general theory of quantum integrable models withboundaries, and the development of associated algebraic structures.We first consider the question of the diagonalization of the XXZ hamiltonian with nondiagonalboundaries. We succeed to find the two sets of eigenstates and eigenvalues of themodel if the boundaries parameters satisfy two conditions.We introduce then a statistical physics model which we refer to be the face model witha reflecting end. Moreover, we compute exactly its partition function and show that it takesthe form of a simple single matrix determinant.We show that these two problems are related through the vertex-face transformationand are solved using a common algebraic structure, the dynamical reflection algebra andits dual. We focus from a mathematical perspective on this algebra in the general ellipticcase. Both the co-module evaluation representation and its dual are introduced. We believethat these structures are the key ingredients for the analysis of face models with boundaries.In particular, using the concept of Drinfel’d twists, we show that the partition function ofthese models has a simple representation in the general case.Finally, we attempt on a ’dynamization’ of the Half-Turn-Symmetric vertexmodel. Wedescribe its partition function in terms of the evaluation representation of the dynamicalYang-Baxter algebra, and find a set of conditions that uniquely determine it.

Cette recherche vise à établir les propriétés fondamentales d'un système formel aux preuves circulaires introduit par Santocanale, auquel on a rajouté la règle de coupure. On démontre, dans un premier temps, qu'il y a une pleine correspondance entre les preuves circulaires et les flèches issues des catégories dites µ-bicomplètes. Ces flèches sont celles que l'on peut définir purement à partir des outils suivants: les produits et coproduits finis, les algèbres initiales et les coalgèbres finales. Dans la catégorie des ensembles, les preuves circulaires dénotent donc les fonctions qu'on peut définir en utilisant les produits cartésiens finis, les unions disjointes finies, l'induction et la coinduction. On décrit également une procédure d'élimination des coupures qui produit, à partir d'une preuve circulaire finie, une preuve sans cycles et sans coupures, mais possiblement infinie. On démontre que l'élimination des coupures fournit une sémantique opérationnelle aux preuves circulaires, c'est-à-dire qu'elle permet de calculer les fonctions dénotées par celles-ci, par le moyen d'une sorte d'automate avec mémoire. Enfin, on s'intéresse au problème de la puissance expressive de cet éliminateur de coupures, c'est-à-dire à la question de caractériser la classe des expressions qu'il peut calculer. On démontre, par une simulation, que l'éliminateur des coupures est strictement plus expressif que les automates à pile d'ordre supérieur. / This research aims at establishing the fundamental properties of a formal system with circular proofs introduced by Santocanale, to which we added the cut rule. We first show that there is a full correspondence between circular proofs and arrows from the so-called µ-bicomplete categories. These arrows are those that can be defined purely from the following tools: finite products and coproducts, initial algebras and final coalgebras. In the category of sets, circular proofs denote functions that one can define by using finite cartesian products, finite disjoint unions, induction and coinduction. We also describe a cut-elimination procedure that produces, from a given finite circular proof, a proof without cycles and cuts, but which may be infinite. We prove that cut-elimination gives an operational semantics to circular proofs, which is to say that they allow to compute the functions denoted by them, by using a sort of automaton with memory. Finally, we are interested in finding the expressive power of that cut-eliminating automaton. In other words, we want to characterize the class of functions that it can compute. We show, through a simulation, that the cut-eliminating automaton is strictly more expressive than higher-order pushdown automata.

Cette thèse s'intéresse au contenu calculatoire des preuves classiques, et plus spécifiquement aux preuves avec effets de bord et à la réalisabilité classique de Krivine. Le manuscrit est divisé en trois parties, dont la première consiste en une introduction étendue des concepts utilisés par la suite. La seconde partie porte sur l’interprétation calculatoire de l’axiome du choix dépendant en logique classique. Ce travail s'inscrit dans la continuité du système dPAω d'Hugo Herbelin, qui permet d’adapter la preuve constructive de l’axiome du choix en théorie des types de Martin-Löf pour en faire une preuve constructive de l’axiome du choix dépendant dans un cadre compatible avec la logique classique. L'objectif principal de cette partie est de démontrer la propriété de normalisation pour dPAω, sur laquelle repose la cohérence du système. La difficulté d'une telle preuve est liée à la présence simultanée de types dépendants (pour la partie constructive du choix), d'opérateurs de contrôle (pour la logique classique), d'objets co-inductifs (pour "encoder" les fonctions de type N → A par des streams (a₀,a₁,...)) et d'évaluation paresseuse avec partage (pour ces objets co-inductifs). Ces difficultés sont étudiées séparément dans un premier temps. En particulier, on montre la normalisation du call-by-need classique (présenté comme une extension du λµµ̃-calcul avec des environnements partagé), en utilisant notamment des techniques de réalisabilité à la Krivine. On développe ensuite un calcul des séquents classique avec types dépendants, définie comme une adaptation du λµµ̃-calcul, dont la correction est prouvée à l'aide d'une traduction CPS tenant compte des dépendances. Enfin, une variante en calcul des séquents du système dPAω est introduite, combinant les deux points précédents, dont la normalisation est finalement prouvée à l'aide de techniques de réalisabilité. La dernière partie, d'avantage orientée vers la sémantique, porte sur l’étude de la dualité entre l’appel par nom (call-by-name) et l’appel par valeur (call-by-value) dans un cadre purement algébrique inspiré par les travaux autour de la réalisabilité classique (et notamment les algèbres de réalisabilité de Krivine). Ce travail se base sur une notion d'algèbres implicatives développée par Alexandre Miquel, une structure algébrique très simple généralisant à la fois les algèbres de Boole complètes et les algèbres de réalisabilité de Krivine, de manière à exprimer dans un même cadre la théorie du forcing (au sens de Cohen) et la théorie de la réalisabilité classique (au sens de Krivine). Le principal défaut de cette structure est qu’elle est très orientée vers le λ-calcul, et ne permet d’interpréter fidèlement que les langages en appel par nom. Pour remédier à cette situation, on introduit deux variantes des algèbres implicatives les algèbres disjonctives, centrées sur le “par” de la logique linéaire (mais dans un cadre non linéaire) et naturellement adaptées aux langages en appel par nom, et les algèbres conjonctives, centrées sur le “tenseur” de la logique linéaire et adaptées aux langages en appel par valeur. On prouve en particulier que les algèbres disjonctives ne sont que des cas particuliers d'algèbres implicatives et que l'on peut obtenir une algèbre conjonctive à partir d'une algèbre disjonctive (par renversement de l’ordre sous-jacent). De plus, on montre comment interpréter dans ces cadres les fragments du système L de Guillaume Munch-Maccagnoni en appel par valeur (dans les algèbres conjonctives) et en appel par nom (dans les algèbres disjonctives). / This thesis focuses on the computational content of classical proofs, and specifically on proofs with side-effects and Krivine classical realizability. The manuscript is divided in three parts, the first of which consists of a detailed introduction to the concepts used in the sequel.The second part deals with the computational content of the axiom of dependent choice in classical logic. This works is in the continuity of the system dPAω developed Hugo Herbelin. This calculus allows us to adapt the constructive proof of the axiom of choice in Martin-Löf's type theory in order to turn it into a constructive proof of the axiom of dependent choice in a setting compatible with classical logic. The principal goal of this part is to prove the property of normalization for dPAω, on which relies the consistency of the system. Such a proof is hard to obtain, due to the simultaneous presence of dependent types (for the constructive part of the choice), of control operators (for classical logic), of co-inductive objects (in order to "encode" functions of type N → A as streams (a₀,a₁,...)) and of lazy evaluation with sharing (for this co-inductive objects). These difficulties are first studied separately. In particular, we prove the normalization of classical call-by-need (presented as an extension of the λµ̃µ-calculus with shared environments) by means of realizability techniques. Next, we develop a classical sequent calculus with dependent types, defined again as an adaptation of the λµ̃µ-calculus, whose soundness is proved thanks to a CPS translation which takes the dependencies into account. Last, a sequent-calculus variant of dPAω is introduced, combining the two previous systems. Its normalization is finally proved using realizability techniques. The last part, more oriented towards semantics, studies the duality between the call-by-name and the call-by-value evaluation strategies in a purely algebraic setting, inspired from several works around classical realizability (and in particular Krivine realizability algebras). This work relies on the notion of implicative algebras developed by Alexandre Miquel, a very simple algebraic structure generalizing at the same time complete Boolean algebras and Krivine realizability algebras, in such a way that it allows us to express in a same setting the theory of forcing (in the sense of Cohen) and the theory of classical realizability (in the sense of Krivine). The main default of these structures is that they are deeply oriented towards the λ-calculus, and that they only allows to faithfully interpret languages in call-by-name. To remediate the situation, we introduce two variants of implicative algebras: disjunctive algebras, centered on the "par" connective of linear logic (but in a non-linear framework) and naturally adapted to languages in call-by-name; and conjunctives algebras, centered on the "tensor" connective of linear logic and adapted to languages in call-by-value. Amongst other things, we prove that disjunctive algebras are particular cases of implicative algebras and that conjunctive algebras can be obtained from disjunctive algebras (by reversing the underlying order). Moreover, we show how to interpret in these frameworks the fragments of Guillaume Munch-Maccagnoni's system L corresponding to a call-by-value calculus (within conjunctive algebras) and to a call-by-name calculus (within disjunctive algebras).

La théorie de Hodge mixte de Deligne fournit des structures supplémentaires sur les groupes de cohomologie des variétés algébriques complexes. Depuis, des structures de Hodge mixtes ont été construites sur les groupes d'homotopie rationnels de telles variétés par Morgan et Hain. Dans cette lignée, nous construisons des structures de Hodge mixtes sur des invariants associés aux représentations linéaires des groupes fondamentaux des variétés algébriques complexes lisses. Le point de départ est la théorie de Goldman et Millson qui relie la théorie des déformations de telles représentations à la théorie des déformations via les algèbres de Lie différentielles graduées. Ceci a été relu par P. Eyssidieux et C. Simpson dans le cas des variétés kählériennes compactes. Dans le cas non compact, et pour des représentations d'image finie, Kapovich et Millson ont construit seulement des graduations non canoniques. Pour construire des structures de Hodge mixtes dans le cas non compact et l'unifier avec le cas compact traité par Eyssidieux-Simpson, nous ré-écrivons la théorie de Goldman-Millson classique en utilisant des idées plus modernes de la théorie des déformations dérivée et une construction d'algèbres L-infini due à Fiorenza et Manetti. Notre structure de Hodge mixte provient alors directement du H^0 d'un complexe de Hodge mixte explicite, de façon similaire à la méthode de Hain pour le groupe fondamental, et dont la fonctorialité apparaît clairement. / The mixed Hodge theory of Deligne provides additional structures on the cohomology groups of complex algebraic varieties. Since then, mixed Hodge structures have been constructed on the rational homotopy groups of such varieties by Morgan and Hain. In this vein, we construct mixed Hodge structures on invariants associated to linear representations of fundamental groups of smooth complex algebraic varieties. The starting point is the theory of Goldman and Millson that relates the deformation theory of such representations to the deformation theory via differential graded Lie algebras. This was reviewed by P. Eyssidieux and C. Simpson in the case of compact Kähler manifolds. In the non-compact case, and for representations with finite image, Kapovich and Millson constructed only non-canonical gradings. In order to construct mixed Hodge structures in the non-compact case and unify it with the compact case treated by Eyssidieux-Simpson, we re-write the classical Goldman-Millson theory using more modern ideas from derived deformation theory and a construction of L-infinity algebras due to Fiorenza and Manetti. Our mixed Hodge structure comes then directly from the H^0 of an explicit mixed Hodge complex, in a similar way as the method of Hain for the fundamental group, and whose functoriality appears clearly.

Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking. Nous modélisons ces systèmes à l'aide d'un formalisme de haut niveau issu du π-calcul, permettant de considérer des comportements stochastiques, temporels, déterministes, ou indéterministes. Cependant, dans le π-calcul, la primitive de communication de base des systèmes est la communication en point-à-point synchrone. Or, les systèmes mobiles, qui utilisent des réseaux sans fil, communiquent essentiellement par diffusion locale. C'est pourquoi, dans un premier temps, nous définissons la communication par diffusion dans le π-calcul, afin de mieux modéliser les systèmes que nous étudions. Nous proposons d'utiliser des versions probabilistes et stochastiques de l'algèbre que nous avons défini, pour permettre des études de performance. Nous en définissons une version temporelle permettant de considérer le temps dans les modèles. Mais l'absence d'outils d'analyse des propriétés sur des modèles spécifiés en une algèbre issue du π-calcul est un obstacle majeur à notre travail. La définition de règles de traduction en langage PRISM, nous permet de traduire nos modèles, en modèles de bas niveau supports du model checking, à savoir des chaînes de Markov à temps discret, à temps continu, des automates temporisés, ou des automates temporisés probabilistes. Nous avons choisi l'outil PRISM car, à notre connaissance, dans sa dernière version, il est le seul outil à supporter les formalismes de bas niveau que nous venons de citer, et ainsi il permet de réaliser des études de performabilité complètes. Cette façon de procéder nous permet de pallier à l'absence d'outils d'analyse pour nos modèles. Par la suite, nous appliquons ces concepts théoriques aux réseaux de capteurs sans fil mobiles. / We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques. We model these systems using a high-level formalism derived from the π-calculus, for considering stochastic, timed, deterministic or indeterministic behaviors. However, in the π-calculus, the basic communication primitive of systems is the synchronous point-to-point communication. However, mobile systems that use wireless networks, mostly communicate by local broadcast. Therefore, we first define the broadcast communication into the π-calculus, to better model the systems we study. We propose to use probabilistic and stochastic versions of the algebra we have defined to allow performance studies. We define a temporal version to consider time in the models. But the lack of tools for analyzing properties of models specified with π-calculus is a major obstacle to our work and its objectives. The definition of translation rules into the PRISM language allows us to translate our models in low-level models which can support model checking, namely discrete time, or continuous time Markov chains, timed automata, or probabilistic timed automata. We chose the PRISM model checker because, in our best knowledge, in its latest version, it is the only tool that supports the low-level formalisms that we have previously cited, and thus, makes it possible to realize complete performability studies. This approach allows us to overcome the lack of model checkers for our models. Subsequently, we apply these theoretical concepts to analyse performability of mobile wireless sensor networks.

Ce mémoire étudie deux familles de fonctions orthogonales, soit les fonctions d'orbite de Weyl et les fonctions d'orbite de Hartley. Chacune de ces familles est associée à une algèbre de Lie simple et cette recherche se limite aux algèbres A₂, C₂ et G₂ de rang 2. Les fonctions d'orbite de Weyl ont été largement étudiées depuis des années en raison de leurs propriétés exceptionnelles. Nouvellement, elles ont été utilisées pour générer des polynômes de Chebyshev généralisés et calculer les fonctions génératrices de ces polynômes pour les algèbres de Lie simples de rang 2. Les fonctions d'orbite de Hartley, quant à elles, ont été récemment introduites par Hrivnák et Juránek et l'étude de ces dernières ne fait que débuter. L'objectif de ce mémoire est de définir des polynômes de Chebyshev généralisés associés aux fonctions de Hartley et de calculer les fonctions génératrices de ceux-ci pour les algèbres A₂, C₂ et G₂. Le premier chapitre introduit les systèmes de racines et le groupe de Weyl, original et affine, ainsi que leurs domaines fondamentaux, afin que le lecteur ait les notations et définitions pour comprendre les chapitres suivants. Le deuxième chapitre présente et étudie les fonctions de Weyl. Il définit également leurs polynômes de Chebyshev généralisés et se termine en présentant les différentes fonctions génératrices de ces polynômes pour les algèbres de Lie simples de rang 2. Finalement, le troisième chapitre contient les résultats originaux; il expose les fonctions de Hartley et certaines de leurs propriétés. Il définit les polynômes de Chebyshev généralisés de celles-ci et énonce également leurs relations d'orthogonalité discrète. Il conclut en calculant les fonctions génératrices de ces polynômes pour les algèbres A₂, C₂ et G₂. / This master's thesis studies two families of orthogonal functions, the Weyl orbit functions and the Hartley orbit functions. Each of these families is associated to a simple Lie algebra and the present work is limited to the algebras A₂, C₂ and G₂ of rank 2. Weyl orbit functions have been widely studied for years because of their exceptional properties. Recently, these properties have been used to generate generalized Chebyshev polynomials and to compute the generating functions of these polynomials for the simple Lie algebras of rank 2. Hartley orbit functions, on the other hand, were recently introduced by Hrivnák and Juránek and the study of the latter has only begun. The objective of this thesis is to define the generalized Chebyshev polynomials of Hartley orbit functions and to compute their generating functions for the algebras A₂, C₂ and G₂. The first chapter introduces root systems and the Weyl group, original and affine, and their fundamental domains, so that the reader has the notations and definitions at hand to read the following chapters. The second chapter introduces and studies Weyl orbit functions. It also defines their generalized Chebyshev polynomials and ends by presenting the different generating functions of these polynomials for simple Lie algebras of rank 2. Finally, the third chapter contains the original contribution; it presents the Hartley functions and some of their properties. It defines the generalized Chebyshev polynomials of these and also states their discrete orthogonality relations. It concludes by computing the generating functions of these polynomials for the algebras A₂, C₂ and G₂.