Parmi les espèces de levures du clade CTG, certaines sont responsables de candidoses tandis que d’autres présentent des potentiels en biotechnologie. Depuis quelques années, nous assistons à une intensification des recherches sur ces levures. Cependant, leur code génétique particulier a ralenti la mise au point d’outils génétiques pour la plupart d’entre elles. Cette thèse vise à développer des outils moléculaires standardisés pour un grand nombre d’espèces de levures du clade CTG. Nous avons d’abord conçu des vecteurs d’expression adaptés à l’espèce M. guilliermondii. Par la suite, nous avons caractérisé le gène de résistance à l’acide mycophénolique IMH3.2 afin de l’utiliser comme marqueur de sélection lors de la transgénèse d’espèces du clade CTG. Enfin, nous avons mis au point une série de vecteurs permettant la manipulation génétique de ces espèces. Ce travail a conduit à la conception d’une large gamme d’outils utilisable dans un grand nombre de ces levures, pré-requis essentiel aux futurs recherches en mycologie médicale et au développement de stratégies de biologie synthétique. / The fungal CTG clade includes well-known yeasts of clinical importance and/or biotechnological potential. Thus, albeit being intensively studied over the last 30 years, their uncommon genetic code precludes the use of the widely available markers and reporter systems for genetic approaches in these microorganisms. We provide here a toolbox to genetically manipulate a wide range of CTG clade species. Firstly, we developed a new series of versatile controllable expression vectors for M. guilliermondii. After, we characterized MPA-resistant gene IMH3.2 et used it as a drug resistance marker in several yeast species. Finaly, we provide a molecular toolbox suitable to genetically manipulate a broad range of prominent species from the CTG clade. This versatile toolkit represents a new starting point for successful developments of research in medical mycology in the CTG clade but also will expedite synthetic biology strategies in these microorganisms for biotechnological applications.

Cette thèse a pour but d’augmenter la durée de vie des moules pour l’injection plastique. Les principaux phénomènes à refréner sont l’usure par abrasion et l’usure par corrosion. Pour ce faire, deux familles de matériaux ont été présélectionnées. Il s’agit des aciers à outils inoxydables et des verres métalliques massifs. Ces travaux détaillent donc la sélection, le développement et la caractérisation d’une nuance pour chacune de ces familles. In fine, cette thèse délivre un nouvel acier adapté à la fabrication additive et aux moules d’injection plastique, allant de l’élaboration de la poudre à l’optimisation des paramètres LBM et de ceux du traitement thermique. Cet acier permet d’offrir un bon compromis en termes de propriétés thermiques, mécaniques et de résistance à la corrosion. Quant au verre métallique massif, ces travaux de thèse démontrent que la nuance choisie permet de conserver suffisamment de matériau amorphe pour induire des propriétés exceptionnelles. / The aim of this thesis is to increase molds lifetime. Mains phenomena to limit are abrasion wear and corrosion. For this purpose, two material families have been preselected. They have been identified among stainless steels and bulk metallic glasses. This work details their selection, development in additive manufacturing and characterization for both materials. In the end, this thesis delivers a new steel grade adapted to the additive manufacturing and plastic injection molds, which affords good corrosion resistance, high hardness and a comparatively good thermal conduction. Concerning the bulk metallic glass, this work shows that the chosen composition allowed to preserve enough amorphous material to induce exceptional properties and give strong hopes to continue in this vein.

