L’hémophilie est une maladie génétique se traduisant par la déficience des facteurs VIII et IX de la coagulation et conduisant à une tendance hémorragique. L’intensité des traitements substitutifs en facteur VIII et IX est définie essentiellement sur le taux basal du facteur déficitaire et non pas sur la capacité propre à chaque patient à générer de la thrombine qui est l’enzyme clé dans la formation du caillot de fibrine. Le test de génération de thrombine pourrait être utilisé pour permettre une individualisation du traitement anti-hémophilique. En effet, le taux de facteur VIII ou IX nécessaire à la normalisation de la génération de thrombine est potentiellement variable d’un patient à l’autre pour une même sévérité d’hémophilie. On peut donc se demander quelle approche expérimentale permettrait de mettre en exergue le lien entre taux de facteur anti-hémophilique et la génération de thrombine. Est-il possible de modéliser mathématiquement la coagulation pour obtenir une relation, soit explicite, soit implicite, entre taux de facteurs et génération de thrombine ? Les modèles existants permettent-ils d'obtenir une telle relation ? Une vaste campagne expérimentale a donc été menée pour mettre en place une base de données qui a permis d’identifier les facteurs déterminants de la génération de thrombine et la relation entre génération de thrombine et taux de facteur anti-hémophilique, de définir leurs valeurs de références, ainsi que d’évaluer et de paramétrer de manière sujet-spécifique des modèles mathématiques de la coagulation. / Haemophilia is a genetic disease corresponding to the deficiency of coagulation factor VIII or IX and leading to a bleeding tendency. The current substitutive treatment is defined essentially by the basal level of deficient factor and not the individual capacity to generate thrombin, a key enzyme of the clot formation. The thrombin generation assay could help in the individualisation of the anti-haemophilia treatment. Indeed, the factor VIII or IX level needed to normalise the thrombin generation vary potentially from one patient to another for a same degree of severity. We can wonder which experimental approach could emphasise the relation between level of anti-haemophilic factor and thrombin generation. Is it possible to mathematically model coagulation to obtain a relation, either explicit, or implicit, between factor level and thrombin generation? Could existing models provide this relation? An extensive experimental campaign was carried out to build a database that has been used to identify the determinant coagulation factors of thrombin generation and the individual relation between thrombin generation and anti-haemophilic factor level, to define their reference values, and also to evaluate and parametrise subject-specifically mathematical models of the coagulation cascade

La performance sportive est influencée par de nombreux facteurs, lesquels s’influencent eux-mêmes réciproquement. La complexité de ces facteurs et de leurs relations ayant été négligée par les chercheurs, l’objet de la présente thèse était de rendre compte de cette complexité, à l’aide de méthodes empruntées à l’approche dynamique. Nous avons pu montrer que (a) les joueurs de football les plus experts construisent leur représentations du jeu en cours (les liens entre actions réalisées sur le terrain) avec des niveaux de complexité les plus élevés; (b) en aviron, une organisation motrice complexe, impliquant des interactions entre de nombreuses composantes, sous-tend la génération des mouvements de rame en cours; (c) le momentum psychologique en aviron se caractérise par des changements psychologiques et de performance qui s’inscrivent dans l’histoire de la performance; et (d) la performance excellente se développe à partir des interactions en cours entre les facteurs personnels et environnementaux couplés. Ces différents éclairages montrent l’intérêt d’une approche de la complexité pour comprendre les processus de performance. / The processes involved in human performance seem inherently complex and dynamic. For example, in order to “read the game”, a soccer player must integrate all the information from the ongoing movements and positions of team members, the opponents, the relative positions between them, where the ball is located, etc. Furthermore, an individual’s motor performance, which is particularly crucial in sports, depends on various simultaneous processes at different levels of the motor system: Cells, muscles, limbs, the brain, etc. In addition, individuals and teams do not perform in a void, but in achievement contexts, in which they strive for their goals, and their psychological states and performance may fluctuate as a function of many personal and environmental factors. For example, an athlete may enter a positive or negative spiral when perceiving that he or she is progressing or regressing in relation to the preferred goal or outcome (e.g., the victory). This perception of progress and regress, and the positive and negative psychological and behavioral (performance) changes accompanying this perception, are called positive and negative psychological momentum (PM; e.g., Gernigon, Briki, & Eykens, 2010). Positive and negative PM can emerge from one’s (or the opponent’s) mistakes, referee decisions, crowd behaviors, one’s psychological and physical state at a certain moment, and the interactions between these factors (Taylor & Demick, 1994). In addition, switching from performance on a relatively short time frame to a long-term process, individuals develop their abilities over multiple years, and hence over many practice or competition occasions. Ultimately, very few individuals develop world-class performance (e.g., winning Olympic medals), and their excellent abilities develop out of a combination of a variety of personal and environmental factors in interaction (e.g., motivation, coaching, family support, practice; Simonton, 1999). The current dissertation aims to capture complex dynamic performance-related processes, including the topics illustrated above. This means that we examine complexity at different levels (psychological, behavioral), time scales (from one training or competition session up to a career), as well as the interrelation between the processes across different levels and time scales.

