Probe-level linear model fitting and mixture modeling results in high accuracy detection of differential gene expression

Affiliation: Institut de recherche en immunologie et en cancérologie, Université de Montréal

Les obligations du franchiseur : étude du droit civil et du guide d'Unidroit sur les accords internationaux de franchise principale

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maîtrise en droit (LL.M.)". Ce mémoire a été accepté à l'unanimité et classé parmi les 15% des mémoires de la discipline.

A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

Banque mondiale et développement. Pertinences scientifiques des discours et pratiques de développement de la Banque mondiale dans les PED des années 80 à nos jours.

RÉSUMÉ « De nos jours, notent Samoff et Carrol, la Banque mondiale doit être considérée à la fois comme une banque, une agence de développement et un institut de recherche » (2004, p9). L’institution de Bretton Woods est en effet devenue notamment dans le cadre du développement des PED, à la fois une banque de prêt et une institution de savoir ; « le laboratoire d’idées sur le développement le plus important au monde », précisent Wilks et Lefrançois (2002). Cependant, si elle reste un partenaire idéologique et financier pour le développement de ces pays, la Banque mondiale est aussi en même temps dans le paysage des relations économiques internationales contemporaines une véritable superpuissance, une figure importante de la dominance mondiale d’aujourd’hui. Les programmes de développement qu’elle professe et met en œuvre dans les PED y sont de ce fait également les discours et pratiques de développement dominants. Mais le discours de développement de la Banque mondiale dans les PED, outre qu’il y soit le savoir dominant du développement, se veut aussi par ailleurs un discours d’érudition : un corps de connaissances savant de développement, qui dans sa formulation comme dans son contenu revendique l’appartenance à une certaine rationalité, vise à une certaine « scientificité ». Partant, la question autour de laquelle s’organise la présente thèse et qui est au cœur de sa problématique est la suivante : le programme de développement que la Banque mondiale destine aux PED dans sa dimension discursive en particulier, est-il pour autant rationnel et raisonnable ? En d’autres termes : de quel crédit scientifique et moral peut jouir ce programme; de quelle cohérence, de quel réalisme, et de quelle adéquation sociale, peut se prévaloir un tel système de pensées et d’actions de développement ? Mais interroger les bien-fondés épistémologiques de son programme de développement dans les PED revient aussi au plans politique et social à questionner cette position de dominance qu’occupe la Banque mondiale dans ces pays. Aussi notre questionnement général s’enchaîne-t-il comme suit: ce pouvoir d’autorité de la Banque mondiale dans les PED, tire t-il sa légitimité d’un fondement rationnel convaincant, capable de résister à la critique, ou plutôt, s’enracine t-il dans une confusion idéologique sciemment instaurée et entretenue ou comme dit Rist, dans le « pouvoir de celui qui parvient à l’imposer» ?

Implantation des futures sur un système distribué par passage de messages

Ce mémoire présente une implantation de la création paresseuse de tâches desti- née à des systèmes multiprocesseurs à mémoire distribuée. Elle offre un sous-ensemble des fonctionnalités du Message-Passing Interface et permet de paralléliser certains problèmes qui se partitionnent difficilement de manière statique grâce à un système de partitionnement dynamique et de balancement de charge. Pour ce faire, il se base sur le langage Multilisp, un dialecte de Scheme orienté vers le traitement parallèle, et implante sur ce dernier une interface semblable à MPI permettant le calcul distribué multipro- cessus. Ce système offre un langage beaucoup plus riche et expressif que le C et réduit considérablement le travail nécessaire au programmeur pour pouvoir développer des programmes équivalents à ceux en MPI. Enfin, le partitionnement dynamique permet de concevoir des programmes qui seraient très complexes à réaliser sur MPI. Des tests ont été effectués sur un système local à 16 processeurs et une grappe à 16 processeurs et il offre de bonnes accélérations en comparaison à des programmes séquentiels équiva- lents ainsi que des performances acceptables par rapport à MPI. Ce mémoire démontre que l’usage des futures comme technique de partitionnement dynamique est faisable sur des multiprocesseurs à mémoire distribuée.

