Le présent mémoire porte sur la transformation du conflit en Irlande du Nord dans le cadre du processus de paix. Il vise à comprendre comment les communautés nord-irlandaises, par l'entremise de leurs agents respectifs, parviennent à retirer progressivement la violence de leurs relations dans le cadre de ce processus de paix entamé depuis 1994. La recherche pose alors la question suivante : les deux communautés nord-irlandaises parviendraient-elles, dans le cadre du processus de paix entamé depuis 1994 et par l'entremise de leurs agents respectifs, à retirer progressivement la violence directe de leurs relations en transformant leur perception de l'identité de l'Autre, ce qui produirait un effet boule-de-neige sur le reste des structures sociales soutenant la violence, mettant de cette manière fin graduellement au conflit? La méthode de recherche historique qualitative, appuyée de la technique de l'analyse du discours, guide la démarche. Le corpus d'analyse se compose donc d'une série de déclarations clefs et de documents cadres, particulièrement l'accord de paix conclu en avril 1998, qui couvrent la période de 1994 à 2006 et qui ont été produits par les agents les plus significatifs des deux communautés. L'analyse de ces sources démontre que les agents responsables de la violence armée en Irlande du Nord, que sont principalement le gouvernement britannique et le mouvement républicain, parviennent à construire la paix négative en établissant, via une nouvelle compréhension commune de la sécurité, un contrôle sur les différentes formes que prend cette violence directe. Le gouvernement britannique réussit peu à peu le retour à la normale de ses effectifs militaires en Irlande du Nord conformément avec le niveau de menace perçu. Il arrive également à réformer le service de police et le système de justice criminelle, pour lesquels il détient encore la juridiction, afin qu'ils soient équitables envers tous, sans distinction. Puis, tous les agents du conflit, y compris ce dernier gouvernement, mais en particulier le Sinn Féin et l'IRA, travaillent progressivement à mettre fin au paramilitarisme en Irlande du Nord. En somme, la recherche confirme que, dans le cadre de ce processus de paix entamé depuis 1994, les communautés ethno-nationales nord-irlandaises parviennent, par l'entremise de leurs agents respectifs, à retirer progressivement la violence directe de leurs relations en transformant leur perception de l'identité de l'Autre, et dès lors, les structures sociales qui soutiennent de façon intersubjective cette violence, voire cette perception. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Irlande du Nord, conflit identitaire, processus de paix, Accord du Vendredi Saint, désarmement.

Selon l'acception générale, le danseur est un artiste mais en réalité, son œuvre est le plus souvent assimilée à celle du chorégraphe et son corps, généralement réduit au statut d'instrument. Le danseur a lui-même de la difficulté à parler de ses interprétations et se considère souvent comme un outil. La présente étude s'est donc attachée à mieux saisir ce que le danseur, à la fois outil du chorégraphe mais d'abord artiste à part entière, crée, quelle œuvre résulte de son travail créatif. Ainsi, l'interprétation a été abordée dès le départ comme une œuvre à construire. Cette recherche qualitative se veut d'inspiration constructiviste et phénoménologique. Elle s'appuie sur mon expérience personnelle de la reprise de Soft Wear, une chorégraphie solo de Meg Stuart. Cette étude est une conduite autopoïétique dans la mesure où elle s'articule à ma propre pratique artistique. Le cadre théorique circonscrit les concepts de partageabilité à travers l'intercorporalité (Deschamps, 1995) et l'effet de transport (Godard, 2008), d'œuvre d'art, d'œuvre d'interprétation, de création en tant que type de rapport et de présence au monde (Deschamps, 2002), d'états de corps (Stuart, 2010a; Guisgand, 2004) et enfin, de pluralité opérale de l'œuvre chorégraphique (Pouillaude, 2009). L'analyse des données a été réalisée suivant la méthode par théorisation ancrée telle que définie par Paillé (1994). Les résultats de l'étude ont permis de mettre en lumière la consubstantialité immanente des œuvres chorégraphiques. Aussi, il est apparu que le danseur crée effectivement dans l'espace de l'œuvre chorégraphique et que son œuvre est multiple. Au moment de la recherche chorégraphique se trouve l'œuvre échappée, au moment de l'écriture chorégraphique l'œuvre du danseur devient substance et au moment de la reprise, apparaît l'œuvre de sensation. Enfin, cette étude a permis de réaffirmer la possibilité pour le danseur de prendre position au sein des œuvres, lui-même portant la responsabilité de sa création dans l'espace consubstantiel du chorégraphique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Danse contemporaine, interprétation, création, danseur, œuvre, état de corps, consubstantialité.