L'étude des ensembles de mots complexité linéaire joue un rôle très important dans la théorie de combinatoire des mots et dans la théorie des systèmes dynamiques symboliques.Cette famille d'ensembles comprend les ensembles de facteurs : d'un mot Sturmien ou d'un mot d'Arnoux-Rauzy, d'un codage d'échange d'intervalle, d'un point fixe d'un morphisme primitif, etc.L'enjeu principal de cette thèse est l'étude de systèmes dynamiques minimales, définis de façon équivalente comme ensembles factoriels de mots uniformément récurrents.Comme résultat principal nous considérons une hiérarchie naturelle de systèmes minimal contenante les ensembles neutres, les tree sets et les ensembles spéculaires.De plus, on va relier ces systèmes au groupe libre en utilisant les mots de retours et les bases de sous-groupes d'indice fini.L'on étude aussi les systèmes symboliques dynamiques engendrés par les échanges d'intervalle et les involutions linéaires, ce qui nous permet d'obtenir des exemples et des interprétations géométriques des familles d'ensembles que définis dans notre hiérarchie.L'un des principal outil utilisé ici est l'étude des extensions possibles d'un mot dans un ensemble, ce qui nous permet de déterminer des propriétés telles que la complexité factorielle.Dans ce manuscrit, nous définissons le graphe d'extension, un graphe non orienté associé à chaque mot $w$ dans un ensemble $S$ qui décrit les extensions possibles de $w$ dans $S$ à gauche et à droite.Dans cette thèse, nous présentons plusieurs classes d'ensembles de mots définis par les formes possibles que les graphes d'extensions des éléments dans l'ensemble peuvent avoir.L'une des conditions les plus faibles que nous allons étudier est la condition de neutralité: un mot $w$ est neutre si le nombre de paires $(a,b)$ de lettres telles que $awb in S$ est égal au nombre de lettres $a$ tel que $aw in S$ plus le nombre de lettres $b$ tel que $wb in S$ moins 1.Un ensemble tel que chaque mot non vide satisfait la condition de neutralité est appelé un ensemble neutre.Une condition plus forte est la condition de l'arbre: un mot $w$ satisfait cette condition si son graphe d'extension est à la fois acyclique et connecté.Un ensemble est appelé un tree set si tout mot non vide satisfait cette condition.La famille de tree sets récurrents apparaît comme fermeture naturelle de deux familles d'ensembles très importants : les facteurs d'un mot d'Arnoux-Rauzy et les ensembles d'échange d'intervalle.Nous présentons également les ensembles spéculaires, une sous-famille remarquable de tree sets.Il s'agit également de sous-ensembles de groupes qui forment une généralisation naturelle des groupes libres.Ces ensembles de mots sont une généralisation abstraite des codages naturelles d'échanges d'intervalle et d'involutions linéaires.Pour chaque classe d'ensembles considéré dans cette thèse, nous montrons plusieurs résultats concernant les propriétés de fermeture (sous décodage maximale bifixe ou par rapport aux mots dérivés), la cardinalité des codes bifixes et les de mots de retour, la connexion entre mots de retour et bases du groupe libre, ainsi qu'entre les codes bifixes et les sous-groupes du groupe libre.Chacun de ces résultats est prouvé en utilisant les hypothèses les plus faibles possibles / Sets of words of linear complexity play an important role in combinatorics on words and symbolic dynamics.This family of sets includes set of factors of Sturmian and Arnoux-Rauzy words, interval exchange sets and primitive morphic sets, that is, sets of factors of fixed points of primitive morphisms.The leading issue of this thesis is the study of minimal dynamical systems, also defined equivalently as uniformly recurrent sets of words.As a main result, we consider a natural hierarchy of minimal systems containing neutral sets, tree sets and specular sets.Moreover, we connect the minimal systems to the free group using the notions of return words and basis of subroups of finite index.Symbolic dynamical systems arising from interval exchanges and linear involutions provide us geometrical examples of this kind of sets.One of the main tool used here is the study of possible extensions of a word in a set, that allows us to determine properties such as the factor complexity.In this manuscript we define the extension graph, an undirected graph associated to each word $w$ in a set $S$ which describes the possible extensions of $w$ in $S$ on the left and the right.In this thesis we present several classes of sets of words defined by the possible shapes that the graphs of elements in the set can have.One of the weakest condition that we will study is the neutrality condition: a word $w$ is neutral if the number of pairs $(a, b)$ of letters such that $awb in S$ is equal to the number of letters $a$ such that $aw in S$ plus the number of letters $b$ such that $wb in S$ minus 1.A set such that every nonempty word satisfies the neutrality condition is called a neutral set.A stronger condition is the tree condition: a word $w$ satisfies this condition if its extension graph is both acyclic and connected.A set is called a tree set if any nonempty word satisfies this condition.The family of recurrent tree sets appears as a the natural closure of two known families, namely the Arnoux-Rauzy sets and the interval exchange sets.We also introduce specular sets, a remarkable subfamily of the tree sets.These are subsets of groups which form a natural generalization of free groups.These sets of words are an abstract generalization of the natural codings of interval exchanges and of linear involutions.For each class of sets considered in this thesis, we prove several results concerning closure properties (under maximal bifix decoding or under taking derived words), cardinality of the bifix codes and set of return words in these sets, connection between return words and basis of the free groups, as well as between bifix codes and subgroup of the free group.Each of these results is proved under the weakest possible assumptions

