Notre thèse porte sur la Modélisation d'Entreprise et plus particulièrement sur une vision Ingénierie Système de celle-ci afin de faciliter son application « à minima » en entreprise. Alors que la modélisation d’entreprise arrive à maturité scientifique et technologique, force est de constater que sa pratique est encore trop peu courante. En outre, il n’existe pas à proprement parler de tâche de modélisation, de maintenance et de gestion de modèles dans l’entreprise. La question s’est alors posée de la relation d’interopération entre les systèmes, d’un Système-Entreprise évolutif, le plus souvent composé de façon ad-hoc de sous-systèmes (COTS), qui ont pour particularité d’encapsuler leur propre Savoir-Faire et leurs Ingénieries respectives, en incluant le Système-Produit (son besoin, son projet, …) à la source de chaque recomposition « à la demande » du Système-Entreprise. Un des objectifs de nos travaux est donc de faciliter l’interopération entre les ingénieries de ces systèmes interopérants (autour du produit A Faire) et l’Ingénierie du Système-Projet d’Entreprise (Pour Faire). Nous nous sommes alors inspirés de la proposition de Kuras pour formaliser notre Système-Entreprise (en fait son Ingénierie) dans une sorte de « Système de Systèmes d’Information » (SdSI) en tenant compte de ses aspects récursifs et multi-échelles dans un contexte organisationnel évolutif. De plus, en nous appuyant sur la théorie des patterns, nous avons identifié puis dérivé le « composite-pattern» pour mieux décrire la nature « Tout et Partie » de l’Holon Système-Entreprise utilisé par Kuras pour extraire le patron de conceptualisation le plus adéquat. Parmi tous les points de vue d’un système, cette dérivation nous permet de représenter ceux du Système A Faire et ceux du Système Pour Faire avec son contenu d’Ingénierie associée guidée par le cadre de modélisation de Zachman. Nous avons outillé notre proposition de cadre d’Ingénierie Système Basée sur des Modèles (ISBM) en étendant le méta-modèle de l’outil « MEGA Modelling Suite » ainsi qu’en développant les interfaces utilisateurs nécessaires et nous l’avons appliqué à l’Ingénierie d’un Système de Traçabilité d’un Produit dans le contexte d’un scénario PLM plausible entre l’AIPL et DIMEG. / Today’s needs for more capable enterprise systems in a short timeframe are leading more organizations toward the integration of existing component-systems. In the domain of Enterprise Modelling and more generally on Systems Engineering, the key issue is related to aligning enterprise models with the composite structure of the modelled systems. While Enterprise Modelling matures both scientifically and technologically, it is clear that its practice is still uncommon in the enterprises. There is no modelling approach in enterprise, neither even capitalization of models. This paper aims at proposing a Model-Based System Engineering (MBSE) approach, by using the recursion principle, together with a “multiple scales system thinking”, for capitalizing the engineering know-how, over time, during a project lifecycle. In this context, we advocate that, within an enterprise, the heterogeneous set of Information Systems may be considered as COTS (Commercial-Off-The-Shelf), encapsulating their own expertise (engineering), and contributing all together to a single System-of-Information System (SoIS). We are then proposing a SoIS engineering methodology resulting from deriving our MBSE approach with a recursive view of the Zachman framework. This approach, based on modelling rules and enterprise modelling constructs, is contributing to ensure the consistency and the completeness of the various heterogeneous models interoperating during systems engineering projects. To validate our MBSE proposal, a modelling tool has been prototyped. It helped at applying our SoIS engineering methodology in a use case scenario related to the requirement analysis and the specification of a product traceability system.