Les céramiques à base d’Al2O3 et de 3Y-ZrO2 à structures submicroniques présentent, au vu de leurs propriétés physiques et mécaniques, un fort potentiel pour l’usinage de composites en bois. Neuf nuances ont été développées par coulage-gélification (CG) et par pressage isostatique à froid (CIP). Elles ont ensuite été testées en usinage dans des conditions industrielles de coupe. L’objectif de la thèse a été la compréhension, à partir de ces résultats, des mécanismes d’usure, afin d’identifier les propriétés physiques et mécaniques nécessaires pour l’usage d’un matériau nouveau pour cette application. Des outils prototypes de fraisage et de tournage ont été conçus. L’état d’endommagement et les contraintes résiduelles dans la céramique, dus aux étapes de fabrication des prototypes, ont été déterminés. Les résultats des expérimentations de coupe montrent que différents mécanismes opèrent sur l’usure des céramiques. Pour les nuances d’alumine, l’usure de l’arête se fait par arrachement cyclique de grains, tandis que les nuances à base de zircone se déforment plastiquement. Il apparaît que les propriétés physiques, telles que la taille de grain et la densité, sont prédominantes sur les propriétés mécaniques. L’utilisation de céramiques à structure submicronique avec des densités supérieures à 99 % améliore les performances en usinage. C’est la nuance Al2O3-10 % ZrO2 produite par CG qui a montré la meilleure résistance à l’usure. Lors de l'affûtage et de la coupe, l'oxyde de zirconium non stabilisé opère un changement de phase qui induit des contraintes de compression au sein de la microstructure et augmente ainsi la résistance micromécanique des joints de grain. / High mechanical properties of sub-μm grain Al2O3 and 3Y-ZrO2 present high potential for the cutting of wood-based materials. Nine grades were produced by gelcasting (GC) and cold isostatic pressing (CIP). They were tested in real industrial conditions. From those results, this thesis’ aim was to highlight the wear mechanisms in cutting, and then deduce major physical and mechanical properties that are task of material development. Consequently, prototypes for cutting trials have been developed. As a result, the manufacturing of prototype tools, X-Ray diffraction, analytical and numerical investigations were performed to quantify residual stress that occurred in ceramic. Observation of the results of experimentations in machining showed different wear modes. For alumina’s grade, single grain pull-out was the main wear mechanism of the cutting edge, while microplastic deformation occurred in zirconia’s composition. Physical properties of ceramic structure, like grain size and density, are more important than mechanical properties. To improve cutting lifetime, density must be higher than 99%, with a structure with sub-μm grain size. It appeared that there was a predominant role of micromechanical stability while cutting abrasive materials. Fracture toughness or thermal shock resistance seem to have marginal influence when ceramic were produced by low-defect process like GC. Regarding all ceramic grades the Al2O3-10ZrO2 made by GC showed the highest wear resistance in machining. Unstabilized zirconia brought micromechanical stability between grains of the cutting edge while working.

Le procédé du micro-fraisage apporte de nombreux avantages pour la fabrication de pièces de petites dimensions. Les objectifs de cette thèse sont d'étudier les mécanismes physiques intervenant en micro-fraisage pour l'amélioration de la fabrication de produits miniaturisés. Plusieurs thématiques de recherche sont abordés afin d'améliorer la technologie de micro-usinage tant en terme de qualité que de productivité. Parmi ces thématiques, on peut citer le développement de micro-machines-outils, l'étude de l'influence de la microstructure des pièces, l'étude des trajectoires de l'extrémité de la micro-fraise, l'analyse numérique et analytique de la formation d'un copeau segmenté, la modélisation de la rugosité de la surface usinée, par exemple par réseau de neurones ou la conception de bancs d'essais. Certains résultats importants obtenus durant ce travail sont : 1. Les différences de phases métalliques dans un matériau polycristallin multiphase affectent beaucoup le processus de micro-fraisage, induisant des variations dans les efforts de coupe et influençant la qualité de la surface générée. 2. Pendant le processus de micro-fraisage, seule un seule arête coupe la matière. L'angle de l'arête de la direction d'avance sont les paramètres les plus importants pour réduire l'erreur d'usinage et pour répartir les efforts de coupe. 3. Le mécanisme de formation du copeau est étudié par une méthode hybride analytique-numérique. Les variations de la longueur de contact entre l'outil et le copeau et de la longueur de la bande de cisaillement sont les raisons principales qui expliquent l'apparition du copeau segmenté / Micromilling technique brings many advantages to the fabrication of micro-sized features. The objectives of this thesis are to investigate the micromilling mechanism for the efficient fabrication of miniaturized products. There are a number of issues that influence micromilling processes : cutting forces, dynamics and stability, chip formation, and machine tools. Several research topics, including Micro Machine Tool (MMT) development, workpiece microstructure influences, micromill tip trajectory investigation, wavy chip formation analysis via FEM-analytical ap- proach, surface roughness prediction based on the neural network and design of experiment are focused in this thesis. Some important results are listed : 1. The metal phase differences in the multi-phase polycrystalline material affect the micromilling process greatly, induce the cutting force variation, and influence the surface generation. 2. The single flute cutting condition always occurs in the micromilling process. The flute angle and feed angle are important to the machining error and chip load distribution. 3. The wavy chip formation mechanism is studied via hybrid analytical-FEM approach. It has been found the chip acquires additional angular acceleration in the segment generation instant. The variations of the tool chip contact length and shear band length are the main reasons of wavy chip segment formation

