Les travaux présentés dans cette thèse portent sur l'étude de la robustesse de la conception de mécanismes. Ses principales contributions résident dans la détermination d'un indice de robustesse, le développement de deux méthodes d'analyse de sensibilité pour les manipulateurs d'architecture parallèle de type Delta-Linéaire, la formulation d'une procédure de synthèse de tolérances et l'étude de la robustesse d'une famille de manipulateurs d'architecture sérielle génériques et non-génériques<br />à trois degrés de liberté. Le mémoire est ainsi divisé en quatre chapitres. Le premier chapitre est consacré à une énumération des propriétés générales des mécanismes étudiés, à une étude bibliographique de la conception robuste et à la formulation d'un problème de conception robuste. Le deuxième chapitre traite de l'analyse de sensibilité de l'Orthoglide, manipulateur d'architecture parallèle de type Delta-Linéaire à trois degrés de liberté de translation. L'étude permet de connaître la sensibilité<br />de la situation de l'effecteur du manipulateur aux variations de ses paramètres géométriques et de repérer les configurations pour lesquelles cette sensibilité est minimale et maximale. Le troisième chapitre présente un indice de robustesse optimal pour<br />les mécanismes étudiés et une procédure de synthèse de tolérances dimensionnelles décomposée en deux étapes séquentielles. Par ailleurs, ils sont illustrés par plusieurs études de cas, notamment un amortisseur et un manipulateur d'architecture parallèle. Finalement, le quatrième chapitre décrit une étude de la robustesse d'une famille de manipulateurs d'architecture sérielle à trois degrés de liberté. Cette étude vise à identifier les corrélations entre les notions de robustesse et de généricité.<br />A cet effet, différentes notions de la robotique sont exploitées, telles que la parcourabilité, la précision et la dextérité d'un manipulateur. Il s'avère que la généricité d'un manipulateur n'a pas d'influence sur ses performances cinématiques, ni sur la sensibilité de la position de son effecteur aux variations de ses paramètres géométriques.