La calculabilité est centrée autour de la notion de fonction calculable telle que définie par Church, Kleene, Rosser et Turing au siècle dernier. D'abord focalisée sur les nombres entiers, la calculabilité a été généralisée aux ensembles, notamment par le biais de la théorie axiomatique des ensembles de Kripke-Platek. Dans cette thèse, nous définissons une notion générale de calculabilité, les sous-calculabilités, dont les axiomes sont satisfaits à la fois par de nombreux fragments récursifs de la calculabilité classique, mais également par des calculabilités d'ordre supérieur sur les ensembles admissibles. Nous montrons, sur cette structure composée d'une énumération de fonctions totales et d'une énumération de fonctions partielles, que les théorèmes classiques de calculabilité (isomorphisme de Myhill, Rogers, théorème s-m-n,point fixe de Kleene, théorème de Rice, créativité, etc.) sont présents sous différentes formes alors même que les sous-calculabilités ne comprennent qu'un fragment des objets de la calculabilité classique. Les structures de degrés associées aux notions de récursivité que nous définissons reflètent également des propriétés de la calculabilité (degrés intermédiaires, high, low, etc.), mais nos réductions étant plus fortes, une structure fine apparaît à l'intérieur même des degrés récursifs. Finalement, nous montrons que les calculabilités sur les admissibles sont interprétables dans le formalisme des sous-calculabilités. En particulier, les énumérations des ensembles alpha-finis et alpha-énumérables présents dans ce contexte nous permettent de transférer certains résultats d'un modèle à l'autre. / Computability is centered on computable functions, as defined by Church, Kleene,Rosser and Turing in the twentieth century. Initially focused on integers,computability has been generalised to sets, in particular thanks toKripke-Platek's Axiomatic Set Theory.In this thesis, we define a general notion of computability,sub-computabilities, whose axioms are satisfied by numerous recursive fragmentsof classical computability, and also by higher-order computabilities overadmissible sets. We show how in sub-computabilities, containing an enumeration oftotal functions and an enumeration of partial functions, classical theoremssuch as Myhill and Rogers isomorphisms, s-m-n theorem, Kleene's fixed-point orRice's theorem hold in a slightly different way, even if a large part ofthe objects of computability are missing. Along with each of thesesub-computabilities and their different notions of recursivity comes a structureof degrees (with intermediate, high and low degrees, etc.), refining theclassical one, our notions of recursivity being stronger.Moreover, we show how admissible computability can be interpreted through theformalism of sub-computabilities. In particular, the enumerations ofalpha-finite and alpha-enumerable sets present in this setting allowsome interesting results to be carried from one model to the other.

Cette thèse s'inscrit dans le cadre des travaux consacrés au développement des modèles sémantiques destinés aux langages de programmation concurrents. Une particularité de notre étude réside dans la considération explicite d'une récursivité au niveau des programmes parallèles. Pour ces programmes nous proposons une sémantique originale, dont nous étudions en détail les propriétés. Bien que le modèle proposé ne soit pas d'états finis, il est possible de le munir d'une structure de systèmes de transitions bien structurés au sens de Finkel ce qui établit la décidabilité de nombreux problèmes de vérification. Cette sémantique à la Plotkin permet de mieux comprendre le comportement des programmes récursifs-parallèles, d'analyser formellement certaines de leurs propriétés, de décrire la stratégie d'implémentation et d'énoncer en quel sens elle est correcte.

La thèse consiste en une mise en rapport aux plans notionnel et empirique de la valeur saussurienne et de l’archétype jungien. L’intérêt d’établir une telle corrélation est d’étudier les valeurs archétypales dans une perspective néo-saussurienne. Pour ce faire, la notion de valeur dans les manuscrits saussuriens De l'essence double du langage est traitée dans son aspect double, différentiel et réflexif à la fois : cela permet aux différences articulées de se charger d’une expression métalinguistique. Les valeurs archétypales héritent alors de cette propriété double. La notion de valeur archétypale entre ainsi en interdépendance avec d’autres notions : celles de différenciation, de postélaboration, d’association, de catégorie, de niveau. Les valeurs archétypales héritent de deux particularités des archétypes jungiens : elles se présentent comme des conventions collectives sociales et comme des élaborations langagières systémiques à la fois. Pour assurer le cadre méthodologique de l’analyse, une division aristotélicienne est appliquée. Cela permet d’abord aux valeurs de s’articuler en valeurs génériques, spécifiques et numériques. Cela permet ensuite aux qualités archétypales d’assurer les différenciations. Dans la mesure où valeur et sens sont inséparables, cette étude des valeurs archétypales est aussi une étude sémantique qui se donne pour l’objectif d’étudier les représentations qualitatives du sens. / The thesis represents empirical and notional relationships between Saussure’s values and Jung’s archetypes. The aim is to study the archetypal values in a neo-Saussurean perspective. In order to achieve this aim, the notion of value in Saussure’s On the dual essence of language is presented as a dual phenomenon with a differential nature and a reflexive meta-linguistic nature at the same time. Thus, the archetypal values inherit this dual aspect. The notion of archetypal value appears as a complex one that enters interdependence with other notions, (differentiation and post-elaboration, association and category, generic, specific and numeric identities and levels). The archetypal values inherit two particular properties from Jung’s archetype. Therefore, the archetypal values appear as social and collective conventions, as well as language system elaborations. To provide relevant methodological framework for the analysis, the Aristotelian division is applied. In this way the values are generically, specifically and numerically differentiated. Then this method allows archetypal qualities to make the differentiation of the three types of values. Since the value and the meaning are inseparable, this study of the archetypal values also has a semantic aspect and aims to study the qualitative representations of the meaning.