Dans un pays comme le nôtre, il n’est pas surprenant que les professionnels doivent acquérir, parmi des compétences disciplinaires et professionnelles, une quantité grandissante de compétences technologiques. La traduction ne fait pas exception à la règle, et plusieurs chercheurs s’entendent pour dire que ces compétences doivent être acquises lors de la formation professionnelle, soit à l’université. Alors que de plus en plus d’employeurs demandent des traducteurs aux compétences technologiques élargies, nous nous demandons à quel degré et de quelle façon les universités canadiennes assument cette responsabilité. Nous distinguons connaissances technologiques et compétences technologiques. Les premières représentent un savoir, qui s’acquière généralement dans des cours isolés de la pratique traductionnelle, comme des cours de terminologie ou des cours d’introduction aux outils pour langagiers. Les secondes représentent un savoir-faire, qui s’acquière à l’application contextuelle répétitive des connaissances acquises, c’est-à-dire à l’utilisation des technologies dans le processus de traduction. Notre recherche vise à connaître la situation actuelle de l’utilisation des technologies langagières (TL) dans les programmes de traduction au pays, particulièrement dans les cours pratiques de traduction. Nous avons donc mené une étude auprès de professeurs et chargés de cours de treize universités canadiennes qui présentent au moins un programme de premier cycle en traduction. L’étude au cœur de notre recherche fait appel à deux méthodes pour la collecte de données : 1) questionnaires en ligne sur l’utilisation des TL dans les cours d’intérêt et sur les attitudes envers cette utilisation; 2) entrevues avec des professeurs ou chargés de cours. Les résultats présentent un survol de la place qu’occupent les TL dans les cours pratiques de traduction au Canada, dont leurs circonstances et leur fréquence d’utilisation. Ceux-ci nous permettent également de relever certaines pratiques exemplaires avec les TL et les principales difficultés associées à l’utilisation des TL dans les cours de traduction. Jumelées à la littérature dans le domaine de l’enseignement de la traduction et des technologies, les données nous amènent à présenter des recommandations quant aux TL dans l’apprentissage de la traduction. Ces propositions diverses serviront à améliorer l’intégration des TL dans les programmes de traduction au Canada afin de mieux préparer les apprentis traducteurs aux réalités, notamment technologiques, du marché.

