Cette thèse propose une rencontre entre un objet stochastique, le processus de Langevin, c'est-à-dire l'intégrale du mouvement brownien, et une équation différentielle, celle du rebond ''au second ordre'', laquelle, à ma connaissance, a été étudiée jusqu'ici presque exclusivement dans un cadre déterministe. Historiquement, le processus de Langevin était un modèle concurrent du mouvement brownien pour décrire les trajectoires erratiques de particules comme celles observées par Brown. Au même titre, les processus de Langevin réfléchis au second ordre sont un modèle concurrent des mouvements browniens réfléchis, lesquels sont toujours réfléchis au premier ordre, selon notre terminologie. Si le processus de Langevin - respectivement le processus de Langevin réfléchi au second ordre - ne prétend pas rivaliser avec le mouvement brownien -- respectivement le mouvement brownien réfléchi -- pour ce qui est de son rayonnement et de son champ d'applications dans des domaines variés, il se prétend néanmoins être un modèle physique plus pertinent. Par ailleurs, pour la réflexion au second ordre déterministe, lorsque la force a un caractère fortement oscillant, l'équation différentielle admet, de manière assez générique, plusieurs solutions. Lorsque c'est un processus de Langevin qui est réfléchi, nous devons considérer l'équation différentielle, stochastique maintenant, lorsque la force est un bruit blanc... Nos prouverons néanmoins toujours l'existence d'une unique solution, au sens faible. Ces résultats contrastent fortement avec les résultats de non-unicité pour l'équation déterministe. Cette thèse s'articule autour de quatre chapitres. Le premier est une large partie introductrice, rédigée en français, dans un style discursif. Les trois suivants sont, tels quels, les articles que j'ai écrits (en anglais) au cours de cette thèse, publiés ou en voie de publication. Dans le premier chapitre, je commence par décrire le contexte historique, ancien comme récent, motivant cette étude. J'introduis d'une part la réflexion au second ordre, d'autre part le processus de Langevin et en particulier ses excursions, rappelant des résultats connus auxquels nous ferons appel. Je donne alors un aperçu de plusieurs notions et outils techniques que nous utiliserons. Il s'agit d'abord, en plus de la célèbre mesure d'excursion d'Itô d'un processus markovien, de la mesure d'excursion de Pitman d'un processus stationnaire. Il s'agit ensuite du principe des h-transformées, au sens de Doob, utilisées pour définir des processus de Markov conditionnés. Enfin, je résume en détail (et en français) les trois chapitres suivants. Le deuxième chapitre comporte d'abord une introduction au processus de Langevin stationnaire, puis une étude de sa mesure d'excursion de Pitman. Ce travail est alors appliqué à l'étude du processus de Langevin réfléchi sur une barrière totalement inélastique. Le troisième chapitre commence l'étude du processus de Langevin réfléchi sur une barrière partiellement élastique. Nous mettons en évidence l'existence de deux régimes bien distincts, selon la valeur du coefficient d'élasticité de la réflexion, comparée à la valeur critique c~0,163. En régime surcritique et critique, la principale difficulté est liée au cas où le processus réfléchi part de zéro avec vitesse nulle. Nous montrons que le processus reste alors bien défini de manière unique. Le quatrième chapitre s'attaque au régime sous-critique, plus difficile. En particulier, quelle que soit la condition initiale, en un temps fini le processus se retrouvera en 0 avec vitesse nulle. Nous montrons encore l'existence d'un unique processus réfléchi, décrit cette fois-ci via sa mesure d'excursion d'Itô.

L'objet de cette thèse est l'étude de divers problèmes de bord de la gravité bidimensionnelle en utilisant à la fois les méthodes de la gravité de Liouville et les modèles de matrices aléatoires. Elle s'articule autour de deux grands thèmes : le modèle $O(n)$ matriciel et la théorie des cordes en deux dimensions. La première partie expose la méthode développée pour analyser les conditions de bord des modèles statistiques sur réseaux. Celle-ci consiste à utiliser la formulation matricielle du modèle sur réseau aléatoire afin de dériver des équations de boucle dont on prend la limite continue. L'accent est mis sur l'étude des conditions de bords anisotropes récemment introduites pour le modèle $O(n)$. Cette méthode a permis d'obtenir le diagramme de phase associé aux conditions de bord, ainsi que la dimension des opérateurs de bord et le comportement sous les \english{flows} du groupe de renormalisation. Ces résultats peuvent être étendus à d'autres modèles statistiques tels que les modèles ADE. En seconde partie, on s'intéresse à une gravité de Liouville Lorentzienne couplée à un boson libre. Ce modèle peut se réinterpréter comme une théorie des cordes dans un espace cible à deux dimensions dont la version discrète est donnée par une mécanique quantique matricielle (MQM). L'amplitude de diffusion de deux cordes longues à l'ordre dominant est obtenue en utilisant le formalisme chiral de la MQM, le résultat trouvé est en accord avec les calculs effectués dans la théorie continue. En outre, une conjecture a été émise concernant l'amplitude d'un nombre quelconque de cordes longues.

