L'activité collective se définit comme une articulation entre le travail collectif et le collectif de travail. Le travail collectif correspond aux modes de coopération et de collaboration entre les membres d'une équipe. Il facilite dans certains cas la mise en œuvre de régulations individuelles et collectives pour gérer les perturbations issues de situations caractérisées par des conflits de but et donnent une ressource à chacun pour ne pas être seul face à la diversité des prescriptions, notamment par des processus de réélaboration des règles. Le collectif de travail correspond au fonctionnement des relations dans l'équipe, au genre professionnel et aux règles de métier. Il est issu d'un débat et il contribue à organiser celui-ci entre les professionnels sur le sens du travail, la reconnaissance des gestes de métier, les critères du travail bien fait. La combinaison du travail collectif et du collectif de travail dans l'activité collective favorise le développement des compétences et peut être une ressource pour la santé individuelle et le développement de la vitalité du collectif de travail.

En droit communautaire, les notions « souples », « élastiques », les « mots à sens multiples » , dont le contenu est déterminé non pas par leur auteur mais par leur interprète, sont nombreux. Parmi ces notions « floues », certaines, à la fois conceptuelles et fonctionnelles, sont intentionnellement indéterminées parce qu’elles permettent une mesure des comportements et des situations en termes de normalité et nécessitent, pour leur application aux cas d’espèce, des références exogènes au droit. C’est le cas, par exemple, des notions de « bon père de famille », de « bonnes mœurs », de « délai raisonnable », d’« abus de droit », de « confiance légitime », ou encore d’ « ordre public ». Ce type particulier de notion indéterminée constitue un standard. La question se pose de savoir si, et dans quelle mesure, les standards présentent des particularités dans l’ordre juridique de l’Union européenne, du point de vue de leur substance, c’est à dire de leur contenu, et du point de vue de leur fonction. Il apparaît, d’abord, que la spécificité substantielle du standard n’est que partielle. En effet, certains standards sont marqués par une forte coloration communautaire en ce qu’ils touchent au noyau dur de l’intégration communautaire et à la répartition des compétences au sein de cet ordre juridique (les notions de subsidiarité, de coopération loyale notamment). D’autres standards, en revanche, ont une substance proche de celle qui leur est attribuée dans les ordres juridiques nationaux ou internationaux, tout en étant adaptée à la logique de l’ordre communautaire (c’est le cas, par exemple, des notions de confiance légitime, de bonne administration, ou encore de procès équitable). Il apparaît, ensuite, que la spécificité fonctionnelle du standard communautaire est manifeste. Ce type de notion indéterminée joue, en effet, un rôle lié non seulement aux particularités du système juridictionnel de l’Union et à la contribution du juge à l’intégration européenne, mais aussi aux particularités structurelles de l’ordre juridique communautaire.

Les changements qui caractérisent le secteur bancaire belge par le processus des fusions-acquisitions constituent un point de départ de notre recherche. Cet environnement mouvant dans lequel se situent les banques, est contraignant et les force à chercher de nouveaux modes d’adaptations sur tous les plans, technique, gestionnaire, organisationnel et humain. Cette recherche s’est consacrée à une réflexion sur la normalisation des organisations et à l’étude de la problématique de la normalisation comme instrument de régulation. En particulier, il s’agit de s’interroger sur les mécanismes d’ajustements tels que la normalisation et la régulation d’une organisation issue d’une fusion bancaire. Nous nous intéressons principalement aux ajustements relatifs aux pratiques de gestion des ressources humaines et aux transformations des cultures organisationnelles. Ainsi, l’objectif principal que nous nous étions assigné dans cette étude consistait à appréhender le processus de transformation du système de gestion des ressources humaines et de cerner les mutations de la culture d’une entreprise, inscrite dans une problématique de modernisation et de changement organisationnel. Il s’agissait, en particulier, d’étudier en profondeur le cas la C.G.E.R. et la Générale de Banque, ayant fusionnées en vue de la création d’une entité unique : la Fortis Banque et de s’interroger sur les rôles de normalisation et de régulation qu’avait cette dernière. Nous nous sommes attachés, tout d’abord dans la première partie, à expliciter l’histoire de deux banques – C.G.E.R. et Générale de Banque – ayant donné naissance à Fortis Banque. Nous avons essayé de mettre en exergue les différentes étapes de leur développement depuis leur origine jusqu’à leur fusion, en reprenant les grands événements ayant jalonné leur histoire et ayant joué, directement ou indirectement, un rôle dans leur transformation au fil du temps : les évolutions économiques, les transformations socio-organisationnelles, les réformes structurelles, les modifications au sein du top management, les périodes de crises, les tentatives de réforme qui s’y sont succédées, les routines de comportement qui s’y sont cristallisées, etc. Et pour compléter cette perspective historique, nous avons mobilisé concepts et théories développés dans d’autres champs notamment la théorie des représentations sociales, l’approche par les normes. Nous avons souhaité montrer l’utilité des recherches sur les représentations sociales et les normes sociales pour le management interculturel. De point de vue empirique ou le plan d’application, cette étude a permis de savoir de quelle manière les représentations collectives propres à chacune des deux organisations étudiées se comparaient. La mise en commun de ces deux banques fusionnées a révélé des différences majeures dans leur contexte et dans leur fonctionnement interne, ce qui laissait présager d’entrée en jeu, une intégration difficile. D’abord, afin de rendre compte des perceptions des acteurs par rapport à des pratiques de gestion (dont la GRH), nous avons défini un ensemble de questions qui portent sur les représentations que les individus sont amenés à exprimer au sujet du rôle de la gestion des ressources humaines aux travers un ensemble de dimensions. Ces dernières sont rapportées à plusieurs rôles assignés à la GRH : rôle stratégique et d’innovation, rôle de médiation normative, rôle de maintien des règles et rôle de soutien des personnes. Nos résultats ont mis en exergue un écart entre les trois catégories de sujets retenues - Ex-C.G.E.R., Ex-Générale de Banque et Nouveaux Fortis -, dans leurs représentations sociales des pratiques de gestion des ressources humaines et ont montré l’existence dans l’entreprise des sous-groupes, aux pratiques hétérogènes. Étant donné que c’est la diversité des individus dans l’organisation qui nous a intéressée, nous avons jugé préférable que le regroupement entre ces individus se fasse en fonction de leur communauté de représentation. L'objectif consistait en la compréhension différentielle conjointe des représentations des acteurs. En effet, l’étude a fait ressortir les représentations ambivalentes des acteurs concernés face au changement mis en œuvre au sein de la banque étudiée.