La vérification automatique de preuves consiste à faire vérifier par un ordinateur la validité de démonstrations d'énoncés mathématiques. Cette vérification étant purement calculatoire, elle offre un haut degré de confiance. Elle est donc particulièrement utile pour vérifier qu'un logiciel critique, c'est-à-dire dont le bon fonctionnement a un impact important sur la sécurité ou la vie des personnes, des entreprises ou des biens, correspond exactement à sa spécification. DEDUKTI est l'un de ces vérificateurs de preuves. Il implémente un système de type, le lambda-Pi-Calcul Modulo, qui est une extension du lambda-calcul avec types dépendants avec des règles de réécriture du premier ordre. Suivant la correspondance de Curry-Howard, DEDUKTI implémente à la fois un puissant langage de programmation et un système logique très expressif. Par ailleurs, ce langage est particulièrement bien adapté à l'encodage d'autres systèmes logiques. On peut, par exemple, importer dans DEDUKTI des théorèmes prouvés en utilisant d'autres outils tels que COQ, HOL ou encore ZENON, ouvrant ainsi la voie à l'interopérabilité entre tous ces systèmes. Le lambda-Pi-Calcul Modulo est un langage très expressif. En contrepartie, certaines propriétés fondamentales du système, telles que l'unicité des types ou la stabilité du typage par réduction, ne sont pas garanties dans le cas général et dépendent des règles de réécriture considérées. Or ces propriétés sont nécessaires pour garantir la cohérence des systèmes de preuve utilisés, mais aussi pour prouver la correction et la complétude des algorithmes de vérification de types implémentés par DEDUKTI. Malheureusement, ces propriétés sont indécidables. Dans cette thèse, nous avons donc cherché à concevoir des critères garantissant la stabilité du typage par réduction et l'unicité des types et qui soient décidables, de manière à pouvoir être implémentés par DEDUKTI. Pour cela, nous donnons une nouvelle définition du lambda-Pi-Calcul Modulo qui rend compte de l'aspect itératif de l'ajout des règles de réécriture dans le système en les explicitant dans le contexte. Une étude détaillée de ce nouveau calcul permet de comprendre qu'on peut ramener le problème de la stabilité du typage par réduction et de l'unicité des types à deux propriétés plus simples, qui sont la compatibilité du produit et le bon typage des règles de réécriture. Nous étudions donc ces deux propriétés séparément et en donnons des conditions suffisantes effectives. Ces idées ont été implémentées dans DEDUKTI, permettant d'augmenter grandement sa généralité et sa fiabilité. / Automatic proof checking is about using a computer to check the validity of proofs of mathematical statements. Since this verification is purely computational, it offers a high degree of confidence. Therefore, it is particularly useful for checking that a critical software, i.e., a software that when malfunctioning may result in death or serious injury to people, loss or severe damage to equipment or environmental harm, corresponds to its specification. DEDUKTI is such a proof checker. It implements a type system, the lambda-Pi-Calculus Modulo, that is an extension of the dependently-typed lambda-calculus with first-order rewrite rules. Through the Curry-Howard correspondence, DEDUKTI implements both a powerful programming language and an expressive logical system. Furthermore, this language is particularly well suited for encoding other proof systems. For instance, we can import in DEDUKTI theorems proved using other tools such as COQ, HOL or ZENON, a first step towards creating interoperability between these systems.The lambda-Pi-Calculus Modulo is a very expressive language. On the other hand, some fundamental properties such as subject reduction (i.e., the stability of typing by reduction) and uniqueness of types are not guaranteed in general and depend on the rewrite rules considered. Yet, these properties are necessary for guaranteeing the coherence of the proof system, but also for provingthe soundness and completeness of the type-checking algorithms implemented in DEDUKTI. Unfortunately, these properties are undecidable. In this thesis, we design new criteria for subject reduction and uniqueness of types that are decidable in order to be implemented in DEDUKTI.For this purpose, we give a new definition of the lambda-Pi-Calculus Modulo that takes into account the iterative aspect of the addition of rewrite rules in the typing context. A detailed study of this new system shows that the problems of subject reduction and uniqueness of types can be reduced to two simpler properties that we call product compatibility and well-typedness of rewrite rules.Hence, we study these two properties separately and give effective sufficient conditions for them to hold.These ideas have been implemented in DEDUKTI, increasing its generality and reliability.

La bio-inspiration applique des principes et des stratégies issus de systèmes biologiques afin de faciliter la conception technologique. Doté d’un fort potentiel pour l’Innovation, la biomimétique, son pendant méthodologique, est en passe d’évoluer vers un processus clé pour les entreprises. Un certain nombre de freins demeurent cependant à lever afin que la conception bio-inspirée s’apparente à une démarche robuste et répétable. Les travaux réalisés abordent cette diffusion de la conception bio-inspirée selon deux axes distincts. Ils s’efforcent tout d’abord d’harmoniser champs conceptuels relatifs à la bio-inspiration et modèles de processus biomimétiques, en vue de rendre possible l’évaluation des outils supportant cette démarche de conception. Cette évaluation méthodologique, couverte selon l’angle objectif et subjectif, aboutit à la formalisation d’un modèle structurant, un arbre de classification, à même de guider les concepteurs biomimétiques à travers le processus biomimétique. En parallèle de l’établissement de ce cadre de référence méthodologique, les travaux s’évertuent à explorer un autre verrou inhérent à la démarche : l’interaction entre biologie et ingénierie. Les travaux tendent ainsi, par le développement d’un outil, à réduire l’une des barrières d’entrée de ce type d’approche, en proposant un modèle décrivant fonctionnellement les systèmes biologiques sans prérequis d’expertise biologique. La concaténation de ces réalisations aborde directement l’enjeu principal de ce champs disciplinaire : son essor par la dissémination de son application à l’innovation industrielle, en vue de favoriser l’émergence de « produits biomimétiques » au détriment des « accidents bio-inspirées ». / Biomimetics applies principles and strategies which stem from biological systems in order to facilitate technological design. Providing a high innovation potential, biomimetics could become a key process for various business. However, there are still a few challenges to overcome in order for the bioinspired design to become a sustainable approach. The work which has been carried out addresses this bioinspired design diffusion with two distinct focuses. First of all, they tend to standardize conceptual fields for bio-inspiration and biomimetic process models to enable the evaluation of tools supporting said design process. This methodological assessment, addressed from an objective and subjective point of view, results in the formalization of a structuring model, a classification tree which guides designers through the biomimetic process. Alongside the development of this methodological reference framework establishment, the work tends to overcome another obstacle of the bioinspired design implementation which is the interaction between biology and engineering. By developing a specific tool, the research studies offer a model which functionally describes biological systems without biological expertise prerequisites. The concatenation of these accomplishments addresses the main issue of these disciplinary fields: its development through the dissemination of its application to industrial innovation, in order to encourage the emergence of “biomimetic products” at the expense of “bio-inspired accidents”.