Ce travail de thèse s'intéresse à l'étude des décisions collaboratives dans le processus de conception de nouveaux produits. Les contributions de cette thèse sont focalisées principalement sur la compréhension des décisions collaboratives et leurs spécificités par rapport aux autres types de décisions collectives, ainsi que la gestion des processus de prise des décisions collaboratives dans le cadre du management de projet. Nous proposons un modèle conceptuel de décisions collaboratives. L'objectif de ce modèle est double : identifier les éléments relatifs à l'aide à la décision mais aussi aider au management des processus de prise des décisions. Ces éléments sont représentés au sein de ce modèle conceptuel et organisés en quatre vues (Objectifs, Transformations, Environnement et Processus). Le modèle a été utilisé pour développer l'outil de management de projet chez PSA Peugeot Citroën. Il a été appliqué dans la première phase de conception, la phase de définitions des objectifs d'un projet. La mission de l'équipe projet dans cette phase est de définir les objectifs du projet tout en incorporant différentes contraintes de l'entreprise et le marché. L'outil est organisé en trois niveaux : le niveau des processus des décisions collaboratives, le niveau d'informations et le niveau des processus opérationnels. Il permet à l'équipe projet de :<br />- Gérer le projet dans la phase de définition des objectifs ;<br />- Suivre le progrès global de cette phase ;<br />- Avoir une meilleure visibilité de la convergence des objectifs ;<br />- Organiser la prise des décisions collaboratives.

Le premier chapitre est consacré à l'obtention des expressions mathématiques et au développement des outils permettant une approche systématique d'accès aux fonctions de répartition des variables aléatoires, mises en jeu dans un processus markovien homogène. Nous nous intéressons plus particulièrement à l'étude probabiliste des variables aléatoires qui représentent le nombre de transitions entre les états et le temps de séjour dans un ensemble d'états d'un processus markovien. Le second chapitre est consacré à l'application des résultats mathématiques issus du chapitre précédent, à l'évaluation du taux d'arrêt et de l'indisponibilité des structures non-redondantes et redondantes. Dans le troisième et dernier chapitre, nous proposons une méthode d'analyse économique permettant l'étude quantitative de l'influence des principales composantes de coût pendant le cycle d'expoitation du système. Cette méthode utilise le modèle markovien qui représente le comportement du système, les composantes de coût venant se superposer au modèle. Elle est appliquée à l'évaluation de la réduction des coûts d'exploitation apportée par la tolérance aux fautes.

Présentation de méthodes d'évaluation de la sureté de fonctionnement de systèmes numériques. On classe ces méthodes en deux catégories: les méthodes d'évaluation prévisionnelle des performances de sureté,les méthodes d'évaluation à priori. Développement d'un outil d'aide à la conception plus particulièrement pour la première catégorie. Modélisation de structures fonctionnant de manière non continue.

