Dans cette thèse, on introduit la notion de revêtement potentiellement inséparable et on se propose de développer une théorie de la ramification pour ces derniers. Le langage utilisé est celui des schémas en groupoïdes. Après avoir établi quelques résultats préliminaires au chapitre 1, on prouve au chapitre 2 un théorème de quotient d'un schéma en groupoïdes par un sous-groupoïde. Au chapitre 3, on utilise ces résultats pour entreprendre l'étude générale du formalisme des revêtements inséparables. Enfin, au chapitre 4, on spécialise au cas des revêtements sous un schéma en groupes diagonalisable et on étudie en détail la structure de ces derniers. En particulier, on exprime le lieu Gorenstein de ces morphismes en fonction des constantes de structure du revêtement et on prouve dans ce cadre une formule analogue à la formule de Riemann-Hurwitz des revêtements ramifiés classiques. / In this thesis, we introduce the notion of inseparable coverings and we try to develop a ramification theory for such objects. We make use of the groupoid scheme formalism. In section 1, we establish preliminary results on scheme epimorphisms. We use these results in the next section to prove a quotient theorem for groupoid schemes.Then in section 3 we introduce the general formalism of inseparable coverings.Finally, in the last section we consider in greater details inseparable coverings given by the action of a diagonalizable group scheme. We compute the Gorenstein locus of these morphisms and we prove a formula analogous to the classical Riemann-Hurwitz formula.

Cette thèse s'appuie sur et reflète l'interaction entre la théorie des modèles et la géométrie de Berkovich. En utilisant les méthodes de Hrushovski et Loeser, nous montrerons que plusieurs phénomènes topologiques concernant des analytifications de variétés sont contrôlés par certains complexes simpliciaux contenus dans les analytifications. Ce travail comporte les résultats suivants. Soit $k$ un corps algébriquement clos et complet pour une valuation non-archimédienne non-triviale à valeurs réelles. 1) Soit $\phi : C' \to C$ un morphisme fini entre deux courbes projectives, lisses et irréductibles. Le morphisme $\phi$ induit un morphisme $\phi^{an} : C'^{an} \to C^{an}$ entre les deux analytifications. Nous construisons une paire de rétractions par déformations qui sont compatible pour le morphisme $\phi^{an}$. Les images des déformations $\Upsilon_{C'^{an}}$, $\Upsilon_{C^{an}$ sont des sous-espaces fermés de $C'^{an}$ and $C^{an}$ et homéomorphes à des graphes finis. Ce type de sous-espace est appelé \emph{squelette}. En outre, les espaces analytiques $C'^{an} \smallsetminus \Upsilon_{C'^{an}}$ et $C^{an} \smallsetminus \Upsilon_{C^{an}}$ se décomposent en une union disjointe de copies de disques unités de Berkovich. Un squelette $\Upsilon \subset C^{an}$ peut-être décomposé en un ensemble des sommets et un ensemble d'arêtes et on peut définir son genre $g(\Upsilon)$.Nous montrons que $g(\Upsilon)$ est un invariant bien défini de la courbe $C$. On appelle cet invariant $g^{an}(C)$. Le morphisme $\phi^{an}$ induira un morphisme $\Upsilon_{C'^{an}} \to \Upsilon_{C^{an}}$ entre les deux squelettes. Nous montrons que le genre du squelette $\Upsilon_{C'^{an}}$ peut être calculé en utilisant certains invariants associés aux points de $\Upsilon_{C^{an}}$. 2) Soit $\phi$ un endomorphisme fini de $\mathbb{P}^1_k$. Soit $x \in \mathbb{P}^1_k(k)$ et $f(x)$ le rayon de la plus grande boule de Berkovich de centre $x$, sur laquelle le morphisme $\phi^{an}$ est une fibration topologique. Nous voyons que la fonction $f : \mathbb{P}_k^1(k) \to \mathbb{R}_{\geq 0}$ est contrôlée par un graphe fini et non-vide contenu dans $\mathbb{P}^{1,an}_k$. Nous montrons que ce résultat peut être généralisé au cas d'un morphisme fini $\phi : V' \to V$ entre deux variétés intégrales, projectives avec $V$ normale. / This thesis is a reflection of the interaction between Berkovich geometry and model theory. Using the results of Hrushovski and Loeser, we show that several interesting topological phenomena that concern the analytifications of varieties are governed by certain finite simplicial complexes embedded in them. Our work consists of the following two sets of results. Let k be an algebraically closed non-Archimedean non trivially real valued field which is complete with respect to its valuation. 1) Let $\phi : C' \to C$ be a finite morphism between smooth projective irreducible $k$-curves.The morphism $\phi$ induces a morphism $\phi^{an} : C'^{an} \to C^{an}$ between the Berkovich analytifications of the curves. We construct a pair of deformation retractions of $C'^{an}$ and $C^{an}$ which are compatible with the morphism $\phi^{\mathrm{an}}$ andwhose images $\Upsilon_{C'^{an}}$, $\Upsilon_{C^{an}}$ are closed subspaces of $C'^{an}$, $C^{an}$ that are homeomorphic to finite metric graphs. We refer to such closed subspaces as skeleta.In addition, the subspaces $\Upsilon_{C'^{an}}$ and $\Upsilon_{C^{an}}$ are such that their complements in their respective analytifications decompose into the disjoint union of isomorphic copies of Berkovich open balls. The skeleta can be seen as the union of vertices and edges, thus allowing us to define their genus. The genus of a skeleton in a curve $C$ is in fact an invariant of the curve which we call $g^{an}(C)$. The pair of compatible deformation retractions forces the morphism $\phi^{an}$ to restrict to a map $\Upsilon_{C'^{an}} \to \Upsilon_{C^{an}}$. We study how the genus of $\Upsilon_{C'^{an}}$ can be calculated using the morphism $\phi^{an}_{|\Upsilon_{C'^{an}}$ and invariants defined on $\Upsilon_{C^{an}}$. 2) Let $\phi$ be a finite endomorphism of $\mathbb{P}^1_k$. Given a closed point $x \in \mathbb{P}^1_k$, we are interested in the radius $f(x)$ of the largest Berkovich open ball centered at $x$ over which the morphism $\phi^{\mathrm{an}}$ is a topological fibration. Interestingly, the function $f : \mathbb{P}_k^1(k) \to \mathbb{R}_{\geq 0}$ admits a strong tameness property in that it is controlled by a non-empty finite graph contained in $\mathbb{P}^{1,an}_k$. We show that this result can be generalized to the case of finite morphisms $\phi : V' \to V$ between integral projective $k$-varieties where $V$ is normal.