Dans cette thèse nous nous intéressons à la dynamique locale autour d'une sous-variété compacte invariante et à la théorie du nombre de rotation. Dans [Nai82] V. A. Naishul' a montré que parmi les difféomorphismes du plan isotopes à l'identité qui fixent 0, qui préservent l'aire (ou analytiques) et dont la différentielle en $0$ est une rotation, l'angle de cette rotation est un invariant de conjugaison topologique. Ce résultat de Na\u{\i}shul$'$, a été généralisé dans plusieurs directions (voir [GP95], [GLP96] et [Pon12]). Par exemple en dimension supérieure, dans [GP95] J.-M. Gambaudo et E. Pécou ont considéré des difféomorphismes de $\R^{n+2}$ qui possèdent un tore $\T^n$ de dimension $n$ invariant dont la dynamique est topologiquement conjuguée à une rotation irrationnelle. Ils ont défini un nombre de rotation et ont démontré que ce nombre est invariant de conjugaison topologique (par exemple lorsque le difféomorphisme préserve un volume). Dans la première partie du deuxième chapitre de cette thèse, nous proposons d'introduire une notion d'ensemble de rotation local pour les homéomorphismes locaux qui préservent une sous-variété compacte de codimension $2$ dont le fibré normal est trivial. A l'aide de cet ensemble, nous déduirons un résultat qui généralise les travaux en dimension supérieure cités plus haut. Dans [Rue85] D. Ruelle a considéré des difféomorphismes d'une surface dont le fibré tangent est trivial qui préservent une mesure. Il leur a associé un nombre réel qui a été appelé l'invariant de Ruelle. Les constructions de cette thèse nous permettront de voir cet invariant comme un ensemble de rotation local au-dessus d'une mesure. A l'aide de l'invariance par conjugaison de cet ensemble de rotation, nous allons retrouver, à la fin du deuxième chapitre, le résultat démontré par J.-M. Gambaudo et E. Ghys dans [GG97] : l'invariant de Ruelle est en fait invariant de conjugaison topologique. Soit $Homeo_0(\R^2;0)$ l'ensemble des homéomorphismes du plan $\R^2$ isotopes a l'identité qui fixent l'origine $0\in\R^2$. Récemment dans [LeR13], F. Le Roux a donné une définition de l'ensemble de rotation local autour de $0$ d'une isotopie dans $Homeo_0(\R^2;0)$ issue de l'identité, et il a posé la question suivante : cet ensemble est-il toujours un intervalle ? Dans le troisième chapitre de cette thèse, nous allons donner une réponse positive à cette question et aussi à la question analogue dans le cas de l'anneau ouvert. / In this thesis we are interested in the local dynamics around of a compact invariant sub-manifold and in the rotation number theory. In [Nai82] V.A Naihul' proved that, among analytic or area preserving diffeomorphisms in the plane which are isotopic to the identity fix $0$ and whose derivative at $0$ is a rotation, the angle of this rotation is invariant by topological conjugation. This result of Naishul' was generalized in many directions (see [GP95], [GLP96] and [Pon12]). For example in [GP95] J.-M. Gambaudo and E. Pécou considered diffeomorphisms in $\R^{n+2}$, which possess an invariant $n$-dimensional torus $\T^n$ whose dynamics restricted to the torus is topologically conjugate to an irrational rotation. They defined a rotation number, and proved that this number is invariant by topological conjugation among volume-preserving maps. In the first part of the second chapter of this thesis, we propose to introduce a notion of local rotation set for local homeomorphisms, which preserve a compact sub-manifold of codimension 2 whose normal bundle is trivial. Using this set, we will deduce a result which generalizes the above mentioned works. In [Rue85] D. Ruelle considered measure preserving diffeomorphisms of a surface whose tangent bundle is trivial. He associated to them a real number called the Ruelle invariant. The constructions made in this thesis will permit us to see this number as a local rotation set over a measure. The invariance by topological conjugation of this set will us permit, at the end of the second chapter, to prove the following result due to J.-M- Gambaudo and E. Ghys: the Ruelle invariant is invariant by topological conjugacy. Let $Homeo_0(\R^2;0)$ be the set of all homeomorphisms of the plane isotopic to the identity and which fix $0$. Recently in [LeR13] F. Le Roux gave the definition of the local rotation set around of 0 of a general isotopy $I$ in $Homeo_0(\R^2;0)$ from the identity to a homeomorphism $f$ and he asked if this set is always an interval. In the third chapter of this thesis we give a positive answers to this question and to the analogous question in the case of the open annulus.