Afin de spécifier le comportement des langages de programmation, de préciser leurs propriétés et de certifier leurs implémentations, on étudie des modèles formels des langages de programmation. L'étude se divise en l'étude de la syntaxe et en celle de la sémantique. La deuxième est basée sur des modèles formels de la syntaxe. Cette thèse de doctorat se situe dans l'étude de la syntaxe et est consacrée principalement à deux approches à la syntaxe abstraite typée avec liaison de variables. Ces deux approches utilisent le langage de la théorie des catégories. La premièere approche est dans l'esprit de l'approche catégorique aux théories alébriques. La deuxième est basée sur la notion de monade et introduit la notion d'un module sur une monade qui remplacent les foncteurs et leurs algèbres. En outre la deuxième approche est adaptée pour une classe plus large de syntaxes typées où les types dépendent des termes.

Cette thèse est constituée de 5 chapitres. Le chapitre 1 est divisé en deux parties; la première autour des généralités sur les processus de Lévy et la deuxième sur le cas particulier des processus symétriques stables. Le chapitre 2 porte sur la théorie des fluctuations dans le cas stable et concentre la plupart des résultats originaux de cette thèse. Dans ce chapitre, on s'intéresse premièrement à la loi conjointe du premier temps de passage au-dessus d'une barrière et de la position du processus en cet instant ainsi qu'à des questions autour de l'absolue continuité de la loi du supremum. Dans un deuxième temps, dans le cas stable, on s'intéresse à la loi conjointe du processus au temps t, de son supremum avant t et du dernier temps d'atteinte du supremum avant t. Le chapitre 3 est aussi constitué des deux parties, une partie sur les temps locaux et une autre partie sur la théorie des excursions. Les deux parties sont traitées dans le cas des processus symétriques stables d'indice supérieur à 1. Concernant les temps locaux, on rappelle leur définition et leurs principales propriétés. Concernant la théorie des excursions, on présente la théorie de façon semblable aux cas classiques en passant entre autres par les définitions d'excursion normalisée et de méandre, et en donnant des constructions simples pour ces objets. On présente aussi quelques développements récents de la théorie dus à K.Yano, Y. Yano et M. Yor. Les chapitres 4 et 5 portent sur des applications (dans le cas symétrique stable) de la théorie des excursions à l'étude respectif des temps passés positif et négatif et des valeurs principales généralisées.

Dans cette thèse, nous montrons que le groupe de K-théorie $K_0$ de la $C^*$-algèbre associée aux pavages de type pinwheel est isomorphe à la somme de $\ZZ \oplus \ZZ^6$ et d'un groupe cohomologique $H$.\\ Cette $C^*$-algèbre est de plus munie d'une trace qui induit une application linéaire sur ce groupe de $K$-théorie.\\ Nous calculons explicitement l'image, sous cette application, du sommant $\ZZ \oplus \ZZ^6$, montrant que l'image de $\ZZ$ est nulle et que l'image de $\ZZ^6$ est contenue dans le module de fréquences des patchs du pavage de type pinwheel.\\ Nous montrons également que l'on peut appliquer le théorème de l'indice mesuré dû à A. Connes pour relier l'image de $H$ à une formule cohomologique plus calculable.\\ Pour l'étude de cette partie cohomologique, nous adaptons la cohomologie PV, introduite par J. Savinien et J. Bellissard, au cas des pavages de type pinwheel pour montrer que le groupe de cohomologie de \v{C}ech de dimension maximale de ces pavages est isomorphe au groupe des coinvariants entiers de la transversale canonique associée à ces pavages.\\ Ce résultat nous permet alors de prouver la conjecture du gap-labeling fait par J. Bellissard, dans le cas particulier des pavages de type pinwheel.\\ Nous terminons cette étude par un calcul explicite, montrant que le gap-labeling (ou module de fréquences des patchs) est donné par $\frac{1}{264}\ZZ \left [ \frac{1}{5} \right ]$.

L'objectif de cette thèse est double : proposer, à partir de données collectées par questionnaire sur 286 entreprises, une échelle de mesure et une typologie des pratiques budgétaires des entreprises françaises et expliquer leur diversité en mettant en évidence les principaux déterminants de ces pratiques. Grâce à une étude exploratoire menée sur onze entreprises, un modèle de mesure des pratiques budgétaires est construit. Sa validité et sa fiabilité statistiques sont vérifiées par des analyses factorielles exploratoires et confirmatoires. Une classification ascendante hiérarchique met évidence cinq idéaux-types de pratiques budgétaires. Huit déterminants internes et externes sont ensuite testés. Ils permettent d'élaborer deux modèles d'explication des pratiques budgétaires : l'un reposant sur la théorie de la contingence, l'autre sur la théorie néo-institutionnelle. Les résultats indiquent que les pratiques budgétaires dépendent aussi de leur environnement institutionnel : le budget est en partie un mythe rationnel qui aide les organisations à se légitimer.

