On présente une Logique Probabiliste avec des opérateurs Conditionnels - LPCP, sa syntaxe, sémantique, axiomatisation correcte et fortement complète, comprenant une règle de déduction infinitaire. On prouve que LPCP est décidable, et on l'étend pour qu’il puisse représenter l'évidence, en créant ainsi la première axiomatisation propositionnelle du raisonnement basé sur l'évidence. On codifie les Logiques Probabilistes LPP1Q et LPPQ2 dans l'Assistant de Preuve Coq, et on vérifie formellement leurs propriétés principales: correction, complétude fort et non-compacité. Les deux logiques étendent la Logique Classique avec des opérateurs de probabilité, et présentent une règle de déduction infinitaire. LPPQ1 permet des itérations des opérateurs de probabilité, lorsque LPPQ2 ne le permet pas. On a formellement justifié l'utilisation des solveurs SAT probabilistes pour vérifier les questions liées à la cohérence. On présente LFP, un Cadre Logique avec Prédicats Externes, en introduisant un mécanisme pour bloquer et débloquer types et termes dans LF, en permettant l'utilisation d’oracles externes. On démontre que LFP satisfait tous les principales propriétés et on développe un cadre canonique correspondant, qui permet de prouver l’adéquation. On fournit diverses encodages - le λ-calcul non-typé avec la stratégie de réduction CBV, Programmation-par-Contrats, un langage impératif avec la Logique de Hoare, des Logiques Modales et la Logique Linéaire Non-Commutative, en montrant que en LFP on peut codifier aisément des side-conditions dans l'application des règles de typage et atteindre une séparation entre vérification et computation, en obtenant des preuves plus claires et lisibles. / We introduce a Probability Logic with Conditional Operators - LPCP, its syntax, semantics, and a sound and strongly-complete axiomatic system, featuring an infinitary inference rule. We prove the obtained formalism decidable, and extend it so as to represent evidence, making it the first propositional axiomatisation of reasoning about evidence. We encode Probability Logics LPP1Q and LPP2Q in the Proof Assistant Coq and formally verify their key properties - soundness, strong completeness, and non-compactness. Both logics extend Classical Logic with modal-like probability operators, and both feature an infinitary inference rule. LPP1Q allows iterations of probability operators, while LPP2Q does not. In this way, we have formally justified the use of Probabilistic SAT-solvers for the checking of consistency-related questions. We present LFP - a Logical Framework with External Predicates, by introducing a mechanism for locking and unlocking types and terms into LF, allowing the use of external oracles. We prove that LFP satisfies all the main meta-theoretic properties and develop a corresponding canonical framework, allowing for easy proofs of adequacy. We provide a number of encodings - the simple untyped λ-calculus with a Call-by-Value reduction strategy, the Design-by-Contract paradigm, a small imperative language with Hoare Logic, Modal Logics in Hilbert and Natural Deduction style, and Non-Commutative Linear Logic (encoded for the first time in an LF-like framework), illustrating that in LFP we can encode side-conditions on the application of rules elegantly, and achieve a separation between verification and computation, resulting in cleaner and more readable proofs.