Nous établissons un théorème de convergence locale de l'algorithme classique d'optimisation de système dynamique RTRL, appliqué à un système non linéaire. L'algorithme RTRL est un algorithme en ligne, mais il doit maintenir une grande quantités d'informations, ce qui le rend impropre à entraîner des systèmes d'apprentissage de taille moyenne. L'algorithme NBT y remédie en maintenant une approximation aléatoire non biaisée de faible taille de ces informations. Nous prouvons également la convergence avec probabilité arbitrairement proche de un, de celui-ci vers l'optimum local atteint par l'algorithme RTRL. Nous formalisons également l'algorithme LLR et en effectuons une étude expérimentale, sur des données synthétiques. Cet algorithme met à jour de manière adaptive le pas d'une descente de gradient, par descente de gradient sur celui-ci. Il apporte ainsi une réponse partielle au problème de la fixation numérique du pas de descente, dont le choix influence fortement la procédure de descente et qui doit sinon faire l'objet d'une recherche empirique potentiellement longue par le praticien. / We prove a local convergence theorem for the classical dynamical system optimization algorithm called RTRL, in a nonlinear setting. The rtrl works on line, but maintains a huge amount of information, which makes it unfit to train even moderately big learning models. The NBT algorithm turns it by replacing these informations by a non-biased, low dimension, random approximation. We also prove the convergence with arbitrarily close to one probability, of this algorithm to the local optimum reached by the RTRL algorithm. We also formalize the LLR algorithm and conduct experiments on it, on synthetic data. This algorithm updates in an adaptive fashion the step size of a gradient descent, by conducting a gradient descent on this very step size. It therefore partially solves the issue of the numerical choice of a step size in a gradient descent. This choice influences strongly the descent and must otherwise be hand-picked by the user, following a potentially long research.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Dans cette thèse, nous construisons des pavages de la droite réelle et du demi-plan hyperbolique à l’aide de représentants efficaces d’automorphismes IWIP du groupe libre Fn. Dans un premier temps, nous utilisons la substitution définie par P. Arnoux, V. Berthé, A. Siegel, A. Hilion associée à un représentant efficace d’un automorphisme IWIP pour générer des espaces de pavages substitutifs apériodiques de la droite réelle. Nous montrons, en nous servant d’un théorème de connexité des représentants efficaces d’automorphismes IWIP dû à J. Los, que le type topologique de ces espaces de pavages est indépendant du choix du représentant. Nous associons ainsi, à homéomorphisme près, un espace de pavages de la droite réelle à une classe d’automorphisme externe IWIP de Fn, puis à une classe de conjugaison d’un élément IWIP dans Out(Fn). D’autre part, nous construisons à partir des éléments de l’espace de pavage de la droite réelle précédemment construits des pavages faiblement apériodiques pour le groupe des transformations affines du demi-plan hyperbolique. Nous étudions les propriétés topologiques et dynamiques de ces espaces de pavages du plan hyperbolique. Enfin, dans une dernière partie, nous montrons que les espaces de pavages précédemment construits peuvent être munis d’une structure lisse en se servant de leur structure de limite projective. / In this thesis, we construct tilings of the real line and the hyperbolic half-plane using train-track maps of IWIP free group automorphisms. One the one hand, we use a substitution defined by P. Arnoux, V. Berthé, A. Siegel, A. Hilion coming from a train-track map of a IWIP free group automorphism to generate substitutive aperiodic tilings of the real line. We show, thanks to a theorem of J. Los about connectivity of train-track representatives of an IWIP automorphism, that the topological type of those tiling spaces is the same up to a choice of train-track representative. Thus we associate, up to an homeomorphism, a tiling space of the real line to a class of an IWIP outer automorphism of Fn, then we extend this result to a conjugacy class of an IWIP element in Out(Fn). On the other hand, we construct from elements of tiling spaces of the real line previously defined, a set of weakly aperiodic for the affine group tilings of the hyperbolic half-plane. We study topological et dynamical properties of the tiling space generated by those hyperbolic tilings. Finally, in the last section we endow tiling spaces previously constructed with a smooth structure thanks to their inverse limit structure.

