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.

Thèse doctorat : Matériaux : INSA LYON : 2004. / Titre provenant de l'écran-titre. Bibliogr. p. 170-176.

Thèse doctorat : Mathématiques et applications : Rennes 1 : 2005. / Bibliogr. p. 231-240.

Reproduction : Thèse de doctorat : Mathématiques appliquées aux sciences économiques : Lille 3 : 2003. / Titre provenant de l'écran-titre. Bibliogr. f. 143.

Thèse de doctorat : Microélectronique : Metz : 2005. / Thèse soutenue sur ensemble de travaux. Bibliogr. p. 141-144. Annexes.

Thèse doctorat : Acoustique : Villeurbanne, INSA : 2005. / Titre provenant de l'écran-titre. Bibliogr. p. 107-112.