La dynamique d'un difféomorphisme d'une variété compacte est essentiellement concentrée sur l'ensemble récurrent par chaînes, qui est partitionné en classes de récurrence par chaînes, disjointes et indécomposables. Le travail de Bonatti et Crovisier [BC] montre que, pour les difféomorphismes C¹-génériques, une classe de récurrence par chaînes ou bien est une classe homocline, ou bien ne contient pas de point périodique. Une classe de récurrence par chaînes sans point périodique est appelée classe apériodique.Il est clair qu'une classe homocline hyperbolique ni contient d'orbite périodique faible ni supporte de mesure non hyperbolique.Cette thèse tente de donner une caractérisation des classes homoclines non hyperboliques en montrant qu'elles contiennent des orbites périodiques faibles ou des mesures ergodiques non hyperboliques. Cette thèse décrit également les décompositions dominées sur les classes apériodiques.Le premier résultat de cette thèse montre que, pour les difféomorphismes C¹-génériques, si les orbites périodiques contenues dans une classe homocline H(p) ont tous leurs exposants de Lyapunov bornés loin de zéro, alors H(p) doit être (uniformément) hyperbolique. Ceci est dans l'esprit des travaux sur la conjecture de stabilité, mais il y a une différence importante lorsque la classe homocline H(p) n'est pas isolée. Par conséquent, nous devons garantir que des orbites périodiques "faibles'', crées par perturbations au voisinage de la classe homocline, sont contenues dans la classe. En ce sens, le problème est de nature "intrinsèque'', et l'argument classique de la conjecture de stabilité est impraticable.Le deuxième résultat de cette thèse prouve une conjecture de Díaz et Gorodetski [DG]: pour les difféomorphismes C¹-génériques, si une classe homocline n'est pas hyperbolique, alors elle porte une mesure ergodique non hyperbolique. C'est un travail en collaboration avec C. Cheng, S. Crovisier, S. Gan et D. Yang. Dans la démonstration, nous devons appliquer une technique introduité dans [DG], et qui améliore la méthode de [GIKN], pour obtenir une mesure ergodique comme limite d'une suite de mesures périodiques.Le troisième résultat de cette thèse énonce que, génériquement, une décomposition dominée non-triviale sur une classe apériodique stable au sens de Lyapunov est en fait une décomposition partiellement hyperbolique. Plus précisément, pour les difféomorphismes C¹-génériques, si une classe apériodique stable au sens de Lyapunov a une décomposition dominée non-triviale Eoplus F, alors, l'un des deux fibrés est hyperbolique: soit E contracté, soit F dilaté.Dans les démonstrations des résultats principaux, nous construisons des perturbations qui ne sont pas obtenues directement à partir des lemmes de connexion classiques. En fait, il faut appliquer le lemme de connexion un grand nombre (et même un nombre infini) de fois. Nous expliquons les méthodes de connexions multiples dans le Chapitre 3. / The dynamics of a diffeomorphism of a compact manifold concentrates essentially on the chain recurrent set, which splits into disjoint indecomposable chain recurrence classes. By the work of Bonatti and Crovisier [BC], for C¹-generic diffeomorphisms, a chain recurrence class either is a homoclinic class or contains no periodic point. A chain recurrence class without a periodic point is called an aperiodic class.Obviously, a hyperbolic homoclinic class can neither contain weak periodic orbit or support non-hyperbolic ergodic measure.This thesis attempts to give a characterization of non-hyperbolic homoclinic classes via weak periodic orbits inside or non-hyperbolic ergodic measures supported on it. Also, this thesis gives a description of the dominated splitting on Lyapunov stable aperiodic classes.The first result of this thesis shows that for C¹-generic diffeomorphisms, if the periodic orbits contained in a homoclinic class H(p) have all their Lyapunov exponents bounded away from 0, then H(p) must be (uniformly) hyperbolic. This is in spirit of the works of the stability conjecture, but with a significant difference that the homoclinic class H(p) is not known isolated in advance. Hence the "weak'' periodic orbits created by perturbations near the homoclinic class have to be guaranteed strictly inside the homoclinic class. In this sense the problem is of an "intrinsic" nature, and the classical argument of the stability conjecture does not pass through.The second result of this thesis proves a conjecture by Díaz and Gorodetski [DG]: for C¹-generic diffeomorphisms, if a homoclinic class is not hyperbolic, then there is a non-hyperbolic ergodic measure supported on it. This is a joint work with C. Cheng, S. Crovisier, S. Gan and D. Yang. In the proof, we have to use a technic introduced in [DG], which developed the method of [GIKN], to get an ergodic measure by taking the limit of a sequence of periodic measures.The third result of this thesis states that, generically, a non-trivial dominated splitting over a Lyapunov stable aperiodic class is in fact a partially hyperbolic splitting. To be precise, for C¹-generic diffeomorphisms, if a Lyapunov stable aperiodic class admits a non-trivial dominated splitting Eoplus F, then one of the two bundles is hyperbolic: either E is contracted or F is expanded.In the proofs of the main results, we construct several perturbations which are not simple applications of the connecting lemmas. In fact, one has to apply the connecting lemma several (even infinitely many) times. We will give the detailed explanations of the multi-connecting processes in Chapter 3.

This study examines how the French bestselling detective novel Total Khéops (1995) by Jean-Claude Izzo relates to three literary sub-genres of detective fiction to which it mainly has been associated since it first was published: roman noir français (French roman noir), polar marseillais and Mediterranean noir. By assembling the most significant criterions of these sub-genres and analyzing their presence in Total Khéops, or its architextuality within the crime novel, this approach aims to reveal in what sub-genre this novel mainly should be categorized. The results of the study show that Total Khéops exhibits central features of all the three sub-genres, but as the findings overlap, and that several characteristic traits are possible to associate with more than one of these categories, it’s difficult to judge to which sub-genre this novel mainly belongs. However, the study indicates that the focus on the elements of place and local culture of the city of Marseille in Total Khéops sets a new standard in the way the polar marseillais was to develop to a proper sub-genre in the late 1990s: these features are to be considered as new in the domain of French crime fiction.