Cette thèse porte sur l'étude mathématique de modèles stochastiques de dynamique de populations structurées.Dans le premier chapitre, nous introduisons un modèle stochastique à temps discret prenant en compte les diverses interactions possibles entre les individus, que ce soit de la compétition, de la migration, des mutations, ou bien de la prédation. Nous montrons d'abord un résultat de type ``loi des grands nombres'', où on montre que si la population initiale tend vers l'infini, alors sur un intervalle de temps fini, le processus stochastique converge en probabilité vers un processus déterministe sous-jacent. Nous quantifions aussi les écarts entre ces deux processus par un résultat de type ``théorème central limite''. Enfin, nous donnons un critère de persistance/extinction afin de déterminer le comportement en temps long de notre processus stochastique. Ce critère met en exergue un cas critique qui sera étudié plus en détail dans les chapitres suivants.Dans le deuxième chapitre, nous donnons un critère de croissance illimitée pour des processus vérifiant le cas critique évoqué plus haut. Nous illustrons en particulier ce critère avec l'exemple d'une métapopulation constituée de parcelles de type puits (c'est à dire dont la population s'éteint sans tenir compte de la migration), où l'on montre que la survie de la population est possible.Dans le troisième chapitre, nous nous intéressons au comportement du processus critique lorsqu'il croît vers l'infini. Nous montrons en particulier une convergence en loi vers une loi gamma de notre processus renormalisé et dans un cadre plus général, en renormalisant aussi en temps, nous obtenons une convergence en loi d'une fonction de notre processus vers la solution d'une équation différentielle stochastique appelée un processus de Bessel carré.Dans le quatrième et dernier chapitre, nous nous plac{c}ons dans le cas où le processus critique ne tend pas vers l'infini et étudions le temps d'atteinte de certains ensembles compacts. Nous donnons un encadrement asymptotique de la queue de ce temps d'atteinte. Lorsque le processus s'éteint, ces résultats nous permettent en particulier d'encadrer la queue du temps d'extinction. Dans le cas où notre processus est une chaîne de Markov, nous en déduisons un critère de récurrence nulle ou récurrence positive et dans ce cas, nous obtenons un taux de convergence sous-géométrique du noyau de transition de notre chaîne vers sa mesure de probabilité invariante. / This thesis is devoted to the mathematical study of stochastic modelds of structured populations dynamics.In the first chapter, we introduce a discrete time stochastic process taking into account various ecological interactions between individuals, such as competition, migration, mutation, or predation. We first prove a ``law of large numbers'': where we show that if the initial population tends to infinity, then, on any finite interval of time, the stochastic process converges in probability to an underlying deterministic process. We also quantify the discrepancy between these two processes by a kind of ``central limit theorem''. Finally, we give a criterion of persistence/extinction in order to determine the long time behavior of the process. This criterion highlights a critical case which will be studied in more detail in the following chapters.In the second chapter, we give a criterion for the possible unlimited growth in the critical case mentioned above. We apply this criterion to the example of a source-sink metapopulation with two patches of type source, textit{i.e.} the population of each patch goes to extinction if we do not take into account the migration. We prove that there is a possible survival of the metapopulation.In the third chapter, we focus on the behavior of our critical process when it tends to infinity. We prove a convergence in distribution of the scaled process to a gamma distribution, and in a more general framework, by also rescaling time, we obtain a distribution limit of a function of our process to the solution of a stochastic differential equation called a squared Bessel process.In the fourth and last chapter, we study hitting times of some compact sets when our process does not tend to infinity. We give nearly optimal bounds for the tail of these hitting times. If the process goes to extinction almost surely, we deduce from these bounds precise estimates of the tail of the extinction time. Moreover, if the process is a Markov chain, we give a criterion of null recurrence or positive recurrence and in the latter case, we obtain a subgeometric convergence of its transition kernel to its invariant probability measure.

