Cette thèse traite de l’étude des objets reliés au codage de Bowen-Series du flot géodésiquepour des surfaces hyperboliques de volume fini. On démontre d’abord que le billard géodésiqueassocié à domaine fondamental even corners d’un groupe fuchsien cofini est conjuguéà une bijection du tore, appelée codage étendu, dont l’un des facteurs est la transformationde Bowen-Series. L’intérêt principal de cette conjugaison est qu’elle ne fait toujours intervenirqu’un nombre fini d’objets. On retrouve ensuite des résultats classiques sur le codage deBowen-Series : il est orbite-équivalent au groupe, ses points périodiques sont denses, et ses orbitespériodiques sont en bijection avec les classes d’équivalence d’hyperboliques primitifs dugroupe ; ce qui permet finalement de relier sa fonction zeta de Ruelle à la fonction zeta de Selberg.Les preuves de ces résultats s’appuient sur un lemme combinatoire qui abstrait la propriétéd’orbite-équivalence à des familles de relations qui peuvent être définies sur tout ensemble surlequel agit le groupe. Il est aussi possible de conjuguer le codage étendu à un sous-shift detype fini, sauf pour un ensemble dénombrable de points. Enfin, on prouve que les distributionspropres pour la valeur propre 1 de l’opérateur de transfert sont les distributions de Helgason defonctions propres du laplacien sur la surface, puis que l’on peut associer à toute telle distributionpropre une fonction propre non triviale de l’opérateur de transfert et que ce procédé admet uninverse dans certains cas. / This thesis focuses on the study of the objects linked to the Bowen-Series coding of the geodesicflow for hyperbolic surfaces of finite volume. It is first proved that the geodesic billiardassociated with an even corners fundamental domain for a cofinite fuchsian group is conjugatedwith a bijection of the torus, called extended coding, one factor of which is the Bowen-Seriestransform. The sharpest property of that conjugacy is that it always only involves a finite numberof objects. Some classical results about the Bowen-Series coding are then rediscovered : itis orbit-equivalent with the group, its periodic points are dense, and its periodic orbits are inbijection with conjugacy classes of primitive hyperbolic isometries ; which eventually links itsRuelle zeta function to the Selberg zeta function. The proofs of those results use a combinatoriallemma that abstracts the orbit-equivalence property to families of relations that can be definedon every set on which the group acts. The extended coding is also proved to be conjugated witha subshift of finite type, except for a countable set of points. Finally, it is shown that eigendistributionsof the transfer operator for the eigenvalue 1 are the Helgason boundary values ofeigenfunction of laplacian on the surface, plus that one can associate to each such eigendistributiona non-trivial eigenfunction of the transfer operator and that this process has a reciprocalin some cases.

Cette thèse s'intéresse à la modélisation et à l'analyse dessystèmes temps-réel distribués.Un système distribué est constitué de plusieurs composantsqui évoluent de manière partiellement indépendante. Lorsque des actionsexécutables par différentscomposants sont indépendantes, elles sont dites concurrentes.Dans ce cas, elles peuvent être exécutées dans n'importe quel ordre, sanss'influencer, et l'état atteint après ces actions ne dépend pas de leur ordred'exécution.Dans les systèmes temps-réel distribués, les contraintes de temps créent desdépendances complexes entre les composants et les événements qui ont lieu surces composants. Malgré l'omniprésence et l'aspect critique de ces systèmes,beaucoup de leurs propriétés restent encore à étudier.En particulier, la nature distribuée de ces systèmes est souvent laissée de côté.Notre travail s'appuie sur deux formalismesde modélisation: les réseaux de Petri temporels et les réseaux d'automatestemporisés, et est divisé en deux parties.Dans la première partie, nous mettons en évidence les différences entre lessystèmes temporisés centralisés et les systèmes temporisés distribués. Nouscomparons les formalismes principaux et leurs extensions, avec une approcheoriginale qui considère la concurrence.En particulier, nous montrons comment transformer un réseau de Petri temporelen un réseau d'automates temporisés qui a le même comportement distribué.Nous nous intéressons ensuite aux horloges partagées dans lesréseaux d'automates temporisés. Les horloges partagées sont problématiqueslorsque l'on envisage d'implanter ces modèles sur des architecturesdistribuées. Nous montrons comment se passer des horloges partagées, touten préservant le comportement distribué, lorsque cela est possible.Dans la seconde partie, nous nous attachons à formaliser les dépendancesentre les événements dans les représentations en ordre partieldes exécutions des réseaux de Petri (temporels ou non).Les réseaux d'occurrence sont une de ces représentations, et leur structuredonne directement les relations de causalité, conflit et concurrence entreles événements. Cependant, nous montrons que, même dans le cas non temporisé,certaines relations logiques entre les événements nepeuvent pas être directement décrites par ces relations structurelles.Après avoir formalisé les relations logiques en question, nous résolvons leproblème de synthèse suivant: étant donnée une formule logique qui décrit unensemble d'exécutions, construire un réseau d'occurrence associé,quand celui-ci existe.Nous étudions ensuite les relations logiques dans un cadre temporisé simplifié,et montrons que le temps crée des dépendances complexes entre les événements.Ces dépendances peuvent être utilisées pour définir des dépliages canoniques deréseaux de Petri temporels, dans ce cadre simplifié. / This thesis is concerned with the modeling and the analysis of distributedreal-time systems. In distributed systems, components evolve partlyindependently: concurrent actions may be performed in any order, withoutinfluencing each other and the state reached after these actions does notdepends on the order of execution. The time constraints in distributed real-timesystems create complex dependencies between the components and the events thatoccur. So far, distributed real-time systems have not been deeply studied, andin particular the distributed aspect of these systems is often left aside. Thisthesis explores distributed real-time systems. Our work on distributed real-timesystems is based on two formalisms: time Petri nets and networks of timedautomata, and is divided into two parts.In the first part, we highlight the differences between centralized anddistributed timed systems. We compare the main formalisms and their extensions,with a novel approach that focuses on the preservation of concurrency. Inparticular, we show how to translate a time Petri net into a network of timedautomata with the same distributed behavior. We then study a concurrency relatedproblem: shared clocks in networks of timed automata can be problematic when oneconsiders the implementation of a model on a multi-core architecture. We showhow to avoid shared clocks while preserving the distributed behavior, when thisis possible.In the second part, we focus on formalizing the dependencies between events inpartial order representations of the executions of Petri nets and time Petrinets. Occurrence nets is one of these partial order representations, and theirstructure directly provides the causality, conflict and concurrency relationsbetween events. However, we show that, even in the untimed case, some logicaldependencies between event occurrences are not directly described by thesestructural relations. After having formalized these logical dependencies, wesolve the following synthesis problem: from a formula that describes a set ofruns, we build an associated occurrence net. Then we study the logicalrelations in a simplified timed setting and show that time creates complexdependencies between event occurrences. These dependencies can be used to definea canonical unfolding, for this particular timed setting.