Is it possible to learn without awareness? If so, what can learn without awareness, and what are the different mechanisms that differentiate between learning with and without consciousness? How can best measure awareness? Here are a few of the many questions that I have attempted to investigate during the past few years. The main goal of this thesis was to explore the differences between conscious and unconscious learning. Thus, I will expose the behavioral and computational explorations that we conducted during the last few years. To present them properly, I first review the main concepts that, for almost a century now, researchers in the fields of neuroscience have formulated in order to tackle the issues of both learning and consciousness. Then I detail different hypotheses that guided our empirical and computational explorations. Notably, a few series of experiments allowed identification of several mechanisms that participate in either unconscious or conscious learning. In addition we explored a computational framework for explaining how one could learn unconsciously and nonetheless gain subjective access to one’s mental events. After reviewing the unfolding of our investigation, I detail the mechanisms that we identified as responsible for differences between learning with and without consciousness, and propose new hypotheses to be evaluated in the future.

La maîtrise du calcul prévisionnel du comportement dynamique des stators de machines de traction est un enjeu majeur pour le constructeur tant sur le plan de la compréhension de certains phénomènes physiques, que sur le plan de l amélioration de la conception en présence de facteurs mal maîtrisés. La démarche proposée dans ce travail a d abord consisté à construire et valider le modèle d un stator type en effectuant des corrélations calculs-essais et un recalage de modèle. Ceci a permis de caractériser le comportement moyen de cet assemblage hétérogène et surtout d établir des règles de modélisation transposables à d autres types d architectures. L étude s est poursuivie ensuite avec l investigation des incertitudes affectant cette modélisation ainsi que leur propagation. Afin de prendre en compte tous types d incertitudes, aléatoires ou épistémiques, sur une même procédure, une méthode hybride paramétrique non-paramétrique de modélisation et de propagation des incertitudes a été proposée. En raison de la taille importante des modèles industriels des stators, le problème est traité dans un contexte de sous-structuration et revient à réaliser une réanalyse approchée. Afin d assurer un compromis entre un coût de calcul raisonnable et une bonne prédiction des bases de réduction, la méthode des Approximations Combinées a été adaptée à la sous-structuration afin d être intégrée au processus de réanalyse. Outre ses avantages en termes de gain en temps de calcul parrapport à une réanalyse exacte, nous avons également montré sa robustesse par rapport à une méthode de réduction standard ou à une méthode améliorée de type enrichissement par résidus statique.

La formalisation de la connaissance sous forme de règles permet de modéliser des problèmes dont on ne possède pas d'algorithme de résolution. Ce sont les systèmes à bases de connaissances (SBC) qui vont permettre de séparer la machinerie informatique du domaine d'expertise. C'est a travers deux applications du domaine de l'eau que les SBC sont mis en œuvre. Promise est un simulateur de projet intelligent et interactif capable d'intégrer dans son comportement le passe du projet, d'activer n'importe quelle procédure externe, de poser des questions programmées... La mise en forme des règles de simulation est une étape vers une meilleure maitrise des facteurs d'un projet d'assainissement. Moise est un système de diagnostic en assainissement autonome dont on montre que le formalisme de règles peut être adapte a plusieurs aspects: choix d'un dispositif d'assainissement autonome, dimensionnement, maintenance, cohérence de la base de faits. Une version télématique de moise a été développée. L'association SBC-télématique est envisagée dans un autre domaine d'application (choix en instrumentation chimique).