Cette thèse est dédiée à l'étude des propriétés de compacité de familles d'applications analytiques entre espaces analytiques définis sur un corps métrisé non-Archimédien $k$.Nous travaillons dans le contexte des espaces analytiques développés par Berkovich pour exploiter leur topologie modérée.Une de nos motivations est le désire d'introduire une notion naturelle d'hyperbolicité au sens de Kobayashi dans ce cadre.Nous démontrons d'abord un analogue au théorème de Montel pour des applications analytiques à valeurs dans un domaine borné de l'espace affine.Afin de ceci faire, nous paramétrisons l'espace des applications analytiques d'un polydisque ouvert dans un polydique fermé par le spectre analytique d'une $k$-algèbre de Banach adéquate.Le résultat découle alors de la compacité séquentielle de cet espace.Nos résultats mènent naturellement à une définition de famille normale, et nous introduisons ensuite deux ensembles de Fatou associés à un endomorphisme de l'espace projectif.Nous montrons que les composantes de Fatou se comportent comme dans le cas complexeet ne contiennent pas d'image non-triviale de la droite affine épointée.Ensuite, nous appliquons notre notion de normalité à l'étude de l'hyperbolicité dans le cadre non-Archimédien.Nous reprenons les travaux de W. Cherry et démontrons plusieurs caractérisations des variétés projectives lisses pour lesquelles la semi-distance de Cherry-Kobayashi sur l'ensemble des points rigides définit la topologie usuelle.Nous obtenons finalement une caractérisation des courbes algébriques lisses $X$ de caractéristique d'Euler négative en termes de la normalité de certaines familles d'applications analytiques à valeurs dans $X$. / This thesis is devoted to the study of compactness properties of spaces of analytic maps between analytic spaces defined over a non-Archimedean metrized field $k$. We work in the theory of analytic spaces as developed by Berkovich to fully exploit their tame topology. One of our motivations is the strive to introduce a natural notion of Kobayashi hyperbolicity in this setting.We first prove an analogue of Montel’s theorem for analytic maps taking values in a bounded domain of the affine space. In order to do so, we parametrize the space of analytic maps from an open polydisk to a closed one by the analytic spectrum of a suitable Banach $k$-algebra. Our result then follows from the sequential compactness of this space.Our results naturally lead to a definition of normal families, and we subsequently introduce two notions of Fatou sets attached to an endomorphism of the projective space. We show that Fatou components behave like in the complex case and cannot contain non trivial images of the punctured affine line.Thereupon, we apply our normality notion to the study of hyperbolicity in the non-Archimedean setting. We pursue the work of W. Cherry and prove various characterizations of smooth projective varieties whose Cherry-Kobayashi semi distance on the set of rigid points defines the classical topology. We finally obtain a characterization of smooth algebraic curves $X$ of negative Euler characteristic in terms of the normality of certain families of analytic maps taking values in $X$.