Bootstrap for panel data models with an application to the evaluation of public policies

Le but de cette thèse est d étendre la théorie du bootstrap aux modèles de données de panel. Les données de panel s obtiennent en observant plusieurs unités statistiques sur plusieurs périodes de temps. Leur double dimension individuelle et temporelle permet de contrôler l 'hétérogénéité non observable entre individus et entre les périodes de temps et donc de faire des études plus riches que les séries chronologiques ou les données en coupe instantanée. L 'avantage du bootstrap est de permettre d obtenir une inférence plus précise que celle avec la théorie asymptotique classique ou une inférence impossible en cas de paramètre de nuisance. La méthode consiste à tirer des échantillons aléatoires qui ressemblent le plus possible à l échantillon d analyse. L 'objet statitstique d intérêt est estimé sur chacun de ses échantillons aléatoires et on utilise l ensemble des valeurs estimées pour faire de l inférence. Il existe dans la littérature certaines application du bootstrap aux données de panels sans justi cation théorique rigoureuse ou sous de fortes hypothèses. Cette thèse propose une méthode de bootstrap plus appropriée aux données de panels. Les trois chapitres analysent sa validité et son application. Le premier chapitre postule un modèle simple avec un seul paramètre et s 'attaque aux propriétés théoriques de l estimateur de la moyenne. Nous montrons que le double rééchantillonnage que nous proposons et qui tient compte à la fois de la dimension individuelle et la dimension temporelle est valide avec ces modèles. Le rééchantillonnage seulement dans la dimension individuelle n est pas valide en présence d hétérogénéité temporelle. Le ré-échantillonnage dans la dimension temporelle n est pas valide en présence d'hétérogénéité individuelle. Le deuxième chapitre étend le précédent au modèle panel de régression. linéaire. Trois types de régresseurs sont considérés : les caractéristiques individuelles, les caractéristiques temporelles et les régresseurs qui évoluent dans le temps et par individu. En utilisant un modèle à erreurs composées doubles, l'estimateur des moindres carrés ordinaires et la méthode de bootstrap des résidus, on montre que le rééchantillonnage dans la seule dimension individuelle est valide pour l'inférence sur les coe¢ cients associés aux régresseurs qui changent uniquement par individu. Le rééchantillonnage dans la dimen- sion temporelle est valide seulement pour le sous vecteur des paramètres associés aux régresseurs qui évoluent uniquement dans le temps. Le double rééchantillonnage est quand à lui est valide pour faire de l inférence pour tout le vecteur des paramètres. Le troisième chapitre re-examine l exercice de l estimateur de différence en di¤érence de Bertrand, Duflo et Mullainathan (2004). Cet estimateur est couramment utilisé dans la littérature pour évaluer l impact de certaines poli- tiques publiques. L exercice empirique utilise des données de panel provenant du Current Population Survey sur le salaire des femmes dans les 50 états des Etats-Unis d Amérique de 1979 à 1999. Des variables de pseudo-interventions publiques au niveau des états sont générées et on s attend à ce que les tests arrivent à la conclusion qu il n y a pas d e¤et de ces politiques placebos sur le salaire des femmes. Bertrand, Du o et Mullainathan (2004) montre que la non-prise en compte de l hétérogénéité et de la dépendance temporelle entraîne d importantes distorsions de niveau de test lorsqu'on évalue l'impact de politiques publiques en utilisant des données de panel. Une des solutions préconisées est d utiliser la méthode de bootstrap. La méthode de double ré-échantillonnage développée dans cette thèse permet de corriger le problème de niveau de test et donc d'évaluer correctement l'impact des politiques publiques.

Une nouvelle méthode smoothed particle hydrodynamics : simulation des interfaces immergées et de la dynamique Brownienne des molécules avec des interactions hydrodynamiques