L’analyse phénoménologique du mouvement du Soi a été menée auprès de dix-sept sujets, des intervenants en soins spirituels (ISS), ayant cheminé en direction d’une profession ouverte à la spiritualité et s’ouvrant à leur spiritualité. Notre démarche de recherche s’appuie sur la phénoménologie et s’ancre dans un paradigme constructiviste. Nous avons cherché à appréhender la formalisation d’un nouveau métier qui donne accès à une forme de psychologie spirituelle et laïque mise en pratique au moyen de soins spirituels non-confessionnels. Cette pratique particulière du soin spirituel au sein d’institutions de santé laïques nous a fait interroger les sources épistémologiques de l’herméneutique du Soi qui subit à la fois l’impact de l’histoire de la sécularité qui reconnaît la rupture culturelle et religieuse. Cette recherche a permis d’accéder à une meilleure compréhension du parcours spirituel des ISS et de comprendre la nature d’un soin spirituel laïque qui engage la spiritualité personnelle de l’ISS. Elle a aussi permis de proposer un modèle d’accompagnement qui se situe à l’interface des soins spirituels et de la psychothérapie. Le mouvement du Soi s’exprime d’abord, chez l’ISS, dans la connaissance de ses propres blessures, de son humanité et dans un rapport à soi envisagé du point de vue de la normativité culturelle, religieuse, sociale et/ou institutionnelle. Ensuite, le Soi cherche à advenir à un nouveau rapport à l’existence que le sujet construit au fur et à mesure qu’il avance en direction d’une autonomie à conquérir – le gouvernement de soi – qui décrit une forme de maturité spirituelle ouverte à la spiritualité d’autrui. Enfin, l’atteinte de cette maturité se réalise pour le sujet au sein d’une création poétique de Soi qui est acceptation de Soi et permet au sujet ISS de déployer sa spiritualité au cœur d’un espace laïque au service du besoin spirituel des patients. L’analyse de contenu du mouvement de l’être a permis de formaliser quatre étapes évolutives à travers lesquelles s’accomplit le déploiement d’une psychologie spirituelle propre aux sujets spirituels : (1) la figuration en tant que pensée spirituelle qui se cherche dans un mouvement causal ; (2) la configuration qui renvoie à la pensée spirituelle engagée dans la construction d’un sens sur elle-même, d’une histoire à soi et d’une spiritualité à vivre ; (3) la refiguration comme la pensée qui se critique et se Remet en question (c’est la récursivité selon Morin 2006) ; (4) la transfiguration qui est le moment où la pensée se valide, advient et repart en mouvement rétrocausal. Cette dernière et quatrième étape du mouvement du Soi permet de mettre à jour les éléments constitutifs de la sagesse qui se centre sur la découverte, la construction et l’expression du Soi. Elle permet au sujet spirituel de se découvrir et de se prendre lui-même pour objet de conscience à portée universel, c’est-à-dire qu’il se projette adéquatement dans l’espace commun, entre sa spiritualité et la pensée dominante laïque. Cet entre-deux est ce qui caractérise la sagesse – Sophia en grec – dans la mesure où le sujet est capable de trouver un point de rencontre entre son histoire individuelle et l’histoire commune. Cette sagesse le fait s’inscrire au bon moment et au bon endroit (c’est le kairos) et l’aide à construire sa propre histoire soumise aux aléas de l’existence. Son expérience humaine et spirituel exprime alors son désir de l’indéterminé enchainé à la causalité. Les résultats concernant la psychologie spirituelle et laïque ont donné lieu à une distinction entre la croyance religieuse et la spiritualité religieuse. Dans le premier cas, le sujet se retrouve dans une forme de culture de soi (Foucault, 1979) qui vise le seul rapport authentique à soi ; dans le second, il place le sujet dans une situation relevant du dépassement de soi (Hadot, 1993) qui le positionne dans une quête de sens continuelle. En somme, ce mouvement du Soi apparaît être soumis à une organisation spécifique de la pensée faisant que la quête de sens s’accomplie dans une récurrence qui l’abolit sans répit (il n’y a pas de sens) tout en l’affirmant sans arrêt (le sens est le sens lui-même). Ce mouvement de la pensée est en fait un mouvement du soi qui se perd dans l’élaboration d’un savoir sur soi inductif et déductif et qui décrit l’idée que « le sens du sens est un sens qui n’a pas de sens ». Mais qui permet d’arriver à un point de rencontre entre le soi et l’autre, entre l’intérieur et l’extérieur, entre le dedans et le dehors. Finalement, la Sophia (Reconnaissance de Soi) est portée par le principe de récursivité (la critique de Soi qui permet de juger ses jugements, de critiquer sa critique et de dépasser les préjugés sur soi ou sur le monde) et est le point d’ancrage à notre construction clinique axée sur la compréhension de l’ensemble du mouvement de l’être. / The phenomenological analysis of the movement of the Self was carried out with seventeen subjects, speakers in spiritual care (ISS), having journeyed towards a profession opened to spirituality and opening to their spirituality. Our research approach is based on phenomenology and is anchored in a constructivist paradigm. We sought to understand the formalization of a new profession which gives access to a form of spiritual and secular psychology put into practice by means of non-confessional spiritual care. This particular practice of spiritual care within secular health institutions made us question the epistemological sources of self hermeneutics which goes through both the impact of the history of secularity, which recognizes the cultural and religious rupture. This research provided a better understanding of the spiritual journey of the ISS and an understanding of the nature of secular spiritual care that engages the personal spirituality of the ISS. It had also made it possible to propose a model of accompaniment which is located at the interface of spiritual care and psychotherapy. The movement of the Self is first expressed in the knowledge of one's own wounds, of one's humanity and in a relationship to oneself from the point of view of cultural, religious, social and / or institutional normativity. Then, the subject seeks to come to a new relationship with himself that he builds while moving in the direction of an autonomy to conquer - self-government - which describes a form of spiritual maturity opened to other people’s spirituality. Finally, the achievement of this maturity is made by a poetic creation of the Self which is the acceptance of the Self that allows the ISS to deploy its spirituality in the heart of a secular space at the service of the spiritual need of patients. The content analysis of the movement of the Self has made it possible to define four evolutionary stages through which the deployment of a spiritual psychology specific to spiritual subjects is accomplished: (1) figuration as a spiritual thought that is sought in causal movement; (2) the configuration which refers to the spiritual thought engaged in the construction of a sense of itself, of a story of its own and of a spirituality to live; (3) refiguration as a thinking that criticizes and questions itself (this is recursion according to Morin 2006); (4) the transfiguration which is the moment when the thought is validated, occurs and starts again in a retrocausal movement. 6 This last and fourth stage of the movement of the Self allows to reveal a form of wisdom which approach is centered on the discovery, the construction and the expression of the Self. Indeed, the spiritual subject can discover himself and take himself as the object of consciousness with an universal scope, in other words, that he projects himself adequately in the common space, between his spirituality and the dominant secular thought . This in-between is what characterizes wisdom - Sophia in Greek - insofar as the subject is able to find a meeting point between his individual history and the common history. This wisdom makes him find himself at the right time, at the right place (this is the kairos) and helps him to build his own story subjected to the vagaries of existence. Then, his human and spiritual experience are expressing his desire for the indeterminate chained to causality. The results regarding the spiritual and secular psychology gave rise to a distinction between religious belief and religious spirituality. In the first case, the subject finds himself in a form of self-culture (Foucault, 1979) which aims at the only authentic relationship with the self; in the second one, it places the subject in a situation to surpass oneself (Hadot, 1993) which positions him in a continuous quest for meaning. In short, this movement of the Self appears to be subjected to a specific organization of thought where the quest for meaning is accomplished in a recurrence which abolishes it without respite (there is no meaning) while affirming it without stopping (the meaning is the meaning itself). This movement of thought is in fact a movement of the self which is lost in the formation of an inductive and deductive self-knowledge and which describes the idea that "the sense of meaning is a meaning that has no meaning". However, it makes it possible to reach a meeting point between the self and the other, between the interior and the exterior, between the inside and the outside; it also allows to judge the judgments, criticize the criticism and overcome prejudices about oneself or the world. Finally, Sophia (Self-recognition) is the anchor point of the whole movement of the Self, making the object of our clinic essentially focused on the principle of recursion (Selfcriticism).