Pour faire face à un environnement de plus en plus changeant et compétitif, les entreprises sont conduites à une redéfinition de leurs structures. Sur le plan organisationnel, la redéfinition des processus permet de mieux prendre en compte l'intégration d'activités autrefois fortement cloisonnées ; le recentrage des entreprises sur leur cœur de métier conduit à un transfert d'activités ou de fonctions jugées non stratégiques vers des partenaires externes. Cette restructuration qui se traduit par une intégration fonctionnelle importante, permet, à travers des processus transversaux d'atteindre un objectif commun à tous : satisfaire le client au moindre coût.<br /><br />C'est dans ce contexte qu'intervient notre travail de recherche. Nous traitons dans cette thèse, dans le cadre de la réorganisation logistique d'un grand groupe industriel, la problématique de la modélisation et de la réorganisation des processus pour une gestion transversale optimisée d'une entreprise (aspect interne), la redéfinition des processus dans le cadre de l'externalisation d'une partie d'un processus (recentrage des activité), et finalement l'organisation de processus interdépendants multi acteurs (relations partenariales). Ce travail vise à apporter des outils méthodologiques et des pratiques d'aide à la configuration des chaînes, en particulier dans le cadre de l'externalisation.<br /><br />Ainsi, le premier chapitre pose le cadre de nos recherches : l'organisation des chaînes logistiques et l'importance des processus au sein de celles-ci. Ce chapitre permet de poser et présenter les bases de notre réflexion pour définir et mettre en œuvre un processus d'externalisation.<br />Pour atteindre cet objectif, le deuxième chapitre est centré sur les concepts et approches relatifs à la modélisation et à la réorganisation des processus. Nous déterminons dans un premier temps l'articulation générale de l'approche d'intervention que nous proposons et nous présentons un certain nombre de modèles, méthodes, outils, etc. pour permettre une réorganisation des processus internes et accompagner l'externalisation d'activités vers des prestataires extérieurs. Nous constatons que si la réorganisation des processus est une notion relativement récente, elle fait l'objet d'une attention toute particulière, ces dernières années, dans les milieux industriels. Le tour d'horizon des travaux de recherche et des méthodologies, techniques, outils, etc. utilisés par les industriels, montre qu'il existe une prépondérance sur l'axe « technologie » par rapport à l'axe « organisation ». C'est sur ce dernier point que nous positionnons nos travaux pour étendre les champs du BPR au cadre de l'externalisation et du partage partenariales d'activités dans l'exécution du processus logistique. Nous utilisons pour cela un standard international des processus de la chaîne logistique, le modèle SCOR, qui a été choisi par le Groupe Rhodia pour la gestion de ses processus principaux. Ce chapitre nous permet alors de développer une méthodologie structurante en trois temps (« as is » - « to be » - « go live ») et d'employer celle-ci dans le cadre de l'externalisation<br /><br />Le troisième chapitre nous permet d'appliquer notre proposition au niveau industriel. A travers différentes études menées au sein du Groupe Rhodia, nous illustrons l'intérêt d'une vision intégrant standardisation et dépendances entre activités, dans la réorganisation des processus appliquée à la mutualisation ou l'externalisation.<br />Nous proposons une évolution en trois temps : modélisation, analyse et restructuration des processus pour une évolution interne à l'entreprise, puis pour l'externalisation d'activités (logistiques dans le cas qui nous intéresse), et finalement pour l'amélioration du fonctionnement multi acteurs.<br />Le troisième chapitre nous permet de proposer une approche pour la modélisation des processus dans le cadre d'une opération d'externalisation :<br />¬ « Pourquoi externaliser » - la décision d'externalisation<br />¬ « Quoi externaliser » - la détermination des activités à externaliser<br />¬ « Comment externaliser » - le BPR à en utilisant le modèle SCOR ou d'autres méthodes pour les processus n'étant pas adressés par SCOR<br />Nous établissons dans ce chapitre, à partir des résultats issus de nos études industrielles, une démarche de réorganisation des processus et d'externalisation dans le cadre de la chaîne logistique de Rhodia et définissons un plan d'externalisation par la réorganisation des processus.<br /><br />Enfin, nous concluons cette thèse en revenant sur les apports académiques et industriels de ce manuscrit concernant la réorganisation des processus de l'organisation dans le contexte de l'externalisation. Nous ouvrirons enfin un certain nombre de perspectives de recherches dans ce domaine.

