L’objectif de ce travail est l’étude de l’opérade Swiss-Cheese SCd qui est une version relative del’opérade des petits cubes Cd. On montre que les théorèmes classiques dans le cadre des opérades non colorées admettent des analogues dans le cas relatif. Il est ainsi possible d’extraire d’une opérade pointée O (i.e. un opérade colorée sous π₀(SC₁) ) un couple d’espaces semi-cosimpliciaux (Oc ; O₀) dont les semitotalisations sont faiblement équivalentes à une SC₂-algèbre explicite. En particulier, on prouve que le couple (ℒ1 ; n ; ℒm ; n), composé de l’espace des longs nœuds et de l’espace des longs entrelacs à m brins, est faiblement équivalent à une SC₂-algèbre explicite. Dans un second temps, on s’intéresse aux couples d’homologies singulières et d’homologies de Hochschild associés à une paire d’espaces semi-cosimpliciaux provenant d’une opérade pointée. Dans ce contexte, les couples (H∗ (sTot(Oc)) ; H∗ (sTot(O₀))) et (HH∗(Oc) ; HH∗(O₀)) possèdent tous deux une structure de H∗(SC₂)-algèbre explicite. On montre alors que le morphisme de Bousfield entre ces deux couples préserve les structures de H∗(SC₂)-algèbres. Cela nous permet de mieux appréhender le couple de suites spectrales de Bousfield calculant (H∗(sTot(Oc)) ; H∗(sTot(O₀))). En particulier, on énonce un critère permettant de faire le lien entre le couple d’homologies singulières issu d’une opérade symétrique multiplicative topologique et la page E² des suites spectrales de Bousfield. La dernière étape de notre étude consiste à généraliser les précédents résultats. Pour cela, on se base sur une conjecture de Dwyer et Hess qui vise à identifier une Cd₊₁-algèbre à partir d’un morphisme d’opérades Cd → O. En admettant ce résultat, on introduit une opérade colorée CCd telle que l’on peut extraire une SCd₊₁-algèbre à partir d’un morphisme d’opérades colorées CCd→ O. On montre ainsi que le couple d’espaces (ℒᵈ₁ ; n ; T∞Imm(ᴷ))(Rᵈ ; Rⁿ), composé de l’espace des longs nœuds en dimension d et de l’approximation polynomiale des (k)-immersions, est faiblement équivalent à une SCd₊₁-algèbre explicite. / The aim of this work is to study the Swiss-Cheese operad, denoted by SCd, which is a relative version of the little cubes operad Cd.We show that the classical theorems in the context of uncolored operads can begeneralized to the relative case. From a pointed operad O (i.e. a two colored operad under π0(SC₁) ), webuild two semi-cosimplicial spaces (Oc ; Oo) such that the pair of semi-totalizations is weakly equivalentto an explicit SC₂-algebra. In particular, we prove that the pair (ℒ₁ ; n ; ℒm; n), composed of the space oflong knots and the space of long links, is weakly equivalent to an explicit SC₂-algebra.We study two homology theories, namely singular and Hochschild homology, of a pair of semicosimplicialspaces arising from a pointed operad. In this context, (H∗(sTot(Oc)) ; H∗(sTot(Oo))) and (HH∗(Oc) ; HH∗(Oo)) are equipped with an explicit H∗(SC₂)-algebra structure. We show that the mapintroduced by Bousfield between these two pairs is a morphism of H∗(SC₂)-algebras. This result helps us to understand the pair of spectral sequences computing (H∗(sTot(Oc)) ; H∗(sTot(Oo))). In particular wegive some conditions on a multiplicative symmetric operad so that the E² pages of the Bousfield spectral sequences are weakly equivalent to H∗(sTot(Oc)) and H∗(sTot(Oo)) as H∗(SC₂)-algebras. Finally we generalize our previous results, relying on a conjecture by Dwyer and Hess. We define acolored operad CCd and obtain an SCd₊₁-algebra from an operad morphism CCd → O. As a consequence, we prove that the couple of topological spaces (ℒᵈ₁ ; n ; T∞Imm(ᴷ))(Rᵈ ; Rⁿ)), where Ld₁;n is the space of long knots from Rd to Rⁿ and where T∞Imm(k)(Rᵈ ; Rⁿ) is the polynomial approximation of the (k)-immersions,is weakly equivalent to an explicit SCd+₁-algebra.