La figure de l’épouse fait partie intégrante du genre épique, dont les œuvres homériques ont élaboré le modèle pour la littérature gréco-romaine. L’importance accordée à l’eros féminin, et particulièrement conjugal, est l’un des aspects sur lesquels repose l’évolution de la généricité épique, d’œuvre en œuvre. À l’époque flavienne, Valérius Flaccus et Stace confèrent un rôle déterminant à deux figures féminines, celle de Médée dans les Argonautiques et celle d’Argie dans la Thébaïde, et présentent, tous deux, d’autres facettes de l’eros conjugal dans leur épisode lemnien, dont Hypsipyle est l’héroïne centrale. Cette présence accentuée du féminin peut être rapprochée de la réflexion contemporaine sur l’éthique conjugale menée dans le domaine philosophique, notamment par Musonius Rufus. Sur le plan littéraire, dans le contexte de la latinité d’argent, elle manifeste un questionnement des normes du genre, qui se traduit par une représentation de l’épouse selon des modèles autres qu’épiques : celui du genre tragique et de l’élégie romaine, particulièrement des Héroïdes d’Ovide. À la confluence de trois traditions littéraires, épique, tragique et élégiaque, le rôle des figures féminines témoigne d’un renouvellement de l’épopée, dont l’élaboration de critères d’analyse portant sur les notions de genre, de généricité et d’intergénéricité permet de donner l’entière mesure. / The character of the wife is a central feature of the epic genre, for which Homer's poems stand as a model in Greek and Latin literature. The major role the feminine eros, especially towards a husband, plays in those works is one of the aspects on which the evolution of epic genericity relies, evolving from one poem to another. During the Flavian Age, Valerius Flaccus and Statius gave two feminine characters a major part in their poems : one is Medea in The Argonautics, the other Argia in Statius' Thebaid. Besides, both poets also illustrate other aspects of husband and wife eros in the Lemnian episode, which stages Hypsipyle as its heroine. From a philosophical point of view, we can see how this emphasized presence of feminine characters matches contemporary philosophers' theories on ethics within marriage, such as Musonius Rufus' thoughts. From the point de view of literature however, considering its setting in the Age of Silver latinity, we can consider this presence as a questioning of epic generic codes, which shows in the way wives are represented, according to the patterns of tragedy and of the Roman elegy, particularly of Ovid's Heroids. Therefore in the wake of three literary traditions - epic, tragedy, elegy -, the role of feminine characters shows the renewal of the epic, which we can fully study by creating criteria of analysis bearing on the notions of genre, genericity and intergenericity.

Cette thèse se consacre à l'étude de théorèmes limites pour des suites de variables aléatoires stationnaires (en particulier issues d'un système dynamique). Nous nous concentrons sur deux résultats importants, notamment par leurs applications en statistiques. Nous étudions tout d'abord le comportement limite des sommes de variables aléatoires, plus précisément le théorème limite central et son principe d'invariance. Ensuite nous considérons le principe d'invariance pour les processus empiriques.<br />Dans le cadre du principe d'invariance faible de Donsker, plusieurs résultats s'obtiennent au travers d'approximations par des martingales et plus généralement par des critères projectifs. Nous comparons quatre de ces critères et montrons leur indépendance mutuelle. Les critères étudiés sont la décomposition martingale-cobord (Gordin, 1969), la condition de Hannan (1979), le critère de Dedecker et Rio (2000) et<br />la condition de Maxwell et Woodroofe (2000).<br />En ce qui concerne le comportement asymptotique des processus empiriques, nous établissons un principe d'invariance dans le cas des automorphismes du tore. Cela permet de sortir du cadre hyperbolique connu et d'obtenir un premier résultat pour une transformation partiellement hyperbolique.<br />Nous proposons également une nouvelle approche, basée sur des méthodes d'opérateurs, permettant d'établir un principe d'invariance empirique. Cette méthode s'applique en particulier aux cas où l'on a de bonnes propriétés pour une classe de fonctions ne contenant pas les fonctions indicatrices. C'est en particulier le cas de certains systèmes dynamiques dont l'opérateur de transfert admet un trou spectral.<br />En dernier lieu, suivant une question de Burton et Denker (1987), nous nous intéressons à la classe des processus pour lesquels le théorème limite central a lieu. En référence au cadre des processus empiriques, nous étudions en particulier les suites de sommes partielles des itérées d'une fonction indicatrice.