Dans cette thèse, nous présentons une nouvelle méthode smoothed particle hydrodynamics (SPH) pour la résolution des équations de Navier-Stokes incompressibles, même en présence des forces singulières. Les termes de sources singulières sont traités d'une manière similaire à celle que l'on retrouve dans la méthode Immersed Boundary (IB) de Peskin (2002) ou de la méthode régularisée de Stokeslets (Cortez, 2001). Dans notre schéma numérique, nous mettons en oeuvre une méthode de projection sans pression de second ordre inspirée de Kim et Moin (1985). Ce schéma évite complètement les difficultés qui peuvent être rencontrées avec la prescription des conditions aux frontières de Neumann sur la pression. Nous présentons deux variantes de cette approche: l'une, Lagrangienne, qui est communément utilisée et l'autre, Eulerienne, car nous considérons simplement que les particules SPH sont des points de quadrature où les propriétés du fluide sont calculées, donc, ces points peuvent être laissés fixes dans le temps. Notre méthode SPH est d'abord testée à la résolution du problème de Poiseuille bidimensionnel entre deux plaques infinies et nous effectuons une analyse détaillée de l'erreur des calculs. Pour ce problème, les résultats sont similaires autant lorsque les particules SPH sont libres de se déplacer que lorsqu'elles sont fixes. Nous traitons, par ailleurs, du problème de la dynamique d'une membrane immergée dans un fluide visqueux et incompressible avec notre méthode SPH. La membrane est représentée par une spline cubique le long de laquelle la tension présente dans la membrane est calculée et transmise au fluide environnant. Les équations de Navier-Stokes, avec une force singulière issue de la membrane sont ensuite résolues pour déterminer la vitesse du fluide dans lequel est immergée la membrane. La vitesse du fluide, ainsi obtenue, est interpolée sur l'interface, afin de déterminer son déplacement. Nous discutons des avantages à maintenir les particules SPH fixes au lieu de les laisser libres de se déplacer. Nous appliquons ensuite notre méthode SPH à la simulation des écoulements confinés des solutions de polymères non dilués avec une interaction hydrodynamique et des forces d'exclusion de volume. Le point de départ de l'algorithme est le système couplé des équations de Langevin pour les polymères et le solvant (CLEPS) (voir par exemple Oono et Freed (1981) et Öttinger et Rabin (1989)) décrivant, dans le cas présent, les dynamiques microscopiques d'une solution de polymère en écoulement avec une représentation bille-ressort des macromolécules. Des tests numériques de certains écoulements dans des canaux bidimensionnels révèlent que l'utilisation de la méthode de projection d'ordre deux couplée à des points de quadrature SPH fixes conduit à un ordre de convergence de la vitesse qui est de deux et à une convergence d'ordre sensiblement égale à deux pour la pression, pourvu que la solution soit suffisamment lisse. Dans le cas des calculs à grandes échelles pour les altères et pour les chaînes de bille-ressort, un choix approprié du nombre de particules SPH en fonction du nombre des billes N permet, en l'absence des forces d'exclusion de volume, de montrer que le coût de notre algorithme est d'ordre O(N). Enfin, nous amorçons des calculs tridimensionnels avec notre modèle SPH. Dans cette optique, nous résolvons le problème de l'écoulement de Poiseuille tridimensionnel entre deux plaques parallèles infinies et le problème de l'écoulement de Poiseuille dans une conduite rectangulaire infiniment longue. De plus, nous simulons en dimension trois des écoulements confinés entre deux plaques infinies des solutions de polymères non diluées avec une interaction hydrodynamique et des forces d'exclusion de volume.

Calcul en n-dimensions sur GPU

Le code source de la libraire développée accompagne ce dépôt dans l'état où il était à ce moment. Il est possible de trouver une version plus à jour sur github (http://github.com/abergeron).

Les assises idéologiques du projet conservateur de Stephen Harper