Cette thèse examine le travail des cadres intermédiaires, leur expérience subjective du travail et leur construction de réalité(s) organisationnelle(s). Le matériau empirique provient d’un travail de terrain ethnographique réalisé sur plusieurs sites au sein d’une entreprise Brésilienne d’audit et de consulting de taille moyenne. Le cœur de cette thèse est constitué de trois articles indépendants. Le premier de ces articles conceptualise l’émergence et la nature du travail-frontière des cadres intermédiaires comme un moyen de favoriser le travail collaboratif entre des acteurs organisationnels multiples, aux perspectives et intérêts souvent divergents. Le travail-frontière est à la fois un transfert de connaissances, une traduction d’interprétations et une transformation d’intérêts au départ incompatibles entre différents groupes organisationnels. Un cadre conceptuel – composé de huit conditions structurelles, sept types de travail-frontière des cadres intermédiaires et neuf conséquences structurelles – est proposé et mobilisé, illustrant par ses implications pratiques et théoriques la compréhension de l’effort de stimulation de la collaboration trans-fonctionnelle réalisé par le cadre intermédiaire. Le deuxième article de cette thèse étudie l’expérience subjective des cadres intermédiaires lorsqu’ils ont à réaliser un tel travail-frontière d’adaptation mutuelle de différents groupes organisationnels. Nous réalisons cette étude en nous appuyant sur le concept de « sujet-frontière » proposé par Huzzard et al. (2010), lequel intègre les responsabilités professionnelles des cadres intermédiaires, et nous montrons les répercussions ambivalentes de la situation d’entre-deux du travail des cadres intermédiaires dans leur expérience subjective du travail. Le troisième article se penche sur la plus importante des branches de l’entreprise observée afin d’étudier comment les travailleurs intermédiaires de cette branches se détournent des directives du siège. Nous avons recours au concept Baudrillardien (1983) de simulacre afin de mettre en évidence trois pratiques de simulation mises en œuvre dans cette branche, chacune d’entre elles appartenant à un ordre dont le degré de prise de distance est toujours plus élevé relativement aux pratiques du siège auxquelles elles se réfèrent. Cet article met en lumière les rôles et les buts des cadres intermédiaires dans la création et le maintien de pratiques simulées, et avance que le management simultané de « réalités » alternatives peut fournir aux cadres intermédiaires un moyen d’augmenter leur champ d’influence, à la fois symboliquement et matériellement. / This dissertation investigates middle-managers’ work, experience of work, and construction of organizational reality. It draws its empirical material upon a seven month multi-site ethnographic fieldwork within a medium-sized Brazilian auditing and consulting firm. The core of this dissertation is constituted of three independent papers. The first of these papers sets out a conceptualization of the emergence and nature of middle-managers’ boundary work as a means of fostering collaborative work among distinct, and often divergent, organizational actors. Boundary work consists of the transference of knowledge, the translation of understandings, and the transformation of interests that are mismatched across organizational groups. A conceptual framework composed of eight structural conditions, seven types of middle-managerial boundary work and nine structural consequences is advanced and mobilized, illustrating its theoretical and practical implications for understanding middle-managers’ work of fostering cross-functional collaboration. The second paper of this dissertation studies the subjective experience of middle-managers while performing such a boundary work of interfacing different organizational groups. This is done by building upon the concept of ‘boundary subjects’ proposed by Huzzard et al. (2010), which encapsulates such work responsibilities, and by demonstrating the ambivalent repercussions of the in-betweenness of middle-managers’ work in their subjective experience of performing this work. The third paper focus on the most important of BAMA’s branches to study how the middle-managers from this branch deviate from headquarters directives. The Baudrillardian (1983) concept of the simulacrum is drawn upon to structure the demonstration of three distinct simulated practices engaged in at the branch, each pertaining to an order defined by an increasingly distance from the corresponding headquarters practices. This paper highlights middle-managers’ roles and purposes in creating and maintaining simulated practices, and posits that the simultaneous management of alternative ‘realities’ may provide a way for middle-managers to expand their power, in both symbolic and material terms.

L'action collective des cadres ne se réduit pas à la seule forme syndicale et intercatégorielle d'organisation et de représentation. Les cadres peuvent s'engager dans le syndicalisme catégoriel, incarné par la Confédération Générale des Cadres (CGC), ou dans une centrale ouvrière. Mais ils peuvent aussi s'impliquer dans les associations professionnelles qui les regroupent selon le critère du type d'emploi occupé, ou dans l'association des anciens élèves de leur École. La thèse, prenant pour objet l'action collective des cadres en lien avec le travail et l'emploi, consiste à expliquer cette pluralité des offres de représentation des cadres et la variété de leurs engagements, par la compréhension du sens que revêt chacune de ces formes d'action (syndicale, professionnelle, corporative) et l'analyse des trajectoires individuelles d'implication. Elle démontre que le caractère pluriel de l'action collective des cadres s'explique par l'équivocité de leur rapport à la relation de subordination, immanente au contrat de travail : c'est le rapport ambivalent des cadres à la subordination salariée qui est la cause de la diversité de leurs pratiques collectives. La thèse montre que chaque type de groupement (syndicat, association professionnelle et groupement d'anciens élèves) est une ressource spécifique, qui autorise la conscription de la subordination à l'employeur et la reconnaissance d'une valeur individuelle irréductible à son évaluation hiérarchique contingente.