À la fois procédé artistico-littéraire et réflexion intellectuelle, la mise en abyme est une des stratégies de création favorites du romancier Umberto Eco. Certains auteurs ont utilisé cette technique uniquement pour de créer de « simples » jeux de miroirs (comme c’est le cas des Nouveaux Romanciers). Chez Umberto Eco, la mise en abyme est destinée à faire saillir aussi bien l’intelligibilité que la structuration de l’oeuvre. Elle est un principe récursif de la génération de figures et de formes narratives fractales : elle est pour ainsi dire le raisonnement servant comme base dans la création d’un univers romanesque par excellence autoréflexif. Selon une représentation très succincte (mais essentielle), la mise en abyme est ce dispositif narratif consistant à insérer un (ou plusieurs) récit(s) dans le Récit, qui, en reproduisant les caractéristiques de ce dernier va (vont) l’illustrer, l’expliquer et mettre en évidence le/les thème(s) de l’oeuvre. / An artistic and literary procedure and, at the same time, an intellectual reflexion, mise en abyme is one of the favorite strategies of creation of the novelist U. Eco. Certain authors have used this technique just to create "simple" games of mirrors (such as the French writers called "Nouveaux Romanciers"). In the case of Umberto Eco, mise en abyme is destined to emphasize both the intelligibility of his work, as well as its being structured in multiple layers of narrativity. We reckon that this is the recursive principle, serving at the generating of fractal shapes and characters: this is therefore the reasoning laying at the foundation of creating a fictional universe self-reflective par excellence. If we want a very concise (but essential) representation, we will say that the mise en abyme is that device consisting of the insertion of one or many more stories into The Story, which, by reproducing the characteristics of the latter, provides us with an explanation and will shed light on the theme / themes of the work.

