En logique classique, la formalisation du fonctionnement des réseaux de Petri (RdP) se heurte à la pérennité de la vérité. En logique modale, elle impose la construction préalable du graphe des marquages accessibles. A contrario, la logique linéaire (LL) fondée par Girard permet de formaliser directement par des séquents prouvables purement propositionnels les relations d'accessibilité dans les RdP : toute transition apparaît comme une implication linéaire disponible ad libitum entre les propositions traduisant ses marquages d'entrée et de sortie. Pour approfondir cette formalisation, nous définissons comme primitives en LL les notions de ressource, d'action et de consommabilité/productibilité, analogues mais distinctes de celles de proposition, de déduction et de vérité/fausseté en logique classique. Nous développons une interprétation concrète pour tous les connecteurs linéaires en cohérence avec leurs propriétés syntaxiques. Nous présentons le connecteur « par » comme un opérateur de cumul disjoint d'exemplaires de ressources (dual du connecteur « fois » de cumul conjoint) et la négation linéaire « nil » comme un inverseur du sens du temps. Cette concrétisation montre les limites des formalisations existantes des RdP en LL ; nous les généralisons en traduisant chaque transition par une implication linéaire ordinaire, traitée comme une ressource périssable, dont tout exemplaire consommé correspond à une occurrence de franchissement. Ainsi, nous apportons une expression logique aux aspects primordiaux du fonctionnement des RdP : nous démontrons qu'une relation d'accessibilité par séquence de transitions équivaut à un séquent prouvable et que l'équation fondamentale est l'expression algébrique d'un corollaire du critère d'équilibrage en LL. Grâce à la combinatoire de tous les connecteurs linéaires, notre approche ouvre des perspectives d'analyse de relations complexes d'accessibilité comme celles de reprise après défa illance dans un système industriel.

Aujourd'hui, les applications comme les outils de développement demeurent câblés pour une utilisation exclusive et stéréotypée du clavier et de la souris, et ignorent tout autre paradigme d'interaction. Bien qu'avérés, les problèmes liés à l'adaptabilité en entrée ont encore fait l'objet de très peu d'études. Dans cette thèse, nous proposons un modèle basé sur des configurations d'entrée, où des dispositifs d'entrée sont librement connectés aux applications à travers des adaptateurs, et où la traditionnelle file d'événements est remplacée par un paradigme à flot de données réactif. Ce modèle a donné lieu à la boîte à outils en entrées ICON (Input Configurator), qui permet de construire des applications interactives entièrement configurables en entrée, capables d'exploiter des dispositifs et des techniques d'interaction non-standard. Son éditeur visuel permet au développeur de créer rapidement des configurations pour des entrées appauvries ou enrichies, que les utilisateurs avancés peuvent ensuite adapter à leurs besoins.