Le développement d'un logiciel de simulation numérique, en particulier lorsqu'il est destiné à la résolution de problèmes multiphysiques, implique une augmentation significative de la complexité des structures de données au fur et à mesure des enrichissements. La maîtrise de cette complexité exige une structure bien organisée et extensible. Ces enrichissements successifs introduisent des fonctionnalités intéressantes pour l'utilisateur final mais ceci, bien souvent, au prix d'une difficulté d'utilisation croissante.<br />Cette thèse aborde la problématique de la gestion de la structuration et de la complexité dans une application de simulation numérique multiphysique, par la combinaison de la programmation orientée objet et de règles métiers à l'aide de Prolog, un langage de programmation logique.<br />Nous commençons par établir un modèle de données contenant des classes abstraites qui facilitent l'héritage et l'expansion de cette structure de données. L'objectif est de permettre aux développeurs d'ajouter un nouveau modèle de données ou de modifier un modèle existant, sans remettre en cause l'existant. Un tel modèle de données nécessite des vérifications qui assurent que toutes les commandes et les constructions d'objets soient valides. Nous proposons de réaliser ces vérifications à l'aide d'un moteur de règles et non pas de manière algorithmique comme cela est fait habituellement. Ce moteur de règles, basé sur le langage de programmation logique, donne la possibilité d'exécuter la vérification, bien sûr, mais aussi la proposition et l'explication.<br />Cette approche permet d'une part de réduire la tâche du développeur et d'autre part de faciliter les opérations de l'utilisateur final.

Cette thèse porte sur la vérification des règles ajoutées de l'Atelier B en utilisant une plate-forme appelée BCARe qui repose sur un plongement de la théorie sous-jacente à la méthode B (théorie de B) dans l'assistant à la preuve Coq. En particulier, nous proposons trois approches pour prouver la validité d'une règle, ce qui revient à prouver une formule exprimée dans la théorie de B. Ces trois approches ont été évaluées sur les règles de la base de règles de SIEMENS IC-MOL. La première approche dite autarcique est développée avec le langage de tactiques de Coq Ltac. Elle repose sur une première étape qui consiste à déplier tous les opérateurs ensemblistes pour obtenir une formule de la logique du premier ordre. Puis nous appliquons une procédure de décision qui met en oeuvre une heuristique naïve en ce qui concerne les instanciations. La deuxième approche, dite sceptique,appelle le prouveur automatique de théorèmes Zenon après avoir effectué l'étape de normalisation précédente. Nous vérifions ensuite les preuves trouvées par Zenon dans le plongement profond de B en Coq. La troisième approche évite l'étape de normalisation précédente grâce à une extension de Zenon utilisant des règles d'inférence spécifiques à la théorie de B. Ces règles sont obtenues grâce à la technique de superdéduction. Cette dernière approche est généralisée en une extension de Zenon à toute théorie grâce à un calcul dynamique des règles de superdéduction. Ce nouvel outil, appelé Super Zenon, peut par exemple prouver des problèmes issus de la bibliothèque de problèmes TPTP.

Non dispo

Après dix ans de monnaie commune, les disparités régionales persistent dans la zone euro et l'activité économique a du mal à se dynamiser. Le dysfonctionnement du système de politique économique figure parmi les explications possibles de ces évolutions. Cette thèse reconsidère la conduite des politiques macroéconomiques dans une Union hétérogène, avec transmission asymétrique des chocs. Trois essais de modélisation sont développés dans ce but. Le premier étudie la politique monétaire dans un modèle à la Barro-Gordon, à l'aide d'un jeu défini entre la banque centrale et les différents agents de l'Union. Le second introduit l'interaction entre politique monétaire et budgétaire dans l'Union, afin d'assurer un environnement stable, favorable à l'activité économique. Il se situe dans un cadre néo-keynésien, modifié pour inclure certains aspects des pratiques monétaires et budgétaires de la zone euro. Enfin, un troisième essai analyse le rôle de ces politiques dans la stabilisation des chocs conjoncturels, à l'aide d'un modèle d'équilibre général dynamique stochastique (DSGE) avec asymétries financières. Les enseignements vont dans une direction commune. Une politique monétaire orientée vers la réduction des divergences nationales serait bénéfique pour l'Union, uniquement si la banque centrale est hostile simultanément aux divergences d'inflation et de revenu. L'intérêt de la banque centrale pour les seules divergences d'inflation peut être contreproductif. Les politiques nationales restent les principaux outils pour réduire les disparités. Leur conduite doit se faire dans un cadre coordonné, qui tient compte des asymétries structurelles dans l'Union. Ce serait compatible avec la conduite autonome des politiques budgétaires, suivant une stratégie commune pour la zone. L'annonce publique des règles budgétaires nationales permettrait d'améliorer la transparence des politiques et d'accroître leur efficacité.