La recherche porte sur l’analyse de la fabrication du leader et du leadership et vise à comprendre les étapes organisationnelles permettant de développer ce processus. Leader et leadership ont été abondamment traités en sciences de gestion. L’avènement d’un nouvel environnement, obligeant les organisations à se transformer, en a fait un enjeu stratégique. Celui-ci a conduit à l’émergence d’un nouveau paradigme depuis 2000. Ce nouveau courant s’appuie sur un renouvellement des études empiriques, une approche plus ouverte et des disciplines variées (psychologie, mathématiques et neurosciences). Ses apports structurent les études autour de deux axes clés : la distinction entre leader et leadership et la capacité d’une organisation à fabriquer ces attributs chez l’individu. Notre recherche s’inscrit dans ce paradigme avec une idée force : ce type de fabrication passe par des processus de transformation, notamment identitaires, qu’il convient, pour les entreprises, d’explorer davantage et de manière plus dynamique. Le dispositif mis en place établit une grille d’analyse mobilisant différents courants de recherche afin d’améliorer la compréhension de la fabrication du leader et du leadership. Ce cadre souligne les effets produits par, et sur, trois principaux champs contextuels : individu (Hughes), organisation (Giddens) et environnement (Emery et Trist). Il fait l’objet d’une transposition originale en sciences de gestion qui souligne la plasticité identitaire individuelle et la récursivité du phénomène étudié. L’analyse empirique s’appuie sur une étude de cas multiple de trois grandes organisations qui partagent une pratique managériale volontariste de développement du leader et du leadership, dont l’institution militaire, berceau de ces notions. Les conclusions soulignent l’existence d’un processus de co-création du leader et du leadership, fruit d’interactions entre environnement, organisation et individu. Ces flux transformatifs vivants répondent à ce qui est théorisé comme un agencement inter-contextuel et conduit à des préconisations managériales structurant la fabrication du leader et du leadership. / The research focuses on the analysis of the making of a leader and of leadership and aims at understanding the steps that allow large organizations to develop this process.Leader and leadership have been extensively discussed in management sciences. With the rise of a new environment requiring organizations to transform themselves, these notions have become a strategic challenge. This challenge has led to the emergence of a new paradigm of leadership in management sciences since the 2000s. This new stream, particularly embodied by the work of David Day (2000), is based on a renewal of empirical studies and on an approach more open to various disciplines such as psychology, mathematics and neuroscience. That current has contributed to the structuring of the field of studies on leader and leadership. Research increasingly focuses on the essential distinction between leader and leadership and on the organizations’ role in the making of these attributes within the individual. Our research fits into this paradigm by adding one idea: this type of making involves multiple transformation processes, including identity dimensions, which companies ought to explore more actively.The purpose of the research design is to establish an analytical framework that mobilizes different streams of research in order to help understand the making of a leader and of leadership. This framework will highlight the effects of, and on, three main contextual fields: the individual (Hughes), the organization (Giddens)and the environment (Emery and Trist). This is the subject of an original transposition in management sciences which puts the emphasis on the individual identity plasticity (Hughes) and recursivity of the phenomenon. The empirical analysis will be based on the multiple case study of three major organizations that share a proactive management of leader and leadership development, including the Army, the birthplace of such notions. The findings point out the existence of a process of co-creation of a leader and leadership, which is the result of interactions between the environment, the organization and the individual. These transformative live flows are theorised as an inter-context assemblage. This will lead to managerial recommendations for enabling the making of a leader and the leadership.