Selon différents théoriciens (Guénoun, Lehmann, Ryngaert, etc.), la fin du vingtième siècle se caractérise par l'émergence de nouvelles formes théâtrales, marquées par la contamination des pratiques spectaculaires. Hans-Thies Lehmann reprend la notion de "théâtre postdramatique" proposée par Richard Schechner pour qualifier ces formes métissées de spectacle vivant La thèse défendue est la suivante : le théâtre postdramatique trouve sa spécificité non seulement dans la transgression des codes dramatiques mais surtout dans des processus de réception spécifiques qu'il importe de définir, à l'aide d'outils notamment sémiotiques. Ces processus sont situés et construits par rapport à différents modèles interdisciplinaires.

La Chine éprouve de nos jours d’importants problèmes de pollution. Les dirigeants du Parti communiste chinois mettent en place des mesures de protection environnementale depuis plus de 30 ans mais celles-ci semblent n’avoir aucun effet. Quelles limites rencontrent-ils lors de la mise en œuvre des politiques? Dans une perspective néo-institutionnaliste historique, le présent travail analysera les répercussion de trois effets institutionnels et d’un problème institutionnel sur le système administratif du secteur de la protection environnementale depuis sa création en 1979. Selon l’hypothèse de la dépendance au sentier, la croissance économique, la décentralisation, le système de responsabilité des cadres et la corruption génèrent des effets qui s’intègrent au système et qui s’auto-renforcent dans les années subséquentes. Ils auront des incidences importantes sur la mise en œuvre des politiques environnementales, malgré les changements effectués par le gouvernement central pour améliorer ce secteur administratif entre 1979 et 2008.

Cette thèse essaye d'évaluer dans quelle mesure le chômage des cadres au début des années 1990 a contribué à la " déstabilisation des stables ". Le chômage des cadres a contribué à mettre en débat les représentations de la catégorie, la figure du " cadre-à-statut " (stabilité, homogénéité, spécificité), considérée comme obsolète, est remplacée dans les discours des journalistes, des Ressources Humaines et des syndicats par deux nouvelles figures : une négative " le cadre précaire " (rapprochement cadres / non - cadres dans la précarité) et une positive " le cadre nomade " (rapprochement cadres / entrepreneurs dans la mobilité et le risque). Mais les réflexions en terme de figure sous-estiment le rôle des porte-parole et des experts, l'hétérogénéité structurelle et la féminisation croissante des cadres et sont fortement nuancées par les analyses statistiques des flux de mobilité et de trajectoires de retour à l'emploi de chômeurs (vulnérabilité / employabilité), réalisées avec l'enquête Emploi. La deuxième partie est centrée sur les conditions sociales de diffusion et d'appropriation de la figure du " cadre nomade ". La recherche d'emploi est un espace de socialisation à ces nouvelles normes d'emploi fondée sur la logique employabilité, versant externe de la logique compétences. Cette rhétorique permet aux cadres d'adopter des status de substitution et d'éviter le stigmate du " chômeur assisté, et correspond à leur " ethos " (psychologisation, individualisme, rationalisation), mais l'étude de sa mise en pratique rappelle l'hétérogénéité des cadres, notamment en terme de diplôme, d'âge et de type de professions/secteurs d'activité. Pour comprendre les carrières et les transitions professionnelles des cadres, il faut enfin se situer à l'articulation sphère professionnelle / sphère privée. Les cadres ne sont pas des " nomades ", définis comme individus légers, mobiles, pour qui le chômage est un événement banal. Ce sont des individus sexués inscrits dans une configuration familiale : les hommes essayent dans cette épreuve de garder leur place, tandis que les femmes essayent de conserver leur autonomie. La place centrale du travail reste en définitive confirmée par l'épreuve du chômage, qui parfois génère même une resacralisation du travail, notamment pour ceux qui cherchent désormais une vocation et un sens à la vie à travers leur nouvel emploi.