Nos recherches s'inscrivent dans le domaine des EIAH (Environnements Informatiques pour l'Apprentissage Humain). Nous considérons ici les EIAH au sens large : s'ils concernent principalement les environnements informatiques explicitement destinés à favoriser l'apprentissage humain, nous revendiquons que les systèmes s'adressant aux enseignants pour les aider dans leur tâche d'enseignement relèvent également des EIAH. Au sein de ce domaine pluridisciplinaire, nos contributions se situent en informatique, avec une démarche proche de celle proposée par l'ingénierie dirigée par les modèles, même si nos recherches sont enrichies par l'apport d'autres disciplines. Le cœur de nos travaux concerne l'ingénierie des profils d'apprenants, que nous abordons sous l'angle de la réutilisation de profils d'apprenants pour les exploiter dans une optique de personnalisation, en cherchant à adopter une approche unifiée. Plus précisément, nous cherchons à trouver les moyens de permettre à des acteurs, éventuellement différents de leurs créateurs, de réutiliser des profils d'apprenants dans le but de proposer des exploitations mutualisées des profils à travers des activités personnalisées, adaptées aux besoins des enseignants, dans une démarche générique permettant de considérer différents niveaux scolaires et universitaires, ainsi que les disciplines les plus variées. Nous avons abordé cette problématique en proposant des méta-modèles, modèles et processus qui traitent la plupart des étapes du cycle de vie des profils d'apprenants que nous avons spécifié. Nous avons mis en œuvre ces différents modèles théoriques de façon opérationnelle dans des outils unifiés, qui, malgré la généricité de l'approche, prennent en compte les spécificités des apprenants d'une part et des différents utilisateurs d'autre part. Nous avons également explicité comment se fait cette articulation entre généricité des modèles et spécificités des besoins. Pour permettre aux différents acteurs de l'apprentissage de gérer les profils d'apprenants existants dans toute leur diversité, nous avons proposé et opérationnalisé le langage de modélisation de profils PMDLe, ainsi que plusieurs extensions (sPMDLe, pPMDLe, cPMDLe, vPMDLe, rPMDLe) qui l'étendent en permettant diverses actions sur les profils respectant ce langage (transformations de profils, définition de contraintes sur profils PMDLe, de vues sur profils, de représentations d'éléments de profils). Afin d'identifier les activités permettant d'exploiter toute la richesse des profils d'apprenants, nous avons établi une typologie des activités sur les profils destinées tant aux apprenants qu'aux autres acteurs de l'apprentissage, une typologie des activités papier-crayon et une typologie des activités logicielles personnalisables. Nous avons également développé deux modules destinés à mettre en œuvre les activités identifiées dans ces typologies, l'un pour travailler sur les profils d'apprenants, et l'autre pour proposer des activités pédagogiques papier-crayon et logicielles personnalisées en fonction des profils d'apprenants. Pour personnaliser les activités proposées aux apprenants, à partir de leurs profils, tout en tenant compte des besoins des enseignants, nous avons défini et mis en œuvre deux modèles de personnalisation : PERSUA2 propose une personnalisation unifiée des activités pédagogiques et PERSUMAP propose une personnalisation unifiée multi-aspects des activités sur les profils d'apprenants. Nous pensons que l'ensemble de nos contributions, qui s'imbriquent les unes aux autres pour former un ensemble cohérent, constituent une avancée dans les recherches en EIAH, tant par les modèles et leurs mises en œuvre eux-mêmes, que par les concepts qu'ils sous-tendent qui peuvent être appliqués à d'autres contextes, voire à d'autres domaines.

Cette thèse concerne l'étude de différentes techniques modernes de génie logiciel qui peuvent être mises en ¦uvre pour développer des systèmes de Traitement Automatique des Langues Naturelles de façon générique et extensible. La première partie fait le point sur l'état de l'art en TALN à propos des Langages Spécialisés pour la Programmation Linguistique et permet d'identifier l'intégrabilité, l'extensibilité et la généricité comme trois qualités qu'il est souhaitable de fournir aux systèmes de TALN. La définition d'un modèle à objets (LEAF) et l'affinage d'un modèle d'architecture (tableau blanc) constituent deux premiers éléments de réponse au problème de l'intégration. Une première approche de la généricité et de l'extensibilité est également présentée avec une expérience de réingéniérie du langage LT. La seconde partie approfondit les problèmes de généricité et les illustre avec la définition d'un langage original de représentation linguistique (DECOR). L'introduction de protocoles internes et externes permet de rendre ce langage particulièrement générique et dynamique. La troisième partie fait état de la réingériérie de deux langages spécialisés (ATEF et ROBRA). Cette expérience permet d'introduire une grande extensibilité dans les moteurs de ces langages par une programmation par objets et protocoles. Une question transverse à ces trois parties concerne l'identification des limites et des écueils liés à la recherche de l'intégrabilité, de l'extensibilité et de la généricité. Ces difficultés viennent principalement de la complexité croissante des protocoles adéquats, dont la maîtrise pourrait rapidement échapper au développeur si l'on n'y prend garde.