Dans ces travaux de recherche, nous proposons une méthodologie de l’approche Lean prenant en compte les aspects socioculturels dans un contexte globalisé. Cette méthodologie englobe à la fois des éléments culturels et techniques du Lean (facilitateurs et outils), afin de répondre aux besoins concurrentiels des organisations. Pour atteindre cet objectif, un sondage a été réalisé auprès de 115 gestionnaires originaires de différents pays. Ce sondage a permis d’évaluer l’intégration de facilitateurs Lean dans les entreprises et d’analyser les relations entre les facilitateurs Lean et les dimensions culturelles. Les résultats d’analyse quantitative du sondage nous ont fourni des aspects clés pour l'élaboration de la méthodologie. / In this research, we propose a methodology of Lean approach taking account socio-cultural aspects in a globalized context. This methodology relates the culture and Lean technical elements (enablers and tools), in order to meet competitive needs of the organization. To achieve this goal, a survey was conducted among 115 managers from different countries. The survey had assessed the integration of Lean enablers in companies and to analyze the relationships between Lean enablers and cultural dimensions. Quantitative analysis of surveys has helped develop an implementation methodology.

Le diagnostic des outils de coupe joue un rôle dans l’industrie où il est important de maîtriser les coûts ainsi que la qualité des produits finis tout en maintenant la sécurité et la sûreté des biens et des personnes. L’objectif de cette thèse est l’analyse vibratoire des outils de coupe d’une opération de fraisage pour le diagnostic de leur état de dégradation. Dans une première partie nous avons étudié les possibilités offertes par les traitements statistiques synchrones des signaux vibrations issus d’une opération d’usinage pour étudier leur état de fonctionnement. Les signaux vibratoires traités ont la particularité d’être cyclostationnaires, c'est-à-dire périodiques dans leurs propriétés statistiques. La prise en compte de cette propriété permet l’utilisation des descripteurs capables de caractériser instantanément les processus vibratoires, en liaison avec la cinématique mécanique de l’opération d’usinage. De plus lorsque associé à l’échantillonnage angulaire, la cyclostationnarité conduit vers la proposition d’estimateurs statistiques synchrones commodes à mette en œuvre. Les statistiques synchrones d’ordre l et d’ordre 2, la corrélation spectrale ainsi que le bispectre cyclique sont définis avec leurs interprétations et leurs estimateurs. Un modèle des signaux de fraisage est donné. Cette modélisation vise à démontrer la cyclostationnarité de ces signaux. L’emploi de ces indicateurs est illustré sur des signaux réels et comparé avec des indicateurs classiques pour le diagnostic de dégradation des outils de coupe. Dans une deuxième partie, la déconvolution aveugle de la réponse impulsionnelle d’un processus cyclostationnaire est réalisé, en utilisant seulement les statistiques d’ordre deux. Pour cela on exploite la propriété de cyclostationnarité pour estimer la phase du système, même si le système est à phase non minimale. Deux méthodes sont présentées, paramétrique Ding-p et non paramétrique Ding-n. Ces méthodes ont été validées sur des signaux de simulation des signaux vibratoires issus des machines tournantes. Deux applications ont été faites, la première est d’estimer la réponse impulsionnelle d’un système broche-outil-pièce de fabrication. La deuxième c’est de reconstruire les forces de coupe, exerçants sur la pièce de fabrication, afin de faire le monitoring / The identification of the state of a cutting tool is important in any metal cutting process. An additional cost - in terms of scrapped components, machine tool breakage and unscheduled downtime - occurs as a result of tool defects. The thesis objective is the cutting tool vibration analysis of a milling operation for the diagnosis of their state of degradation. In the first part, the possibilities offered by the synchronous statistics, applied to vibration signal captured from a milling process, are studied to examine the cutting tool condition. The processed vibration signals are cyclostationary, i.e their statistical properties are periodic. Taking into account this property, the use of descriptors able to characterize the process, in conjunction with the kinematics of the mechanical machining operation. Furthermore, when combined with the angular sampling, the cyclostationarity led to the proposed synchronous statistical estimators convenient to implement. First order and second order synchronous statistics, the spectral correlation and the cyclic bispectrum are defined with their interpretations and estimators. A model of milling vibration signal is given. This model aims to demonstrate the cyclostationarity of the signals. The use of these indicators is illustrated on real signals and compared with conventional indicators for diagnosing degradation of cutting tools.In the second part, the blind deconvolution of the impulse response of a cyclostationary process is