La Chine éprouve de nos jours d’importants problèmes de pollution. Les dirigeants du Parti communiste chinois mettent en place des mesures de protection environnementale depuis plus de 30 ans mais celles-ci semblent n’avoir aucun effet. Quelles limites rencontrent-ils lors de la mise en œuvre des politiques? Dans une perspective néo-institutionnaliste historique, le présent travail analysera les répercussion de trois effets institutionnels et d’un problème institutionnel sur le système administratif du secteur de la protection environnementale depuis sa création en 1979. Selon l’hypothèse de la dépendance au sentier, la croissance économique, la décentralisation, le système de responsabilité des cadres et la corruption génèrent des effets qui s’intègrent au système et qui s’auto-renforcent dans les années subséquentes. Ils auront des incidences importantes sur la mise en œuvre des politiques environnementales, malgré les changements effectués par le gouvernement central pour améliorer ce secteur administratif entre 1979 et 2008.

Reproduction de : Thèse de doctorat : Etudes anglophones : Lyon 2 : 2006. / Titre provenant de l'écran-titre. Bibliogr. Index.

On ne peut pas reproduire l'expérience d'une épidémie à l'échelle d'un pays ou d'une région. Or, en l'absence d'expérience reproductible, la notion usuelle de " validation " de modèle qui consiste à tester si le modèle A* d'un système A permet de reproduire le comportement de A, n'a aucun sens statistique.Marvin Minsky donne la définition suivante de ce qu'est un modèle: Pour un observateur B, un objet A* est un modèle d'un objet A s'il permet à B de répondre à une question qu'il se pose sur A. Nous appelons triade de Minsky, l'ensemble des trois objets A, B et A*. Nous proposons d'utiliser la Théorie de la Modélisation et de la Simulation (TMS) pour modéliser et simuler la triade de Minsky. Cela nous permet de modéliser la triade vue comme un système dynamique composée des objets A, B et A*. Nous pouvons ainsi nous interroger sur l'utilisation d'un modèle A* par un utilisateur B et sur l'impact que cette utilisation a sur la trajectoire du système A.Nous appliquons ce cadre à une triade de Minsky empruntée à notre contexte d'étude. Il s'agit d'un cas d'école où une épidémie (l'objet A) est observée et contrôlée par un système de surveillance et de contrôle (l'observateur B) et où un modèle épidémiologique (A*) est utilisé pour évaluer les mesures de contrôle.

La Chine éprouve de nos jours d’importants problèmes de pollution. Les dirigeants du Parti communiste chinois mettent en place des mesures de protection environnementale depuis plus de 30 ans mais celles-ci semblent n’avoir aucun effet. Quelles limites rencontrent-ils lors de la mise en œuvre des politiques? Dans une perspective néo-institutionnaliste historique, le présent travail analysera les répercussion de trois effets institutionnels et d’un problème institutionnel sur le système administratif du secteur de la protection environnementale depuis sa création en 1979. Selon l’hypothèse de la dépendance au sentier, la croissance économique, la décentralisation, le système de responsabilité des cadres et la corruption génèrent des effets qui s’intègrent au système et qui s’auto-renforcent dans les années subséquentes. Ils auront des incidences importantes sur la mise en œuvre des politiques environnementales, malgré les changements effectués par le gouvernement central pour améliorer ce secteur administratif entre 1979 et 2008.