Selon l'IASB (§ 26) une information " (...) possède la qualité de pertinence lorsqu'elle influence les décisions économiques des utilisateurs en les aidant à évaluer des événements passés, présents ou futurs ou en confirmant ou corrigeant leurs évaluations passées ". Ce cadre conceptuel repose sur des hypothèses de comportements qui doivent être encadrées pour tendre vers une communication financière fidèle et pertinente donc utile et destinée à réduire l'asymétrie d'information. Autrement dit, la pertinence de l'information financière est comprise comme un facteur de réduction d'asymétrie d'information entre l'entreprise et ses investisseurs. Ainsi le choix d'un parcours de recherche fondé sur la complémentarité entre une démarche hypothético déductive et une démarche normative nous semble justifié puisque " bien que leurs visées soient différentes, les unes (théorie normative) sont les théories " de " et les autres (théorie positive) des théories " pour " la pratique " (Colasse, 2009). Nos travaux s'inscrivent dans le nécessaire renforcement des liens entre la communauté scientifique et la communauté des praticiens. Le praticien utilise et parfois modélise une doctrine comptable qui peut se définir comme l'ensemble des travaux théoriques (articles, rapports, guides d'application, ouvrages...) exprimant, d'une part, la pensée d'auteurs sur les problèmes généraux de la discipline comptable et, d'autre part, les avis et recommandations donnés par différents organismes (ANC, CSOEC, CNCC, AMF, etc.). La doctrine contribue à dégager des tendances et à trouver des solutions aux problèmes que les textes n'ont pas précisé. Elle sert de référence à la résolution de problèmes comptables souvent délicats que les textes ne pouvaient prévoir lorsqu'ils ont été élaborés. La doctrine comptable contribue ainsi au cadre comptable. La doctrine comptable est susceptible de se nourrir des liens étroits entre la recherche et la pratique professionnelle pour fournir un terrain d'expérimentation et de validation pertinent afin d'améliorer la théorie comptable et donc la cohérence de la normalisation. La doctrine contribue à l'émergence de problématique pertinente d'un point de vue académique et nécessaire dans son utilité sociale. Nos principaux apports, au-delà des résultats, propositions doctrinales et méthodologiques, est donc d'élaborer une mise en interaction des démarches positives et normatives, cette piste nous parait promise à un grand avenir en raison des politiques d'harmonisation comptable dont la quête consiste à proposer des normes favorisant la pertinence des états financiers. Plus que jamais la pertinence de l'information comptable est devenue un outil politique de la régulation dont l'exploration et la connaissance sont indispensables à la confiance et à la stabilité des marchés. Pour autant, c'est aussi un schéma de recherche exigu car seul les investisseurs sont compris dans la recherche de la pertinence, hors la comptabilité est peut être un bien public qui n'est pas forcément et directement destiné aux acteurs des marchés financiers. A ce titre, les théories sociologiques de type constructiviste pourraient aussi avoir le mérite de nous engager sur une réflexion concernant les besoins réels ou supposés d'informations d'une large gamme d'utilisateurs comme les clients, les fournisseurs, les salariés, les instances politiques et tout utilisateur dont la démarche d'investissement repose aussi sur des motivations différentes que celles que nous présupposons dans nos travaux. Ainsi, la théorie positive de la comptabilité au moyen d'une cohérence épistémologique et méthodologique offre les outils pour comprendre une réalité et postuler des hypothèses qui pourront justifier scientifiquement la nécessité de l'application d'une règle issue de travaux normatifs. A l'inverse, l'application d'une norme est susceptible de susciter des hypothèses d'application dont la validation répond à une démarche hypothético déductive prônée par la théorie positive. Cette interaction est un chemin prometteur pour poursuivre nos travaux relatifs à la pertinence de l'information comptable dans le cadre d'une contribution académique et institutionnelle indispensable et dans un contexte d'instabilité et d'incertitude significatif quant à l'application uniforme des IFRS dans tous les pays du monde.

: La théorie géométrique des invariants constitue un domaine central de la géométrie algébrique d'aujourd'hui : développée par Mumford au début des années soixante, elle a conduit à des progrès considérables dans l'étude des variétés projectives, notamment par la construction d'espaces de modules. Dans les vingt dernières années des interactions entre la théorie géométrique des invariants et la géométrie arithmétique -- plus précisément la théorie des hauteurs et la géométrie d'Arakelov -- ont été étudiés par divers auteurs (Burnol, Bost, Zhang, Soulé, Gasbarri, Chen). Dans cette thèse nous nous proposons d'un côté d'étudier de manière systématique la théorie géométrique des invariants dans le cadre de la géométrique d'Arakelov ; de l'autre de montrer que ces résultats permettent une nouvelle approche géométrique (distincte aussi de la méthode des pentes développée par Bost) aux résultats d'approximation diophantienne, tels que le Théorème de Roth et ses généralisations par Lang, Wirsing et Vojta.

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.