Le management d'activités à risques implique de nombreuses décisions qui mettent en scène un collectif d'acteurs ayant chacun leur domaine d'expertise ou d'action pour concevoir ou exploiter un système complexe. D'abord, le rôle d'un système interactif d'aide à la décision de groupe (SIADG) dans le cadre du management d'activités à risques est analysé. Les fonctionnalités du système sont spécifiées de sorte à minimiser l'impact des erreurs humaines et organisationnelles qui peuvent affecter le processus de décision collectif. Le SIADG est vu comme le médiateur entre l'homme et le système qu'il cherche à maîtriser : il l'aide à percevoir une situation critique, la comprendre, l'interpréter et la diagnostiquer avant d'y remédier, mais il favorise également la résolution collective en constituant un support à la communication et à la coordination des intervenants. La décision est perçue comme un processus dynamique dont le temps de réponse dépend de l'efficacité avec laquelle est menée la phase de délibération. Plusieurs grandeurs et modèles pour contrôler la délibération sont proposés. Un premier type de situation décisionnelle met en scène un manager qui s'entoure d'experts pour prendre une décision sur la base d'un processus de fusion des avis exprimés. L'incertitude attachée à l'évaluation des alternatives est due d'une part, à l'imprécision des avis d'experts, d'autre part aux divergences d'opinions. Le contrôle de cette incertitude permet d'identifier les critères sur lesquels doit se focaliser le débat d'experts. Le concept d'influence dans un réseau social est alors introduit pour proposer deux modèles de pilotage de la phase de délibération d'une décision d'organisation, basé sur la délibération argumentée pour l'un, sur des simulations stochastiques pour l'autre, avec un formalisme d'équations d'état pour représenter l'évolution des convictions au fil du débat. Ensuite, les décisions qui concernent l'amélioration d'un système complexe, où se confrontent la vision stratégique des managers et la vision opérationnelle des exécutants sont abordées. Lorsque des objectifs atteignables ont été négociés, un modèle basé sur un problème de programmation par contraintes permet de calculer une mise en œuvre des actions pour les atteindre. Dans ce cas, soit le collectif est vu comme un ensemble d'agents collaboratifs et la délibération est pilotée par l'efficience de la décision ; soit comme un ensemble d'agents simplement coopératifs, dont nous modélisons la négociation où se mêlent objectifs collectifs et enjeux individuels, à l'aide de la théorie de l'argumentation. Ces modèles traitent tous du contrôle du processus cognitif que constitue la décision collective : l'automatisation cognitive vise ainsi à réduire les erreurs humaines et organisationnelles qui pourraient affecter la décision en particulier les erreurs d'évaluation et de coordination. Une conclusion et des perspectives achèvent ce manuscrit qui est illustré de plusieurs exemples relatifs au management d'activités à risques.

Dans cette thèse, nous utilisons et contribuons à la théorie des produits de matrices aléatoires afin d'étudier des propriétés génériques des éléments et des sous-groupes des groupes linéaires. Notre premier résultat donne une version probabiliste de l'alternative de Tits : nous montrons que si M_n et M'_n sont deux marches aléatoires indépendantes sur un groupe linéaire de type fini non virtuellement résoluble alors presque sûrement les deux marches finiront par engendrer un sous-groupe libre non abélien à deux générateurs. Cela répond par l'affirmative à une question de Guivarc'h et de Gilman, Miasnikov et Osin. Plus précisément, nous montrons que la probabilité que M_n et M'_n n'engendrent pas un sous-groupe libre décroit exponentiellement vite vers zéro. Notre outil principal est la théorie des produits de matrices aléatoires. Durant la preuve, nous établissons de nouveaux théorèmes limites dans cette théorie, d'une part en généralisant des résultats connus dans le cadre des produits de matrices à valeurs dans les corps archimédiens à tout corps local, d'autre part en donnant des résultats qui sont nouveaux même sur R. Par exemple, nous montrons que sous des hypothèses naturelles sur la marche aléatoire, les composantes suivant K de M_n dans la décomposition KAK deviennent asymptotiquement indépendantes avec vitesse exponentielle. Dans la deuxième partie de la thèse, nous utilisons ces résultats pour étudier la transience des sous-variétés des groupes algébriques. Un de nos résultats peut être formulé comme suit: soient H un sous-groupe non élémentaire de SL_2(R), une probabilité adaptée sur H ayant un moment exponentiel, alors pour toute sous-variété algébrique propre V de SL_2(R), la probabilité que la marche aléatoire appartienne à V décroit exponentiellement vite vers zéro. Par conséquent, la sous-variété algébrique V est transiente pour la marche aléatoire. Nous généralisons cet énoncé au cas ou la marche aléatoire est adaptée sur un groupe Zariski dense des points réels d'un groupe algébrique défini et déployé sur R. Ces résultats sont à comparer avec des travaux récents de Kowalski et de Rivin.