Plusieurs indices permettent de croire que le premier ministre Harper a pour projet de faire du Parti conservateur le parti politique dominant au Canada. À cette fin, il doit transformer l’organisation sociale et politique du pays de façon à le rendre plus conservateur. L’objectif du présent mémoire est de préciser les fondements idéologiques du projet de réforme de l’État canadien du premier ministre en m’appuyant sur les écrits des membres de l’École de Calgary. Je fais l’hypothèse que les politiques publiques mises en place par Harper sont inspirées des convictions des membres de cette école de pensée, dont il est un proche. Dans le premier chapitre, je détermine la signification du concept d’idéologie et établis la pertinence de l’analyse des idéologies pour expliquer les décisions politiques. Je définis ensuite les principaux types de conservatisme, afin de déterminer lequel inspire les membres de l’École de Calgary et le Parti conservateur. Dans le second chapitre, je dresse un portrait de la pensée de l’École de Calgary relativement à quatre thèmes, soit ceux du développement économique et social, du pouvoir judiciaire, de la politique étrangère et de l’identité nationale. Enfin, dans le troisième chapitre, je recense les décisions prises par le gouvernement Harper en relation avec ces quatre mêmes thèmes et vérifie leur concordance avec les idées portées par l’École de Calgary.

À travers les expériences canadiennes en matière d’industries minières, les leçons à tirer pour Madagascar pour bâtir une croissance économique sans grande répercussion sur l’environnement.

L’essor économique se fait au gré de l’environnement et du développement social de la population. Le concept de « développement durable » a été discuté pour la première fois lors du Sommet de la terre à Rio de Janeiro (Brésil) en 1992. Ce concept consiste à concilier la protection de l’environnement et la croissance économique. La compagnie minière canadienne Osisko met en œuvre le projet aurifère « Canadian Malartic » au Québec. Ce projet suscite des controverses au sein de la population locale. En effet, elle craigne des effets néfastes de cette exploitation d’or sur leur environnement et leur bien-être. Analogiquement, le gouvernement malagasy a accordé l’exploitation du site Ambatovy pour l’extraction des minerais de nickel et de cobalt à des firmes multinationales. Ce site minier est situé au cœur de la forêt humide du versant Est de Madagascar, qui figure dans la liste du patrimoine naturel mondial en péril selon l’Organisation des Nations Unies pour l’Éducation, la Science et la Culture (UNESCO). Les gouvernements québécois et malagasy veulent harmoniser les règles juridiques de la protection environnementale avec celles de l’exploitation des ressources naturelles pour accomplir leurs « développements durables ». Pour ce faire, ils devraient favoriser la prise de décision décentralisée et la collaboration de toutes les parties intéressées, surtout lors de l’examen de l’évaluation environnementale des projets miniers. Ils devraient s’assurer aussi de l’application des engagements social et environnemental des entreprises minières durant l’exploitation. Enfin, ces gouvernements devraient renforcer l’exigence de l’assainissement des sites miniers à la fin de l’exploitation minière.

Interaction entre ventilation mécanique et traumatisme à la moelle épinière : réponses inflammatoires pulmonaires et médullaires