L’innovation et le contrôle de gestion sont tous deux considérés comme des déterminants de la performance des entreprises. Pourtant, ces deux concepts apparaissent à première vue comme antinomiques, et certains chercheurs les ont présentés comme difficilement conciliables, préconisant aux organisations innovantes d’avoir recours à d’autres modes de contrôle. La question du rôle et de l’influence du contrôle de gestion en contexte innovant se pose alors et motive ce travail doctoral. Au-delà de la littérature s’intéressant à l’influence du contrôle de gestion sur l’innovation, nous empruntons les cadres théoriques et conceptuels portant sur l’innovation managériale et l’ambidextrie organisationnelle afin de traiter de cette question du lien entre contrôle de gestion et innovation produit. La méthodologie retenue est de nature exploratoire, qualitative et adductive correspondant ainsi à un positionnement épistémologique de type interprétativiste. Elle consiste en une démarche en deux temps : une étude exploratoire auprès de dix-neuf start-ups et PME innovantes, puis deux études de cas de PME récemment inscrites dans une stratégie d’innovation. Les résultats de cette recherche montrent que, innovation et contrôle de gestion sont loin d’être antagonistes. D’abord, le contrôle de gestion, qu’il soit de type interactif ou cybernétique, apparaît comme favorable à l’innovation, mais l’innovation semble également impacter les systèmes de contrôle de gestion, en poussant les entreprises à mettre en place des outils de contrôle d’une part, des outils refaçonnés et adaptés d’autre part. Au final, on observe que l’innovation produit et l’innovation managériale se soutiennent mutuellement, mais également que le contrôle de gestion apparaît comme support d’ambidextrie contextuelle. Par ailleurs, cette étude souligne le rôle clé du dirigeant, en tant qu’acteur hybride ou ambidextre. / Innovation and management control are both considered as determinants of business performance. Yet, these two concepts appear at first sight contradictory, and some researchers have presented them as difficult to reconcile, advocating innovative organizations to have recourse to other modes of control. The issue of the role and influence of management control in innovative context arises and motivates this doctoral work.Beyond the literature concerned with the influence of management control on innovation, we use the theoretical and conceptual frameworks bearing on managerial innovation and organizational ambidexterity in order to deal with this issue of the link between management control and product innovation. The methodology is exploratory, qualitative and adductive corresponding thus to an interpretativist epistemological positioning. It consists of a two-stage approach : an exploratory study with nineteen start-ups and SMEs innovative and two case studies of SME which are both recently entered into an innovation strategy.The results of this research show that innovation and management control are far from being antagonistic. First, management control whether interactive or cybernetic type appears as favorable to innovation, but innovation also appears to impact the management control systems, pushing companies to develop tools of control on the one hand, tools which are reshaped and adapted on the other hand. Finally, we observe that product innovation and managerial innovation support each other, but also that management control appears as contextual ambidexterity support. Moreover, this study highlights the key role of the leader as hybrid or ambidextrous actor.