La compensation écologique, envisagée dans le respect de la séquence éviter-réduire-compenser les impacts, cherche à apporter des réponses à la crise actuelle d’érosion de la biodiversité. L’objectif de la thèse est de comprendre quels sont les enjeux organisationnels et institutionnels de la mise en œuvre du principe de compensation écologique pour les impacts sur les écosystèmes aquatiques marins et continentaux en Europe et aux Etats-Unis. La thèse mobilise le cadre théorique de l’économie néo-institutionnelle. Les organisations de type hiérarchique (compensation au cas par cas) ont pour principales limites d’avoir une efficacité écologique discutable et de ne pas permettre le suivi et le contrôle des mesures compensatoires ce qui conduit souvent à ce que la compensation ne soit pas ou peu mise en œuvre. Aux Etats-Unis, les banques de compensation consistent en une réponse anticipée et mutualisée aux dommages à l’environnement. Il s’agit d’une forme organisationnelle alternative hybride fortement régulée à mi-chemin entre la hiérarchie et le marché. Cependant, les acteurs ont des stratégies collectives et individuelles qui engendrent des négociations ayant des conséquences sur les enjeux de développement économique et de maintien des objectifs de conservation de la biodiversité. Le système des banques de compensation crée un double phénomène de redistribution des coûts de transaction et de diminution de ceux-ci mais il semble que l’évolution de l’ensemble du cadre d’application de la compensation écologique américain permet aujourd’hui une complémentarité institutionnelle entre ces deux formes organisationnelles plutôt qu’une disparition des formes hiérarchiques. / Biodiversity offset, as the last step of the mitigation hierarchy (avoid/reduce/offset), aims to address the current biodiversity loss crisis. The main goal of this PhD, which relies on the new institutional economics approach as a theoretical framework, is to understand the organizational and institutional issues of implementing biodiversity offsets policies for impacts on continental and offshore wetlands in Europe and the United-States. Hierarchical organizations (i.e. permittee responsible mitigation) often lead to little to no implementation of biodiversity offsets because the ecological effectiveness of case-by-case compensatory measures is unproven and the monitoring and control of numerous measures are difficult. In the United-States, the mitigation banking system aims to compensate for multiple small impacts on wetlands by carrying out restoration projects on fewer but larger wetland areas in order to reach the goal of no net loss of biodiversity. This hybrid organizational form is highly regulated and therefore stands halfway between hierarchical and market organizations. However, actors have individual and collective strategies that generate negotiations with consequences on economic development and biodiversity conservation stakes. The mitigation banking system leads to a decrease of transaction costs and a change of the actors bearing them. It seems that the evolution of the whole framework of biodiversity offsets policy implementation in the United-States leans toward an institutional complementarity between these two organizational forms rather than a disappearance of hierarchical organizations.

À trop vouloir poser la loi étrangère en parfait symbole de la résolution des conflits de lois, les auteurs dressent une présentation manichéenne du droit international privé où la lex fori (loi du juge saisi) incarne l'indésirable. C'est oublier qu'elle est davantage utilisée que la loi étrangère en matière de litiges internationaux puisque de nombreux procédés lui octroient pleinement ou subsidiairement une position privilégiée.<br />Prenant acte de ce constat, qu'il fonde sur des considérations sociologiques (ethnocentrisme) et pragmatiques (bonne administration de la justice), l'auteur entend réhabiliter la loi du for. Sans aller jusqu'à un legeforismo, dont la traduction pratique serait l'application systématique de la lex fori, un équilibre réaliste est proposé à partir d'un rapprochement des critères de rattachement et des chefs de compétence. Le vade-mecum de ce rapprochement offre alors les clés de la complémentarité qui doit exister entre la lex fori et la loi étrangère.