Notre thèse porte sur la Modélisation d'Entreprise et plus particulièrement sur une vision Ingénierie Système de celle-ci afin de faciliter son application « à minima » en entreprise. Alors que la modélisation d'entreprise arrive à maturité scientifique et technologique, force est de constater que sa pratique est encore trop peu courante. En outre, il n'existe pas à proprement parler de tâche de modélisation, de maintenance et de gestion de modèles dans l'entreprise. La question s'est alors posée de la relation d'interopération entre les systèmes, d'un Système-Entreprise évolutif, le plus souvent composé de façon ad-hoc de sous-systèmes (COTS), qui ont pour particularité d'encapsuler leur propre Savoir-Faire et leurs Ingénieries respectives, en incluant le Système-Produit (son besoin, son projet, ...) à la source de chaque recomposition « à la demande » du Système-Entreprise. Un des objectifs de nos travaux est donc de faciliter l'interopération entre les ingénieries de ces systèmes interopérants (autour du produit A Faire) et l'Ingénierie du Système-Projet d'Entreprise (Pour Faire). Nous nous sommes alors inspirés de la proposition de Kuras pour formaliser notre Système-Entreprise (en fait son Ingénierie) dans une sorte de « Système de Systèmes d'Information » (SdSI) en tenant compte de ses aspects récursifs et multi-échelles dans un contexte organisationnel évolutif. De plus, en nous appuyant sur la théorie des patterns, nous avons identifié puis dérivé le « composite-pattern» pour mieux décrire la nature « Tout et Partie » de l'Holon Système-Entreprise utilisé par Kuras pour extraire le patron de conceptualisation le plus adéquat. Parmi tous les points de vue d'un système, cette dérivation nous permet de représenter ceux du Système A Faire et ceux du Système Pour Faire avec son contenu d'Ingénierie associée guidée par le cadre de modélisation de Zachman. Nous avons outillé notre proposition de cadre d'Ingénierie Système Basée sur des Modèles (ISBM) en étendant le méta-modèle de l'outil « MEGA Modelling Suite » ainsi qu'en développant les interfaces utilisateurs nécessaires et nous l'avons appliqué à l'Ingénierie d'un Système de Traçabilité d'un Produit dans le contexte d'un scénario PLM plausible entre l'AIPL et DIMEG.