Cette th`ese se concentre sur des bases th´eoriques utiles pour l'analyse d'algorithmes et de protocoles<br />pour des syst`emes r´epartis modernes. Deux caract´eristiques importantes des mod`eles pour<br />ces syst`emes sont les probabilit´es et la mobilit´e typ´ee : des probabilit´es peuvent ˆetre utilis´ees pour<br />quantifier des comportements incertains ou impr´evisibles, et des types peuvent ˆetre utilis´es pour<br />garantir des comportements sˆurs dans des syst`emes mobiles. Dans cette th`ese nous d´eveloppons<br />des techniques alg´ebriques et des techniques bas´ees sur les types pour l'´etude comportementale des<br />processus probabilistes et mobiles.<br /><br />Dans la premi`ere partie de la th`ese nous ´etudions la th´eorie alg´ebrique d'un calcul de processus<br />qui combine les comportements non-d´eterministe et probabiliste dans le mod`ele des automates probabilistes<br />propos´es par Segala et Lynch. Nous consid´erons diverses ´equivalences comportementales<br />fortes et faibles, et nous fournissons des axiomatisations compl`etes pour des processus `a ´etats finis,<br />limit´ees `a la r´ecursion gard´ee dans le cas des ´equivalences faibles.<br /><br />Dans la deuxi`eme partie de la th`ese nous ´etudions la th´eorie alg´ebrique du -calcul en pr´esence<br />des types de capacit´es, qui sont tr`es utiles dans les calculs de processus mobiles. Les types de<br />capacit´es distinguent la capacit´e de lire sur un canal, la capacit´e d'´ecrire sur un canal, et la capacit´e<br />de lire et d'´ecrire `a la fois. Ils introduisent ´egalement une relation de sous-typage naturelle et<br />puissante. Nous consid´erons deux variantes de la bisimilarit´e typ´ee, dans leurs versions retard´ees<br />et anticip´ees. Pour les deux variantes, nous donnons des axiomatisations compl`etes pour les termes<br />ferm´es. Pour une des deux variantes, nous fournissons une axiomatisation compl`ete pour tous les<br />termes finis.<br /><br />Dans la derni`ere partie de la th`ese nous d´eveloppons des techniques bas´ees sur les types pour<br />v´erifier la propri´et´e de terminaison de certains processus mobiles. Nous fournissons quatre syst`emes<br />de types pour garantir cette propri´et´e. Les syst`emes de types sont obtenus par des am´eliorations<br />successives des types du -calcul simplement typ´e. Les preuves de terminaison utilisent des techniques<br />employ´ees dans les syst`emes de r´e´ecriture. Ces syst`emes de types peuvent ˆetre utilis´es pour<br />raisonner sur le comportement de terminaison de quelques exemples non triviaux : les codages des<br />fonctions r´ecursives primitives, le protocole pour coder le choix s´epar´e en terme de composition<br />parall`ele, une table de symboles implement´ee comme une chaˆıne dynamique de cellules.<br /><br />Ces r´esultats ´etablissent des bases pour une future ´etude de mod`eles plus avanc´es qui peuvent<br />combiner des probabilit´es avec des types. Ils soulignent ´egalement la robustesse des techniques<br />alg´ebriques et de celles bas´ees sur les types pour le raisonnement comportemental.

Le processus de Mumford bidimensionnel est un processus gaussien réel à accroissements stationnaires généralisé qui a été introduit par Mumford et Gidas, en vue de modéliser certaines images naturelles comme les nuages. Nous nous propposons d'étudier la généralisation d'un tel processus.

La compétitivité impose une dure loi aux entreprises: l'obligation d'une gestion rigoureuse en éliminant toutes les types de gaspillages. Parmi les causes de gaspillages et donc de non compétitivité, il y a les coûts de non qualité. Des statistiques avancent entre 10 à 20% du chiffre d'affaires. Les coûts de non qualité sont dus à l'ensemble des anomalies, rebuts, retouches, réparation, etc. La réduction de ces coûts est un des axes stratégiques de toute entreprise soucieuse de sa pérennité. Afin de résorber efficacement ces coûts, il est indispensable de commencer d'abord par leur identification et évaluation, car le système comptable normal ne mesure pas ces coûts. En effet les systèmes traditionnels qui calculent les coûts par produit ne permettent pas de déterminer l'effet économique des améliorations introduites par la démarche qualité dans le processus de production. Cette recherche a pour objectif de proposer une méthodologie pour évaluer et réduire les coûts de non qualité. Pour la validation de certaines hypothèses, des expérimentations sont conduites en entreprise. En particulier, un processus industriel continu a été choisi au sein du groupe OCP. Dans une première partie, nous posons la problématique en faisant l'état de l'art sur les démarches COQ, et nous formulons deux hypothèses permettant de répondre à cette problématique. La deuxième partie, intitulée expérimentation vise à valider nos hypothèses sur un cas industriel. A partir des résultats de la démarche expérimentale, nous concluons, en troisième partie en proposant une méthode d'évaluation et de réduction des coûts de non qualité orientée vers les processus.

Habilitation à diriger des recherches : Sciences physiques : Lille 1 : 2003. / N° d'ordre (Lille 1) : 405. Résumé en français. Curriculum vitae. Bibliogr. p. 193-206. Liste des publications et des communications.