Le traumatisme de la moelle épinière est à l’origine d’une inflammation locale importante caractérisée par l’augmentation massive des cellules inflammatoires et la présence de réactions oxydatives. Cette inflammation locale peut déclencher une réponse inflammatoire systémique par voie hématogène. Au niveau cervical, les lésions médullaires peuvent entraîner des faiblesses ou la paralysie des muscles respiratoires. Le patient, qui ne peut plus respirer de façon autonome, doit avoir recours à un support respiratoire. Bien que la ventilation mécanique soit la thérapie traditionnellement appliquée aux blessés médullaires souffrant d’insuffisance respiratoire, les études ont démontré qu’elle pouvait contribuer à promouvoir une réponse inflammatoire ainsi que des dommages pulmonaires. L’interaction entre le traumatisme médullaire et la ventilation mécanique, indispensable au maintien de l’équilibre des échanges respiratoires, est inconnue à ce jour. En voulant protéger les tissus, cellules et organes, l’organisme met en œuvre toute une panoplie de réponses inflammatoires à différents endroits. Nous pensons que ces réponses peuvent être altérées via l’interaction entre ce traumatisme et cette ventilation mécanique, sous l’influence de la principale source cellulaire de cytokines pour la défense de l’hôte, le macrophage, récemment classé en deux phénotypes principaux: 1) l’activation classique de type M1 et 2) l’activation alternative de type M2. Le phénotype M1 est conduit par le facteur GM-CSF et induit par l’interféron IFN-ɣ ainsi que le lipopolysaccharide. Le phénotype M2 quant à lui, est conduit par le facteur M-CSF et induit par les interleukines IL-4, IL-13 ou IL-21. M1 relâche principalement IL-1β, IL-6, TNF-α et MIP-1α tandis que M2 principalement IL-10 et MCP-1. Toutefois, nous ignorons actuellement par quel type d’activation se manifestera cette réponse immunitaire et si l’application de support respiratoire pourrait entraîner un risque inflammatoire additionnel au site du traumatisme. Nous ignorons également si la ventilation mécanique affecterait, à distance, les tissus de la moelle épinière via une inflammation systémique et amplifierait alors le dommage initial. Il n’existe pas à ce jour, de thérapie qui ait montré d’effet bénéfique réel envers une récupération fonctionnelle des patients blessés médullaires. Il paraît donc essentiel de déterminer si la ventilation mécanique peut moduler l’inflammation post-traumatique à la fois au niveau pulmonaire et au site de la lésion. Ce travail visait à caractériser les liens entre l’inflammation issue du traumatisme médullaire et celle issue de la ventilation, dans le but de fournir une meilleure compréhension des mécanismes inflammatoires activés dans ce contexte. L’étude a été menée sur un modèle animal. Elle consistait à évaluer : 1) si le traumatisme médullaire influençait les réponses inflammatoires pulmonaires induites par la ventilation mécanique, y compris le phénotype des macrophages alvéolaires et 2) si la ventilation pouvait altérer à distance, les tissus de la moelle épinière. L’impact de la blessure médullaire sur l’inflammation pulmonaire et locale, induite par la ventilation fut interprété grâce à l’analyse des cellules inflammatoires dans les lavages broncho-alvéolaires et dans les tissus prélevés à l’endroit de la blessure après 24 heures. Ces analyses ont démontré un profil spécifique des cytokines pulmonaires et médullaires. Elles ont révélé que la ventilation mécanique a engendré un environnement pro-inflammatoire en faveur d’un phénotype M1 chez les animaux ayant bénéficié de la thérapie respiratoire. Inversement, l’atteinte thoracique chez les animaux sans ventilation, a montré qu’une réponse immunitaire avait été activée en faveur d’un environnement anti-inflammatoire de phénotype M2. La lésion cervicale quant à elle a induit un profil de cytokines différent et les réponses au stress oxydatif dans le poumon induites par la ventilation ont été réduites significativement. De plus, une lésion médullaire a augmenté l’expression d’IL-6 et la ventilation a diminué l’IL-1β et augmenté le TNF-α dans les tissus de la moelle. Finalement, ces données ont fourni les premières évidences que la ventilation a induit d’avantage à un phénotype pulmonaire M1 et que le traumatisme médullaire a impacté spécifiquement les réponses inflammatoires et oxydatives dans le poumon. La ventilation a contribué non seulement à distance à une inflammation des tissus médullaires lésés mais aussi des tissus sains.

Logiciel de génération de nombres aléatoires dans OpenCL

clRNG et clProbdist sont deux interfaces de programmation (APIs) que nous avons développées pour la génération de nombres aléatoires uniformes et non uniformes sur des dispositifs de calculs parallèles en utilisant l’environnement OpenCL. La première interface permet de créer au niveau d’un ordinateur central (hôte) des objets de type stream considérés comme des générateurs virtuels parallèles qui peuvent être utilisés aussi bien sur l’hôte que sur les dispositifs parallèles (unités de traitement graphique, CPU multinoyaux, etc.) pour la génération de séquences de nombres aléatoires. La seconde interface permet aussi de générer au niveau de ces unités des variables aléatoires selon différentes lois de probabilité continues et discrètes. Dans ce mémoire, nous allons rappeler des notions de base sur les générateurs de nombres aléatoires, décrire les systèmes hétérogènes ainsi que les techniques de génération parallèle de nombres aléatoires. Nous présenterons aussi les différents modèles composant l’architecture de l’environnement OpenCL et détaillerons les structures des APIs développées. Nous distinguons pour clRNG les fonctions qui permettent la création des streams, les fonctions qui génèrent les variables aléatoires uniformes ainsi que celles qui manipulent les états des streams. clProbDist contient les fonctions de génération de variables aléatoires non uniformes selon la technique d’inversion ainsi que les fonctions qui permettent de retourner différentes statistiques des lois de distribution implémentées. Nous évaluerons ces interfaces de programmation avec deux simulations qui implémentent un exemple simplifié d’un modèle d’inventaire et un exemple d’une option financière. Enfin, nous fournirons les résultats d’expérimentation sur les performances des générateurs implémentés.