On s'intéresse dans ce travail aux automates cellulaires unidimensionnels qui ont été largement étudiés mais où il reste beaucoup à faire. La théorie spectrale des automates cellulaires a notamment été peu abordée à l'exception de quelques résultats indirects. On cherche a mieux comprendre les cadres topologiques et ergodiques en étudiant l'existence de valeurs propres en particulier celles irrationnelles c'est à dire de la forme e^{2Iπα} où α est un irrationnel et I la racine carrée de l'unité. Cette question ne semble pas avoir été abordée jusqu'à présent. Dans le cadre topologique les résultats sur l'équicontinuité de Kůrka et Blanchard et Tisseur permettent de déduire directement que tout automate cellulaire équicontinu possède des valeurs propres topologiques rationnelles. La densité des points périodiques pour le décalage empêche l'existence de valeurs propres topologiques irrationnelles. La densité des points périodiques pour l'automate cellulaire semble être liée à la question des valeurs propres. Dans le cadre topologique, si l'automate cellulaire possède des points d'équicontinuité sans être équicontinu, la densité des points périodiques a comme conséquence le fait que le spectre représente l'ensemble des racines rationnelles de l'unité c'est à dire tous les nombres de la forme e^{2Iπα} avec α∈Q .Dans le cadre mesuré, la question devient plus difficile, on s'intéresse à la dynamique des automates cellulaires surjectifs pour lesquels la mesure uniforme est invariante en vertu du théorème de Hedlund. La plupart des résultats obtenus demeurent valable dans un cadre plus large. Nous commençons par montrer que les automates cellulaires ayant des points d'équicontinuité ne possèdent pas de valeurs propres mesurables irrationnelles. Ce résultat se généralise aux automates cellulaires possédant des points μ-équicontinu selon la définition de Gilman. Nous démontrons finalement que les automates cellulaires possédant des points μ-équicontinu selon la définition de Gilman possèdent des valeurs propres rationnelles

Cette étude entend questionner l’impensé de la lecture et de la textualité sous-jacent aux modèles traductologiques orientés vers le processus qui se sont imposés en didactique de la traduction au cours des quatre dernières décennies, tels que la théorie interprétative de l’École de Paris et la théorie fonctionnaliste du Skopos de l’École allemande, et qui sous-tendent actuellement la formation des traducteurs professionnels au Canada. On trouvera dans ces pages, après un survol de l’histoire de cette formation, une confrontation dialogique entre les fondements immanentistes des approches qui y sont dominantes et ceux de théories issues du champ littéraire ayant problématisé l’acte de lecture, ainsi que l’analyse de la traduction collective d’une œuvre de fiction (réalisée par une équipe de traducteurs diplômés du premier cycle) dont le but est d’étayer la critique métathéorique.

L’objectif central de cette thèse est d’observer et de décrire le processus de naissance et d’institutionnalisation d’une nouvelle théorie de la peine : la théorie de la dénonciation. Cette théorie de la peine va naître à l’intérieur d’un système d’idées formé par d’autres théories de la peine déjà institutionnalisées. Ce système d’idées a été identifié et appelé par Alvaro Pires la « rationalité pénale moderne ». Notre contribution visera, elle, à observer d’une part le processus de naissance d’une autre théorie de la peine à l’intérieur de ce système d’idées et, d’autre part, la naissance et l’institutionnalisation de cette théorie dans divers discours : la philosophie et la doctrine juridique, les rapports des commissions de réforme du droit ou encore dans la jurisprudence (canadienne). Au cours de cette observation, nous aurons également la possibilité de voir comment une conception alternative de la dénonciation est apparue, mais sans réussir à prendre la forme stricte d’une « théorie de la peine » ni à s’institutionnaliser de façon stable et visible. Il s’agit de la dénonciation telle que l’a conçue la Commission de réforme du droit du Canada dans les années 1970. Cette manière de concevoir la dénonciation se situait à l’extérieur du système d’idées formé par la rationalité pénale moderne. Cette thèse fait plusieurs contributions à la fois, et de différents genres. Elle prétend contribuer entre autres à la description du processus de naissance et d’institutionnalisation d’une théorie (de la peine) du système de droit criminel en mettant en évidence comment cette théorie va s’opposer à une conception alternative portant le même nom et prédominer sur cette dernière. De plus, cette thèse va construire trois niveaux parallèles d’observation empirique. En effet, nous allons observer la naissance de cette théorie sur trois trames discursives distinctes et bien différenciées : (i) le discours de la philosophie, de la théorie du droit et de la sociologie (ou criminologie) ; (ii) le discours des commissions de réforme (« étatiques » et « non étatiques ») ; (iii) le discours de la jurisprudence.