A l'image d'autres grandes villes du Sud, Oran, seconde ville algérienne, a connu une forte croissance démographique ces dernières décennies. Dans un territoire urbain de plus en plus vaste, les extensions périurbaines non planifiées se sont multipliées. Dans un contexte où les équipements, les emplois et l'offre de transports sont très insuffisants, la thèse porte sur la question de l'accès aux services pour les populations défavorisées installées en zones périurbaines, qui subissent les contraintes de mobilité les plus fortes. Deux types d'investigations ont été réalisées ; i) l'analyse de l'offre urbaine en termes d'emplois, de services (éducation et santé), de réseaux de transport collectif à partir des données statistiques existantes et d'entretiens auprès des acteurs de l'urbanisme et du transport et ii) l'analyse d'entretiens qualitatifs auprès de 60 ménages à bas revenu habitant en zones périurbaines, qui ont porté sur leurs besoins de déplacement et leurs difficultés d'accès. Les données spatialisées sur l'offre de services montrent des disparités spatiales dans l'offre de santé et d'éducation. De même, l'analyse de la répartition des lignes du réseau de transport fait ressortir la faiblesse de la régulation et surtout les difficultés propres aux opérateurs privés du transport sur les liaisons périurbaines. Les entretiens menés auprès de la population apportent des renseignements quant aux comportements de mobilité, aux contraintes d'accès concrètes au logement et aux services pour les populations défavorisées. L'un des plus importants problèmes, rencontrés dans ces quartiers, est constitué par le non-accès à l'emploi et le risque très élevé de chômage, tandis que les difficultés d'accès aux soins et à l'éducation sont d'origine multiple (coût d'accès au service, conditions de logement et distances parcourues, problèmes propres aux ménages) et renforcent la vulnérabilité des ménages. Les difficultés se cumulent pour nombre de ménages et pèsent sur l'insertion sociale des résidents des périphéries d'Oran. <br><br>[note : Cette thèse a été réalisée au Département d'Architecture - Université Med Boudiaf d'Oran et au Laboratoire d'Economie des Transports (LET) à l'École Nationale des Travaux Publics de l'État (ENTPE), Université de Lyon].<br />

On considère la métropolisation comme un ensemble de processus, qui, depuis les années 1980, bouleversent les rapports des sociétés à leurs territoires. En particulier, ces changements ont réinterrogé le rôle du transport comme outil d‟aménagement du territoire. Les réseaux de transport présentent ainsi des aptitudes à structurer les territoires métropolitains, en permettant un fonctionnement des lieux en interaction et une appropriation de la part des individus et des sociétés qui les gèrent et les utilisent. L‟objectif de cette recherche est de construire un outil d‟aide à la décision en aménagement du territoire et politique des transports qui puisse rendre compte du potentiel que les réseaux de transports offrent à la structuration du territoire métropolitain. Dans l‟esprit de proposer une alternative au tout-automobile, le travail se concentre sur les réseaux de transport collectif. Concrètement, une démarche modélisatrice est menée et mobilise les notions d‟accessibilité et de capillarité, qui font l‟objet de mesures chiffrées. Ces indicateurs peuvent informer les décideurs sur les qualités des réseaux de transport étudiés. L‟application est menée sur les réseaux de transport collectifs des régions Nord-Pas-de-Calais et Provence-Alpes-Côte d‟Azur. Les analyses mettent en relief certains dysfonctionnements, c‟est pour y remédier que des projets d‟aménagement en matière de transport ont été simulés dans chacune des régions. Les résultats montrent comment les réseaux de transport collectif peuvent favoriser une construction métropolitaine, mais aussi leurs limites. En effet, la thèse plaide pour une conception coordonnée des politiques de transport et d‟aménagement.

Construit à partir d'une expérience dans un programme de recherche-action en Guinée Maritime, le présent travail met en lumière la nécessité d'actualiser les mesures classiques et macroéconomiques du développement humain, sur lesquelles se basent les politiques de développement qui sont menées en milieu rural africain. Une analyse géohistorique met en évidence une accélération contemporaine des changements géographiques, économiques, politiques et sociaux : la connexion des sociétés étudiées à un monde globalisé s'accroît, par la monétarisation des échanges et leur vulnérabilité augmente face à l'instabilité des prix. Localement, dans les villages, le manque de bien-être (pauvreté) et l'accroissement des inégalités économiques témoignent que les ménages ne fonctionnent pas de manière satisfaisante au quotidien : leur accès aux ressources, aux biens et aux services d'utilité publique sont des problèmes récurrents. La construction d'indicateurs « autochtones » d'accessibilité, réalisée au moyen de méthodes qualitatives et quantitatives, permet de rendre compte des difficultés d'accès des ménages et de leurs communautés villageoises pour accomplir leurs fonctionnements. D'un côté, celles-ci concernent la mise en oeuvre des mobilités nécessaires et donc la construction des espaces de circulation à plusieurs échelles. De l'autre, elles se traduisent par un accès aux ressources insuffisant pour améliorer leur niveau et leurs conditions de vie ainsi que leurs fonctionnements sociaux. Au final, l'ensemble de ces indicateurs d'accessibilité représentent de bons indicateurs du bien-être, du changement économique et social, ainsi que des inégalités et du fonctionnement social.

Contexte : En République de Guinée, depuis 1984, l’ensemble des structures de soins ont intégré le programme de Soins de santé primaires et Médicaments Essentiels (PEV/SSP/ME). Pour la réalisation de ce programme, d’importants efforts et des sommes des millions de dollars ont été investis, mais les indicateurs de santé du pays sont toujours des plus alarmants du monde (EDS- 2005). Objectif : Evaluer la performance des structures de soins de santé primaires (SSP) d’un district sanitaire guinéen à partir des documents administratifs suivi d’une enquête sur la satisfaction des prestataires et des bénéficiaires et des parties prenantes du district. Méthodologie : Il s’agit d’une étude descriptive de cas touchant 10 des 18 structures de soins de santé primaires du district sanitaire de Labé. Elle porte sur une analyse quantitative de résultats de 10 contrôles semestriels (2004-2009) et sur une analyse qualitative composée d’entretiens menés auprès de 308 bénéficiaires et de quelques membres des Comités de gestion des structures pour apprécier le niveau de performance des structures ciblées. Résultats : Toutes les structures publiques du district sanitaire sous étude étaient intégrées1. Malgré cela, la tendance moyenne des consultations affiche une allure sinusoïdale (fluctuante). Bien que la disponibilité, l’accessibilité, l’utilisation et la couverture adéquate et effective des services de Consultation Primaire Curative (CPC) et de Planification Familiale (PF) n’ont pas connu d’amélioration durant la période de 2004 à 2009. La tendance moyenne de la Consultation prénatale (CPN) et celle de la Vaccination (VA) se sont améliorées au cours de la période d’étude. Les prestataires de services SSP déclarent être assez satisfaits de leur formation mais ne le sont pas pour leur condition de travail surtout ceux du milieu rural (faible rémunération, environnement difficile), qualité moindre de la supervision et ruptures fréquentes de stock en médicaments essentiels. Pour les bénéficiaires, leur satisfaction se limite au respect de leurs valeurs culturelles et de leur interaction avec les prestataires de soins. Cependant, ils déplorent le long temps d’attente, la mauvaise qualité de l’accueil, les coûts élevés des prestations et le manque d’équité qui sont des facteurs qualifiés comme des éléments de contreperformance des structures. Pour les autorités et des parties prenantes, la rupture des stocks en médicaments essentiels, le manque d’équipements et la faible motivation des prestataires sont les facteurs majeurs qui entravent la performance des structures sanitaires, surtout en milieu rural. Conclusion : Malgré l’intégration du programme des SSP dans les structures de SSP du district sanitaire de Labé, on note encore une insuffisance de leur utilisation, la faiblesse de la couverture, le manque de suivi et supervision des structures Une étude actualisée et plus étendue pourrait mieux cerner le sujet. / Context: Since 1984, Guinea has integrated the Primary Health Care program (PHC). Millions of dollars have been invested; still, the national health indicators remain among the most alarming in the world (EDS-2005). Objective: Evaluate the performance of the primary health care structures of a Guinean health district using administrative document, and interviews as well. Methodology: It is a descriptive study targeting 10 out of 18 primary health centers of Labe District. The study is based on the results of the review of 10 bi-annual monitoring (2004-2009) to draw trends; an in-depth interview of service providers as well as beneficiaries and stakeholders, to assess their satisfactory of primary health services received from 2004 through 2009. Results: The study found that all the public structures are integrated2 in the health district. However, the average tendency of the consultations follows a sinusoidal pattern. The average services effectiveness for the prenatal care and Immunization services, have been greatly improved during the study period. Even if the services are available, the utilization and efficiency of the General primary care (PHC) and Family planning services are not improved. The health service providers are quasi-satisfied of their training, but they are not satisfied with the level of supervision done by the health district authorities as well as their remuneration (salaries and other advantages), especially in the rural areas. In the other side, the beneficiaries are satisfied with the respect of their cultural values, their interaction with the service providers. But they are not satisfied with the long waiting delay and the lake of the reception they had from their health care providers. In addition the study shows that for the stakeholders, the essential medicines stock out, the lack of equipment are the main factors that caused the low of health structures performance, especially in the rural areas. Conclusion: Despite the perfect integration of the PHC structures of Labe district, the services are efficient. Because of the small size of services covered, this study should be completed by a larger size study to get better Guinean PHC structures performance status.

Cette thèse s'inscrit dans le champ de la géographie humaine et sociale et plus précisément dans celui des " disability studies ". En positionnant le handicap comme une " figure du social ", la thèse analyse la prise en compte sociétale des personnes à mobilité réduite (PMR) dans des environnements non urbanisés, à très fort enjeu de développement touristique, récréatif et patrimonial. Dans un premier temps, c'est la construction récente du handicap en tant que figure du social qui est abordée, en rappelant l'historique de la considération de la personne handicapée dans nos sociétés occidentales. Le modèle français et son principe fondamental d'accessibilité généralisée à tous les domaines de la vie sociale sont détaillés et la thématique " Nature et Handicap " est analysée plus précisément, en tant que développement d'un idéal de vie active pour les personnes en situation de handicap. Dans un second temps, la thèse développe cette thématique sur le terrain particulier de l'Île de La Réunion et tente de répondre à une question à la fois simple et complexe : " comment vit-on avec une déficience aujourd'hui à La Réunion ? ". Dans un dernier temps et sur la base de cette analyse du handicap au sein d'une société réunionnaise aux mutations accélérées, la thèse précise les tendances actuelles avec l'apparition de nouvelles politiques publiques d'accueil des PMR dans les espaces naturels et touristiques de l'île. S'appuyant sur une enquête originale, la thèse propose enfin des outils d'évaluation et d'aide à la décision spécifiques à ces espaces.

Les villes Indonésiennes telles que Jakarta, Surabaya, Medan et Semarang ont un niveau de développement très rapide. Elles concentrent beaucoup d'activités économiques et d'emplois. L'infrastructure du transport ne soutient pas ce développement économique et le marché de l'emploi. La recherche sur mobilité et accessibilité au marché de l'emploi dans les villes Indonésiennes est quasiment rare. Dans cette recherche, nous voulons essayer de montrer les caractéristiques de la mobilité et du marché de l'emploi en Indonésie afin d'enrichir la connaissance de ce domaine notamment pour le cas du pays en voie de développement

Les pucerons sont des hémiptères ravageurs des cultures agronomiques particulièrement adaptés à leur environnement. Acyrthosiphon pisum (le puceron du pois) présente un cycle de vie basé sur l’alternance d’une reproduction sexuée ou asexuée en réponse à la photopériode. Ils présentent ainsi un polyphénisme de reproduction aboutissant à la formation de trois phénotypes distincts : femelles asexuées, femelles sexuées, et mâles. Ces derniers étant obtenus par élimination d’un chromosome X, A. pisum est une espèce hétérogamétique mâle présentant un système chromosomique XX chez les femelles et X0 chez les mâles. Le déséquilibre du nombre de chromosome X entre mâles et femelles engendré par cette hétérogamétie nécessite chez certains organismes d’être corrigé par des mécanismes de compensation de dose. Les polyphénismes et compensation de dose impliquent chez d’autres organismes des régulations transcriptionnelles notamment régulées par l’accessibilité de la chromatine.Ma thèse vise ainsi à étudier le polyphénisme de reproduction et la compensation de dose des pucerons sous l’angle d’analyses bio-informatiques de données d’expression des gènes (RNA-seq) et d’accessibilité de la chromatine (FAIRE-seq) dans le but de caractériser l’impact des mécanismes épigénétiques dans ces deux processus biologiques fondamentaux du cycle de vie des pucerons. Les résultats développés dans ma thèse ont permis de montrer d’une part la présence d’une compensation de dose chez le puceron du pois au niveau transcriptomique, supportée par une accessibilité accrue de la chromatine de l’unique X des / Aphids are hemipterous crops pests that are particularly adapted to their environment. Acyrthosiphon pisum (pea aphid) displays a life cycle based on the alternation of sexual or asexual reproduction in response to photoperiod. They thus exhibit a reproductive polyphenism resulting in the formation of three distinct phenotypes: asexual females, sexual females, and males. The latter being obtained by elimination of an X chromosome, A. pisum is a male heterogametic species with a XX chromosomal system in females and X0 in males. The X chromosome number between males and females caused by this heterogamy requires in some organisms to be corrected by dosage compensation mechanisms. Polyphenisms and dosage compensation both involve in other organisms transcriptional regulations that are notably regulated by the chromatin accessibility regulations. My thesis aims to study the reproductive polyphenism and dosage compensation in aphids in the context of bioinformatic analyzes of gene expressioThe results developed in my thesis have shown, on one hand, the presence of dose compensation in pea aphid at the transcriptomic level, which is supported by increased chromatin accessibility of the males’ single X in somatic cells. On the other hand, specific sites of chromatin opening between sexual and asexual embryos seem to participate in the definition of their reproduction mode by modulating the expression of certain genes and by allowing the fixation of transcription factors. Their analysis shows the involvement of ecdysone as a new hormonal pathway that may trigger sexual reproducti

La santé bucco-dentaire est encore aujourd’hui une importante problématique de santé publique en France. Pour une partie des patients, les consultations chez le chirurgien-dentiste reposent sur le ressenti d’un problème, le plus souvent une douleur, qui pourra motiver une demande de prise en charge en urgence en rendant le patient dépendant de l'intervention d'un chirurgien-dentiste. En France, l’offre de soins odontologiques d’urgence dépend majoritairement de soins dispensés au sein de cabinets dentaires privés tandis que l’offre de soins publique reste minoritaire et hétérogène. Cette organisation particulière associée à la difficile définition de ce qui constitue une urgence odontologique est susceptible d’entraîner pour les patients des difficultés d’accès aux soins d’urgence. L’analyse de la littérature internationale montre que des problématiques identiques existent dans des pays de niveau de vie équivalent et ces constatations plaident pour un développement de l’offre de soins odontologiques d’urgence en milieu hospitalier. Ce travail s’articule autour de trois études s’adressant chacune aux différents acteurs de l’urgence odontologique (patients, chirurgiens-dentistes en exercice et étudiants en odontologie). Il a pour objectifs (i) de caractériser la notion d’urgence dans le contexte de l’odontologie, (ii) de discuter des bénéfices et des limites actuels de ses deux modes de prise en charge (privé et public), (iii) d’envisager les enjeux éducationnels relatifs à l’enseignement de l’urgence odontologique et (iv) de discuter des enjeux éthiques relatifs à une meilleure prise en considération professionnelle de cette dernière. / Despite major therapeutic progress, oral health still remains an important public health problem in France. The use of dental care is mainly based on patients’ perception of a dental problem, mostly pain, that may motivate a request for emergency dental care. In contrast to what is available for the management of medical emergencies, the provision of emergency dental care in France relies mainly on care provided in private dental offices while the supply of public emergency dental care remains minor and heterogeneous. This particular organization, associated with the difficulty in identifying precisely what constitutes a dental emergency, is likely to result in patients lacking access to emergency dental care. The analysis of the international literature shows that similar issues have been raised in countries of equivalent standard of living and these findings call for developing the provision of dental care in the hospital environment. This work is based on three complementary studies, each of which addressing the different actors involved in dental emergencies (patients, dentists and dental students). The aim of this work is (i) to characterize the notion of urgency in the context of dentistry, (ii) to discuss the benefits and current limitations of the two co-existing ways of management of dental emergencies (i.e. private offices and public hospital), (iii) to consider the educational issues related to the teaching of dental emergency topic and (iv) to carry out, on the basis of the synthesis of our experimental results, a reflection on the ethical issues related to better consideration of these common care situations by dentists.