Spectrum simulation of rough and nanostructured targets from their 2D and 3D image by Monte Carlo methods

Corteo is a program that implements Monte Carlo (MC) method to simulate ion beam analysis (IBA) spectra of several techniques by following the ions trajectory until a sufficiently large fraction of them reach the detector to generate a spectrum. Hence, it fully accounts for effects such as multiple scattering (MS). Here, a version of Corteo is presented where the target can be a 2D or 3D image. This image can be derived from micrographs where the different compounds are identified, therefore bringing extra information into the solution of an IBA spectrum, and potentially significantly constraining the solution. The image intrinsically includes many details such as the actual surface or interfacial roughness, or actual nanostructures shape and distribution. This can for example lead to the unambiguous identification of structures stoichiometry in a layer, or at least to better constraints on their composition. Because MC computes in details the trajectory of the ions, it simulates accurately many of its aspects such as ions coming back into the target after leaving it (re-entry), as well as going through a variety of nanostructures shapes and orientations. We show how, for example, as the ions angle of incidence becomes shallower than the inclination distribution of a rough surface, this process tends to make the effective roughness smaller in a comparable 1D simulation (i.e. narrower thickness distribution in a comparable slab simulation). Also, in ordered nanostructures, target re-entry can lead to replications of a peak in a spectrum. In addition, bitmap description of the target can be used to simulate depth profiles such as those resulting from ion implantation, diffusion, and intermixing. Other improvements to Corteo include the possibility to interpolate the cross-section in angle-energy tables, and the generation of energy-depth maps.

An adaptive neighborhood search algorithm for optimizing stochastic mining complexes

Les métaheuristiques sont très utilisées dans le domaine de l'optimisation discrète. Elles permettent d’obtenir une solution de bonne qualité en un temps raisonnable, pour des problèmes qui sont de grande taille, complexes, et difficiles à résoudre. Souvent, les métaheuristiques ont beaucoup de paramètres que l’utilisateur doit ajuster manuellement pour un problème donné. L'objectif d'une métaheuristique adaptative est de permettre l'ajustement automatique de certains paramètres par la méthode, en se basant sur l’instance à résoudre. La métaheuristique adaptative, en utilisant les connaissances préalables dans la compréhension du problème, des notions de l'apprentissage machine et des domaines associés, crée une méthode plus générale et automatique pour résoudre des problèmes. L’optimisation globale des complexes miniers vise à établir les mouvements des matériaux dans les mines et les flux de traitement afin de maximiser la valeur économique du système. Souvent, en raison du grand nombre de variables entières dans le modèle, de la présence de contraintes complexes et de contraintes non-linéaires, il devient prohibitif de résoudre ces modèles en utilisant les optimiseurs disponibles dans l’industrie. Par conséquent, les métaheuristiques sont souvent utilisées pour l’optimisation de complexes miniers. Ce mémoire améliore un procédé de recuit simulé développé par Goodfellow & Dimitrakopoulos (2016) pour l’optimisation stochastique des complexes miniers stochastiques. La méthode développée par les auteurs nécessite beaucoup de paramètres pour fonctionner. Un de ceux-ci est de savoir comment la méthode de recuit simulé cherche dans le voisinage local de solutions. Ce mémoire implémente une méthode adaptative de recherche dans le voisinage pour améliorer la qualité d'une solution. Les résultats numériques montrent une augmentation jusqu'à 10% de la valeur de la fonction économique.