Après avoir rappelé la définition et quelques propriétés des pseudogroupes de Lie, on définit les structures infinitésimales régulières. On peut toujours associer des connexions affines à de telles structures ; courbure et torsion de ces connexions. Équivalence locale de deux structures infinitésimales. Application à l'étude des structures presque complexes, presque paracomplexes, presque symplectiques, presque hermitiennes, presque parahermitiennes, presque quaternioniennes, presque quaternioniennes de deuxième espèce.

Un algorithme permettant de discrétiser les équations aux dérivées partielles (EDP) tout en préservant leurs symétries de Lie est élaboré. Ceci est rendu possible grâce à l'utilisation de dérivées partielles discrètes se transformant comme les dérivées partielles continues sous l'action de groupes de Lie locaux. Dans les applications, beaucoup d'EDP sont invariantes sous l'action de transformations ponctuelles de Lie de dimension infinie qui font partie de ce que l'on désigne comme des pseudo-groupes de Lie. Afin d'étendre la méthode de discrétisation préservant les symétries à ces équations, une discrétisation des pseudo-groupes est proposée. Cette discrétisation a pour effet de transformer les symétries ponctuelles en symétries généralisées dans l'espace discret. Des schémas invariants sont ensuite créés pour un certain nombre d'EDP. Dans tous les cas, des tests numériques montrent que les schémas invariants approximent mieux leur équivalent continu que les différences finies standard. / An algorithm discretizing partial differential equations (PDEs) while preserving their Lie symmetries is provided. This is made possible by the use of discrete partial derivatives transforming as their continuous counterparts under the action of local Lie groups. In applications, many PDEs are invariant under the action of Lie point symmetries of infinite dimension designated as Lie pseudo-groups. To extend the invariant discretization method to such equations, a discretization of pseudo-groups is proposed. The pseudo-group action discretization transforms the continuous point symmetries into generalized symmetries in the discrete space. Invariant schemes are then created for a number of PDEs. In all cases, numerical tests demonstrate that invariant schemes are better approximations of their continuous equivalents than standard finite differences.