Les tuiles sont des structures finies, linéaires ou arborescentes, possédantune notion de chevauchement. Elles sont utiles en informatique pourreprésenter des objets musicaux, comme étudié par Janin [2016]. Nous étudieronsles ensembles de tuiles, en particulier comme représentations d’objetsalgébriques, en se basant sur la théorie des semigroupes inversifs.Nos principaux objets d’étude seront les langages de tuiles, et les reconnaisseursappropriés, que l’on peut définir en adaptant aux tuiles des notionsbien connues sur les langages de mots. Nous nous intéresserons à la reconnaissancepar automate, en présentant des automates sur les tuiles linéaires etarborescentes. Nous remarquerons les limites de la puissance de tels automates.Tandis que la notion de reconnaissance par morphisme de monoïdes estinadaptée aux langages de tuiles, nous définirons celle de reconnaissabilité parprémorphisme, ou quasi-reconnaissabilité. Nous étudierons les liens entre quasireconnaissabilitéet reconnaissabilité par automate de tuile.Nous explorerons enfin les propriétés de clôtures de l’ensemble de langagesde tuiles reconnus par automate, et de ceux reconnus par prémorphisme. Ladernière partie sera essentiellement consacrée aux tuiles linéaires, et présenterale monoïde des décompositions restreintes, un outil pour le produit de langagesde tuiles linéaires. / Tiles are finite, linear or tree-like structures, with a notion of overlapping.In computer science, they offer a useful way to represent musical objects,as studied by Janin [2016]. We will study the sets of tiles, especially asrepresentations of algebraic objects, based on the theory of inverse semigroups.Our main focus will be languages of tiles, and the appropriate recognizers,than can be defined by the adaptation to tiles of well-known notions over languagesof words. We will look into the recognition by automata, by presentingautomata over linear and tree-like tiles. We will remark the limits of the powerof such automata.While the notion of recognizability by morphisms is unsuitable to languagesof tiles, we will define recognizability by premorphisms, or quasi-recognizability.We will study the links between quasi-recognizability and recognizability bytile automata.We will finally look into the closure properties of the set of tile languages recognizedby automata, and of the set of quasi-recognizable languages. The lastpart will be dedicated to linear tiles, and will present the monoid of restricteddecompositions, a tool for the product of linear tile languages.

Nous construisons un foncteur de la catégorie des variétés sur un corps ou un anneau topologique K, de caractéristique arbitraire, dans la catégorie des variétés sur A, où A est une algèbre de Weil, c'est-à-dire une K-algèbre de la forme A = K + N, où N est un idéal nilpotent. Le foncteur correspondant, noté T^A, et appelé foncteur de Weil, peut être interprété comme un foncteur d'extension scalaire de K à A. Il est construit à l'aide des polynômes de Taylor, dont nous donnons une définition en caractéristique quelconque. Ce résultat généralise à la fois des résultats connus pour les variétés réelles ordinaires, et les résultats obtenus dans le cas des foncteurs tangents itérés et dans le cas des anneaux de jets (A = K[X]/(X^{k+1})). Nous montrons que pour toute variété M, T^A M possède une structure de fibré polynomial sur M, et nous considérons certains aspects algébriques des foncteurs de Weil, notamment ceux liés à l'action du « groupe de Galois » Aut_K(A). Nous étudions les connexions, qui sont un outil important d'analyse des fibrés, dans deux contextes différents : d'une part sur les fibrés T^A M, et d?autre part sur des fibrés généraux sur M, en suivant l'approche d'Ehresmann. Les opérateurs de courbure d'une connexion sont induits par l'action du groupe de Galois Aut_K(A) et ils forment une obstruction à l'« intégrabilité » d'une connexion K-lisse en une connexion A-lisse / We construct a functor from the category of manifolds over a general topological base field or ring K, of arbitrary characteristic, to the category of manifolds over A, where A is a so-called Weil algebra, i.e. a K-algebra of the form A = K + N, where N is a nilpotent ideal. The corresponding functor, denoted by T^A, and called a Weil functor, can be interpreted as a functor of scalar extension from K to A. It is constructed by using Taylor polynomials, which we define in arbitrary characteristic. This result generalizes simultaneously results known for ordinary, real manifolds, and results for iterated tangent functors and for jet rings (A = K[X]/(X^{k+1})). We show that for any manifold M, T^A M is a polynomial bundle over M, and we investigate some algebraic aspects of the Weil functors, in particular those related to the action of the "Galois group" Aut_K(A). We study connections, which are an important tool for the analysis of fiber bundles, in two different contexts : connections on the Weil bundles T^A M, and connections on general bundles over M, following Ehresmann's approach. The curvature operators are induced by the action of the Galois group Aut_K(A) and they form an obstruction to the "integrability" of a K-smooth connection to an A-smooth one