Un réseau de cellules est un graphe orienté dont chaque sommet (aussi appelé cellule) représente un ensemble de variables et dont les arcs symbolisent les interactions entre ces variables. Les réseaux de cellules jouent un rôle important dans la modélisation de phénomènes neurologiques, de systèmes économiques ou biologiques, etc.. Soit G un graphe orienté possédant N sommets, on dit qu'une application f=(f_1,...,f_N) de X=X_1×...×X_N dans X (où X_j=R^dj) est admissible, si pour tout sommet j, f_j(x) dépend de x_i seulement si i->j est un arc de G. Dans cette thèse nous montrons que si G est fortement connecté et auto-dépendant, génériquement par rapport à f appartenant à l'ensemble des applications admissibles de classe C¹, le système dynamique engendré par l'équation différentielle x'(t)=f(x(t)) vérifie la propriété de Kupka-Smale, c'est-à-dire tous les éléments critiques (points d'équilibre et orbites périodiques) sont hyperboliques et les variétés stable et instable des éléments critiques s'intersectent transversalement. Ainsi, pour un ensemble dense d'applications admissibles, le système dynamique est au moins localement stable par perturbation (admissible ou non). Nous considérons également l'ensemble des applications « dissipatives » f de classe C¹ dont la différentielle Df(x) est une matrice de Jacobi cyclique positive en tout point x. De telles applications définissent un système coopératif. Nous montrons que le système dynamique engendré par l'équation x'(t)=f(x(t)) vérifie génériquement la propriété de Morse-Smale par rapport à de telles applications f, c'est-à-dire le système vérifie la propriété de Kupka-Smale, les éléments critiques sont en nombre fini et l'ensemble des points non-errants est égal à l'ensemble des éléments critiques. Cette propriété entraîne la stabilité structurelle du système dynamique. Finalement, dans cette thèse nous étudions aussi des réseaux de cellules satisfaisant des contraintes de symétrie locale. Pour de tels systèmes, nous montrons tout d'abord des résultats génériques d'observation à symétrie près, de synchronisation et de décalage de phase. Nous utilisons ces résultats pour montrer la généricité de l'hyperbolicité des points d'équilibre ainsi qu'un lemme d'injectivité pour les trajectoires. Les résultats de généricité de cette thèse sont obtenus à l'aide de théorèmes de transversalité de type Sard-Smale. / A coupled cell network consists in a directed graph, with each node (also called cell) representing a set of variables and with each arrow representing the interaction between these variables. Coupled cell networks play an important role in the modeling of phenomena in neurology, economics or biology, etc.. Let G be a directed graph with N nodes. A mapping f=(f_1,...,f_N) of X=X_1×...×X_N to X (where X_j=R^dj) is admissible, if for each node j, f_j(x) depends on x_i only if i->j is an arrow of G. In this thesis, we show that if the graph G is strongly connected and self-dependant, generically with respect to f in the class of admissible C¹-functions, the dynamical system generated by the differential equation x'(t)=f(x(t)) satisfies the Kupka-Smale property, that is all the critical elements (i.e. the equilibria and periodic orbits) are hyperbolic and the stable and unstable manifolds of these critical elements intersect transversally. As a consequence, for a dense set of admissible functions, the dynamical system is locally stable with respect of small perturbations (admissible or not). We also consider the set of "dissipative" mappings f of class C¹, the differential Df (x) of which is a positive cyclic Jacobi matrix at any point x. Such maps define a cooperative system. We show that the dynamical system generated by the equation x'(t)=f(x(t)) is generically Morse-Smale with respect to such mappings f, that is the system is Kupka-Smale, the critical elements are in finite number and the non-wandering set is equal to the set of critical elements. This property implies the structural stability of the dynamical system. Finally, in this thesis we also study coupled cell networks satisfying local symmetry constraints. For such systems, we first show generic results of observation, synchronization and phase shift. We use these properties to show the genericity of hyperbolicity of equilibrium points and an injectivity lemma for trajectories. In the proof of these genericity results, we use different Sard-Smale type theorems.