Dans ce mémoire, nous allons nous intéresser aux graphes obtenus en considérant l'image inverse d'un polygone (en particulier d'un segment) dont les sommets sont les valeurs critiques d'un polynôme. Nous allons commencer par des rappels de notions préliminaires sur les polynômes complexes, la topologie algébrique et la théorie des espèces. Ensuite, nous allons voir le lien entre les arbres plans bicolorés et les polynômes de Shabat, qui sont des polynômes ayant au plus deux valeurs critiques, mis à part l'infini. Subséquemment, nous étudierons quelques notions portant sur les cactus. Finalement nous bouclerons le tout par une exploration, à l'aide du logiciel Maple, des concepts élaborés dans les chapitres précédents. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : point critique, valeur critique, revêtement, polynôme de Shabat, arbre plan bicoloré, cactus, constellation, fonction symétrique, espèce de structures, itération de Newton-Raphson.

Dans le premier chapitre, nous étudions le conditionnement d'un processus de Lévy complètement asymétrique à demeurer dans un intervalle fini. <br /><br />Les deux suivants sont consacrés aux processus de branchement à espace d'états continu, qui sont des processus de Lévy sans saut négatif changés de temps : généalogie (deuxième chapitre), dont nous dérivons des théorèmes de type Ray-Knight, et conditionnement à ne jamais s'éteindre (troisième chapitre). <br /><br />Enfin, le dernier chapitre traite de théorie du renouvellement multivariée dans deux cas naturels d'ensembles aléatoires emboîtés.

La première partie de cette thèse traite d'un problème de coloration dans les groupes finis. Pour une équation “régulière”, nous nous intéressons aux nombres de solutions différemment colorées. Nous montrons qu'il existe des combinaisons linéaires entre ces nombres de solutions, qui ne dépendent que des cardinaux des classes de couleurs et pas de leur répartition.<br />La seconde partie de cette thèse se place dans le contexte de la théorie additive des nombres. Nous développons une nouvelle approche de la méthode isopérimétrique de Y. ould Hamidoune, qui nous permet, entre autres, de donner une nouvelle démonstration du théorème de Kneser, outil majeur en théorie additive des nombres. Nous donnons une autre application de cette nouvelle approche à la détermination de nouvelles valeurs de taille minimale d'une somme de deux ensembles de tailles fixées, dans des groupes non abéliens. Ces nouvelles valeurs répondent par la négative à une question de la littérature.

Cette thèse a pour objet, d'une part, de décrire les pratiques du budget quand l'outil est utilisé dans un rôle de communication financière, et d'autre part, d'observer si, dans ce cadre-là, il conserve ses fonctions de gestion interne de l'organisation. Au travers d'une enquête qualitative menée auprès de dix-huit groupes français, puis d'une enquête quantitative auprès de 53 sociétés du SBF 250, nous avons étudié les principales caractéristiques du budget dans un rôle de communication financière.Nous avons montré que les pratiques du processus budgétaire étaient modifiées par la nécessité de rendre compte de cette nouvelle fonction du budget, au regard notamment de l'implication des acteurs, du rapprochement de la comptabilité de gestion et des IFRS et de l'importance des re-prévisions.

La théorie des groupes de tresses s'inscrit au croisement de plusieurs domaines des mathématiques, en particulier, l'algèbre et la géométrie. La recherche actuelle s'étend dans chacune de ces directions, et de riches développements naissent du mariage de ces deux aspects. D'un point de vue géométrique, le groupe des tresses à n brins est vu comme le groupe modulaire d'un disque à n trous, avec composante de bord. On peut représenter une tresse par un diagramme de courbes, c'est-à-dire l'image d'une famille fixée d'arcs sur le disque, par l'élément correspondant du groupe modulaire. Dans cette thèse est présenté l'algorithme de relaxations par la droite, qui permet de retrouver, étant donné un diagramme de courbes, la tresse à partir de laquelle il a été obtenu. Cet algorithme aide à faire le lien entre des propriétés géométriques du diagramme de courbes, et des propriétés algébriques du mot de tresse, en permettant de repérer de grandes puissances d'un générateur sous forme de spirales dans le diagramme de courbes. D'un point de vue algébrique, le groupe de tresses est l'exemple classique de groupe de Garside. L'un des objectifs actuels des recherches en théorie de Garside est d'obtenir un algorithme de résolution en temps polynomial du problème de conjugaison dans les groupes de tresses. À cette fin, on cherche à exploiter les propriétés de certains ensembles finis de conjugués d'une tresse, qui sont des invariants de conjugaison. L'un des résultats de cette thèse concerne la taille d'un de ces invariants, l'ensemble super-sommital : on exhibe une famille de tresses pseudo-anosoviennes dont l'ensemble super-sommital est de taille exponentielle. González-Meneses avait déjà établi le résultat similaire pour une famille de tresses réductibles. La conséquence de ces résultats est qu'on ne peut pas espérer résoudre le problème de conjugaison en temps polynomial au moyen de cet ensemble, et qu'il vaut mieux chercher à exploiter des invariants plus petits. Dans le cas des tresses pseudo-anosoviennes, des espoirs résident actuellement en l'ensemble des circuits glissants. Dans cette thèse, un algorithme en temps polynomial s'appuyant sur ce dernier ensemble résout génériquement le problème de conjugaison, c'est-à-dire qu'il le résout pour une proportion de tresses tendant exponentiellement vite vers 1 lorsque la longueur de la tresse tend vers l'infini. On montre également que, dans une boule du graphe de Cayley avec pour générateurs les tresses simples, une tresse générique est pseudo-anosovienne, ce qui était une conjecture bien connue des spécialistes de la théorie de Garside.