Cette thèse est consacrée à l'étude des interactions entre les structures homotopiques en théorie des catégories et les modèles catégoriques de la théorie des types de Martin-Löf. Le mémoire s'articule selon trois axes: les bifibrationos de Quillen, les catégories homotopiques des bifibrations de Quillen, et les tribus généralisées. Le premier axe définit une nouvelle notion de bifibration classifiant les pseudo foncteurs avec de bonnes propriétés depuis un catégorie de modèles et à valeurs dans la 2-catégorie des catégories de modèles et adjonctions de Quillen entre elles. En particulier on montre comment équipper d'une structure de modèle la construction de Grothendieck d'un tel pseudo foncteur. Le théorème principal de cette partie est une caractérisation des bonnes propriétés qu'un pseudo foncteur doit posséder pour supporter cette structure de catégorie de modèles sur sa construction de Grothendieck. En ce sens, on améliore les deux théorèmes précédemment existants dans la littérature qui ne donnent que des conditions suffisantes alors que nous donnons des conditions nécessaires et suffisantes. Le second axe se concentre sur le foncteur induit entre les catégories homotopiques des catégories de modèles mises en oeuvre dans une bifibration de Quillen. On y prouve que cette localization peut se faire en deux étapes au moyen d'un quotient homotopique à la Quillen itéré. De manière à rendre cette opération rigoureuse, on a besoin de travailler dans un cadre légèrement plus large que celui imaginé par Quillen : en se basant sur le travail d'Egger, on utilise des catégories de modèles sans nécessairement tous les (co)égalisateurs. Le chapitre de prérequis sert précisément à reconstruire la théorie basique des l'algèbre homotopique à la Quillen dans ce cadre élargi. Les structures mis à nu dans cette partie imposent de considérer des versions "homotopique" des poussés en avant et des tirés en arrière qu'on trouve habituellement dans les (op)fibrations de Grothendieck. C'est le point de départ pour le troisième axe, dans lequel on définit une nouvelle structure, appelée tribu relative, qui permet d'axiomatiser des versions homotopiques de la notion de flèche cartésienne et cocartésienne. Cela est obtenu en réinterprétant les (op)fibrations de Grothendieck en termes de problèmes de relèvement. L'outil principal dans cette partie est une version relative des systèmes de factorisation stricts ou faibles usuels. Cela nous permet en particulier d'expérimenter un nouveau demodèle de la théorie des types dépendants intentionnelle dans lequelles types identités sont donnés par l'exact analogue homotopique du prédicat d'égalité dans les hyperdoctrines de Lawvere. / This thesis is concerned with the study of the interplay between homotopical structures and categorical model of Martin-Löf's dependent type theory. The memoir revolves around three big topics: Quillen bifibrations, homotopy categories of Quillen bifibrations, and generalized tribes. The first axis defines a new notion of bifibrations, that classifies correctly behaved pseudo functors from a model category to the 2-category of model categories and Quillen adjunctions between them. In particular it endows the Grothendieck construction of such a pseudo functor with a model structure. The main theorem of this section acts as a charaterization of the well-behaved pseudo functors that tolerates this "model Gothendieck construction". In that respect, we improve the two previously known theorems on the subject in the litterature that only give sufficient conditions by designing necessary and sufficient conditions. The second axis deals with the functors induced between the homotopy categories of the model categories involved in a Quillen bifibration. We prove that this localization can be performed in two steps, by means of Quillen's construction of the homotopy category in an iterated fashion. To that extent we need a slightly larger framework for model categories than the one originally given by Quillen: following Egger's intuitions we chose not to require the existence of equalizers and coequalizers in our model categories. The background chapter makes sure that every usual fact of basichomotopical algebra holds also in that more general framework. The structures that are highlighted in that chapter call for the design of notions of "homotopical pushforward" and "homotopical pullback". This is achieved by the last axis: we design a structure, called relative tribe, that allows for a homotopical version of cocartesian morphisms by reinterpreting Grothendieck (op)fibrations in terms of lifting problems. The crucial tool in this last chapter is given by a relative version of orthogonal and weak factorization systems. This allows for a tentative design of a new model of intentional type theory where the identity types are given by the exact homotopical counterpart of the usual definition of the equality predicate in Lawvere's hyperdoctrines