Cette thèse porte sur le calcul d'une sur-approximation conservative pour les solutions d'équations différentielles ordinaires en présence d'incertitudes et sur son application à l'estimation et l'analyse de systèmes dynamiques à temps continu. L'avantage principal des méthodes et des algorithmes de calculs présentés dans cette thèse est qu'ils apportent une preuve numérique de résultats. Cette thèse est organisée en deux parties. La première partie est consacrée aux outils mathématiques et aux méthodes d'intégration numérique garantie des équations diff érentielles incertaines. Ces méthodes permettent de caractériser de manière garantie l'ensemble des trajectoires d'état engendrées par un système dynamique incertain dont les incertitudes sont naturellement représentées par des intervalles bornés. Dans cette optique, nous avons développé une méthode d'intégration hybride qui donne de meilleurs résultats que les méthodes d'intégration basées sur les modèles de Taylor intervalles. La seconde partie aborde les problèmes de l'identification et de l'observation dans un contexte à erreurs bornées ainsi que le problème d'atteignabilité continue pour la véri cation de propriétés des systèmes dynamiques hybrides. / This thesis addresses the computation of conservative over-approximation of the solutions of uncertain ordinary di erential equations and its application to the estimation and the analysis of uncertain continuous-time dynamical systems. The main feature of the methods and algorithms presented in this thesis is the fact that they are numerically veri ed and hence can be used to obtain numerical proof of properties. This thesis is organized in two parts. The first part is devoted to the mathematical tools and the guaranteed numerical integration methods for uncertain ordinary di erential equations. These methods make it possible to characterize in a guaranteed way all the state trajectories generated by an uncertain dynamical system whose uncertainties are in a natural way described by bounded boxes. Accordingly, we have developed a hybrid integration method which gives better results than the integration methods based on interval Taylor models. The second part is dedicated to the resolution of identi cation and observation issues in a bounded error context. It also deals with continuous reachability computation for the veri cation of the properties of hybrid dynamical systems.