L’exercice du pouvoir et le développement des organisations scolaires

Il n'est pas facile de saisir toute la portée de cet essai par son seul titre. Lorsque l'on parle d'exercice du pouvoir et de développement des organisations scolaires, il y a plus d'ambigüité que de limpidité dans les termes employés. Pourtant, si l'on prend soin de s'entendre sur le vocabulaire choisi, l'idée de fond surgit dans toute son amplitude. Ici, le pouvoir est celui de diriger, de gérer l'organisation et les membres qui la compose. Peu importe que ce droit provienne d'une loi ou de la compétence du dirigeant, il existe tel qu'il est exercé et c'est d'ailleurs son exercice qui en définit les composantes. L'exercice du pouvoir, c'est en effet la manière dont le droit de diriger est conçu puis pratiqué. La conception du pouvoir par l'administrateur en place laisse forcément transparaitre, sa philosophie et ses traits caractériels. Il est donc évident que le mode de gestion en vigueur dans une entreprise est avant tout teinté aux couleurs du gestionnaire. Que ces couleurs soient en harmonie avec celles des subordonnés et tout ira bien dans l'organisation, qu'elles soient en contraste et tôt ou tard surviendra l'éclatement. Quant au développement des organisations scolaires, il réfère aux changements d'orientation que rendent nécessaires l'équilibre et la progression de toute organisation. On sait qu'une organisation scolaire rattache toujours ses orientations tant pédagogiques que technologiques à une philosophie éducative qui fonde ses politiques, ses objectifs puis ses plans d'action. C'est dire quelle est la complexité du changement en milieu scolaire où s’entremêlent philosophies, théories et technologies éducatives prônées par les administrateurs ou leurs subordonnés. [...]

Étude des systèmes complexes - Des réseaux au connectome du cerveau

La connectomique est l’étude des cartes de connectivité du cerveau (animal ou humain), qu’on nomme connectomes. À l’aide des outils développés par la science des réseaux complexes, la connectomique tente de décrire la complexité fonctionnelle et structurelle du cerveau. L’organisation des connexions du connectome, particulièrement la hiérarchie sous-jacente, joue un rôle majeur. Jusqu’à présent, les modèles hiérarchiques utilisés en connectomique sont pauvres en propriétés émergentes et présentent des structures régulières. Or, la complexité et la richesse hiérarchique du connectome et de réseaux réels ne sont pas saisies par ces modèles. Nous introduisons un nouveau modèle de croissance de réseaux hiérarchiques basé sur l’attachement préférentiel (HPA - Hierarchical preferential attachment). La calibration du modèle sur les propriétés structurelles de réseaux hiérarchiques réels permet de reproduire plusieurs propriétés émergentes telles que la navigabilité, la fractalité et l’agrégation. Le modèle permet entre autres de contrôler la structure hiérarchique et apporte un support supplémentaire quant à l’influence de la structure sur les propriétés émergentes. Puisque le cerveau est continuellement en activité, nous nous intéressons également aux propriétés dynamiques sur des structures hiérarchiques produites par HPA. L’existence d’états dynamiques d’activité soutenue, analogues à l’état minimal de l’activité cérébrale, est étudiée en imposant une dynamique neuronale binaire. Bien que l’organisation hiérarchique favorise la présence d’un état d’activité minimal, l’activité persistante émerge du contrôle de la propagation par la structure du réseau.

Étude descriptive du développement des habiletés en compréhension de textes d'élèves de deuxième et de quatrième années en fonction des structures narratives non dialogique et dialogique

La majorité des situations dans lesquelles l'enfant fait ses apprentissages requièrent l'activité de lecture. Au-delà, des mots, au-delà de la simple perception physique du langage, Smith (1977) décrit la structure profonde du langage comme la signification que le lecteur donne à un texte, en plus du sens propre du texte lui-même. Pour le lecteur, le sens d'un texte comprend l'information qu'il en extrait, en plus de certaines informations qu'il en infère. En d'autres mots, le sens correspond aux réponses que le lecteur obtient à ses questions cognitives. En conséquence, la structure profonde de la langue se présente réellement comme le processus par lequel le discours est produit et compris. Elle se trouve à la fois dans la tête de l'individu et dans le texte; elle fait partie de la théorie du monde du lecteur. […]La présente recherche s'inscrit dans le modèle constructiviste de la compréhension en lecture. Son objectif propre est de donner des indices sur le développement des habiletés en compréhension chez des élèves de deuxième et quatrième années de l'école primaire. Peu de recherches s'y sont intéressées. On utilisera un protocole de recherche de type factoriel 2*2*2*2 (2 types de structures de textes * 2 niveaux de complexité des textes * 2 niveaux scolaires * 2 ordres de présentation des textes).

Conception d’un mécanisme déployable à grand ratio d’expansion et de son système d’actionnement par roues d’inertie pour applications spatiales

Cette thèse propose de développer des mécanismes déployables pour applications spatiales ainsi que des modes d’actionnement permettant leur déploiement et le contrôle de l’orientation en orbite de l’engin spatial les supportant. L’objectif étant de permettre le déploiement de surfaces larges pour des panneaux solaires, coupoles de télécommunication ou sections de station spatiale, une géométrie plane simple en triangle est retenue afin de pouvoir être assemblée en différents types de surfaces. Les configurations à membrures rigides proposées dans la littérature pour le déploiement de solides symétriques sont optimisées et adaptées à l’expansion d’une géométrie ouverte, telle une coupole. L’optimisation permet d’atteindre un ratio d’expansion plan pour une seule unité de plus de 5, mais présente des instabilités lors de l’actionnement d’un prototype. Le principe de transmission du mouvement d’un étage à l’autre du mécanisme est revu afin de diminuer la sensibilité des performances du mécanisme à la géométrie de ses membrures internes. Le nouveau modèle, basé sur des courroies crantées, permet d’atteindre des ratios d’expansion plans supérieurs à 20 dans certaines configurations. L’effet des principaux facteurs géométriques de conception est étudié afin d’obtenir une relation simple d’optimisation du mécanisme plan pour adapter ce dernier à différents contextes d’applications. La géométrie identique des faces triangulaires de chaque surface déployée permet aussi l’empilement de ces faces pour augmenter la compacité du mécanisme. Une articulation spécialisée est conçue afin de permettre le dépliage des faces puis leur déploiement successivement. Le déploiement de grandes surfaces ne se fait pas sans influencer lourdement l’orientation et potentiellement la trajectoire de l’engin spatial, aussi, différentes stratégies de contrôle de l’orientation novatrices sont proposées. Afin de tirer profit d’une grande surface, l’actionnement par masses ponctuelles en périphérie du mécanisme est présentée, ses équations dynamiques sont dérivées et simulées pour en observer les performances. Celles-ci démontrent le potentiel de cette stratégie de réorientation, sans obstruction de l’espace central du satellite de base, mais les performances restent en deçà de l’effet d’une roue d’inertie de masse équivalente. Une stratégie d’actionnement redondant par roue d’inertie est alors présentée pour différents niveaux de complexité de mécanismes dont toutes les articulations sont passives, c’est-à-dire non actionnées. Un mécanisme à quatre barres plan est simulé en boucle fermée avec un contrôleur simple pour valider le contrôle d’un mécanisme ciseau commun. Ces résultats sont étendus à la dérivation des équations dynamiques d’un mécanisme sphérique à quatre barres, qui démontre le potentiel de l’actionnement par roue d’inertie pour le contrôle de la configuration et de l’orientation spatiale d’un tel mécanisme. Un prototype à deux corps ayant chacun une roue d’inertie et une seule articulation passive les reliant est réalisé et contrôlé grâce à un suivi par caméra des modules. Le banc d’essai est détaillé, ainsi que les défis que l’élimination des forces externes ont représenté dans sa conception. Les résultats montrent que le système est contrôlable en orientation et en configuration. La thèse se termine par une étude de cas pour l’application des principaux systèmes développés dans cette recherche. La collecte de débris orbitaux de petite et moyenne taille est présentée comme un problème n’ayant pas encore eu de solution adéquate et posant un réel danger aux missions spatiales à venir. L’unité déployable triangulaire entraînée par courroies est dupliquée de manière à former une coupole de plusieurs centaines de mètres de diamètre et est proposée comme solution pour capturer et ralentir ces catégories de débris. Les paramètres d’une mission à cette fin sont détaillés, ainsi que le potentiel de réorientation que les roues d’inertie permettent en plus du contrôle de son déploiement. Près de 2000 débris pourraient être retirés en moins d’un an en orbite basse à 819 km d’altitude.

An experiment on the parameter uncertainty of hydrological models with different levels of complexity in a climate change context

La possibilité d’estimer l’impact du changement climatique en cours sur le comportement hydrologique des hydro-systèmes est une nécessité pour anticiper les adaptations inévitables et nécessaires que doivent envisager nos sociétés. Dans ce contexte, ce projet doctoral présente une étude sur l’évaluation de la sensibilité des projections hydrologiques futures à : (i) La non-robustesse de l’identification des paramètres des modèles hydrologiques, (ii) l’utilisation de plusieurs jeux de paramètres équifinaux et (iii) l’utilisation de différentes structures de modèles hydrologiques. Pour quantifier l’impact de la première source d’incertitude sur les sorties des modèles, quatre sous-périodes climatiquement contrastées sont tout d’abord identifiées au sein des chroniques observées. Les modèles sont calés sur chacune de ces quatre périodes et les sorties engendrées sont analysées en calage et en validation en suivant les quatre configurations du Different Splitsample Tests (Klemeš, 1986;Wilby, 2005; Seiller et al. (2012);Refsgaard et al. (2014)). Afin d’étudier la seconde source d’incertitude liée à la structure du modèle, l’équifinalité des jeux de paramètres est ensuite prise en compte en considérant pour chaque type de calage les sorties associées à des jeux de paramètres équifinaux. Enfin, pour évaluer la troisième source d’incertitude, cinq modèles hydrologiques de différents niveaux de complexité sont appliqués (GR4J, MORDOR, HSAMI, SWAT et HYDROTEL) sur le bassin versant québécois de la rivière Au Saumon. Les trois sources d’incertitude sont évaluées à la fois dans conditions climatiques observées passées et dans les conditions climatiques futures. Les résultats montrent que, en tenant compte de la méthode d’évaluation suivie dans ce doctorat, l’utilisation de différents niveaux de complexité des modèles hydrologiques est la principale source de variabilité dans les projections de débits dans des conditions climatiques futures. Ceci est suivi par le manque de robustesse de l’identification des paramètres. Les projections hydrologiques générées par un ensemble de jeux de paramètres équifinaux sont proches de celles associées au jeu de paramètres optimal. Par conséquent, plus d’efforts devraient être investis dans l’amélioration de la robustesse des modèles pour les études d’impact sur le changement climatique, notamment en développant les structures des modèles plus appropriés et en proposant des procédures de calage qui augmentent leur robustesse. Ces travaux permettent d’apporter une réponse détaillée sur notre capacité à réaliser un diagnostic des impacts des changements climatiques sur les ressources hydriques du bassin Au Saumon et de proposer une démarche méthodologique originale d’analyse pouvant être directement appliquée ou adaptée à d’autres contextes hydro-climatiques.

Problèmes d’acquisition du langage chez des adolescents déficients auditifs profonds oralistes, anglophones et francophones

[…] Cette étude débute par l'exposé des conditions spécifiques aux déficients auditifs pour l'acquisition du langage et par la présentation de nos hypothèses (Chapitre 1). Nous faisons ensuite un rappel des études antérieures et nous envisageons les implications méthodologiques de nos hypothèses (Chapitre 2). Nous présentons ensuite notre méthodologie pour le recueil et l'analyse des données (Chapitre 3). Étant données toutes les variables pouvant intervenir (émotivité des sujets, intelligence, facilité d'élocution, milieu familial...) nous vérifions l'homogénéité des corpus. Nous débutons par une analyse statistique permettant de donner les «mesures» des corpus : quantité de discours produit, complexité de ce discours, homogénéité entre les deux groupes linguistiques concernés... (Chapitre 4) Ensuite, nous observons la construction progressive des énoncés, ce qui est l'apanage de l'oral; cela implique donc l'étude de la construction du sens et de la forme grâce à des hésitations, des répétitions et des reprises; là aussi, il faut établir s'il y a homogénéité entre les sujets (Chapitre 5). Pour l'analyse «théorique» des corpus, nous privilégions la théorie des opérations énonciatives élaborée par Antoine Culioli, car elle présente l'avantage de lier un bon nombre de fonctionnements et de manifestations linguistiques, tels que la syntaxe, la sémantique et la morphologie. Nous présentons les grandes lignes de cette théorie dans le Chapitre 6. Nous nous intéressons alors à la façon dont nos sujets procèdent pour mettre en place le thème de leur énoncé. Cet aspect de l'étude concerne donc une dimension sémantique dans les corpus. Nous nous intéressons plus particulièrement aux structures utilisées pour la thématisation, ce qui nous amène à faire le lien avec la syntaxe (Chapitre 7). Enfin, nous nous intéressons au caractère homogène des «erreurs» et aux fonctionnements de la langue utilisée dans les corpus. Nous nous concentrons alors plus précisément sur les repérages effectués par les locuteurs afin de rendre leur discours référentiel (Chapitre 8) […]

Associations villageoises (AV) et crédit rural en zone office de la Haute Vallée du Niger (OHVN)

Au Mali, le monde rural est un système complexe dont le développement implique son appréhension dans sa complexité. Cependant, la réalité malienne montre un manque de formation, d'organisation et une exploitation irrationnelle des ressources entravant les efforts du développement. Dans cette situation, il est difficile au crédit rural de jouer son rôle dans le développement. Les paysans du Mali, et plus précisément ceux dans la zone Office de la Haute Vallée du Niger (OHVN), tirent annuellement de leurs cultures, des revenus assez faibles. Malheureusement ces sommes ne restent pas dans le secteur rural pour faciliter la promotion de l'agriculture. Elles sont, pour la plupart, utilisées pour payer les arriérés de crédit. Ainsi, au cours d'un stage que nous avons eu à effectuer à Bancoumana (un secteur tabacole encadré par l'Office), il a été constaté que les paysans sont confrontés à plusieurs problèmes, qu'ils soient d'origine économique, sociologique ou autre. Entre autres problèmes: la faiblesse des revenus d'où incapacité d'investir et d'épargner; - l'insuffisance de sensibilisation sur le crédit rural; - l'insuffisance de formation en gestion et organisation. Dans cette problématique, nous soulevons des points d'ordre économique et social. En fait, dans la politique de crédit pratiquée par de nombreux organismes de développement (expérience vécue en Madagascar), on ne tient pas compte des habitudes et de la tradition en matière de crédit. Les politiques de crédit restent incomprises et inappliquées par les paysans. L'élaboration de ces politiques ne s'appuie pas solidement sur le vécu des participants et des bénéficiaires-cibles, encore moins sur les valeurs. En se basant sur nos investigations antérieures, nous avons jugé nécessaire de voir comment évolue la politique de crédit dans la zone de l'Office de la Haute Vallée du Niger. La présente étude a pour but de comprendre le fonctionnement du crédit rural dans notre zone d'étude, à l'aide d'une analyse descriptive. Nous proposons des recommandations et des suggestions s'il y a lieu.

Étude de la plasticité génomique des algues vertes de l’ordre Chlamydomonadales

Les récents progrès en génomique ont conforté la complexité de l’origine des algues; d’un point de vue de la phylogénie des hôtes de l’endosymbiose, les algues forment un groupe évolutif polyphylétique. Les algues vertes forment deux embranchements majeurs : les Streptophyta et les Chlorophyta. Les chlorophytes comprennent la majorité des algues vertes connues et se regroupent en quatre classes. La première, les Prasinophyceae, occupe la position la plus basale, tandis que l’ordre d’embranchement des trois autres classes (Ulvophyceae, Trebouxiophyceae et Chlorophyceae) demeure encore incertain. Pour clarifier les relations évolutives chez les Clorophyceae, huit génomes chloroplastiques appartenant à la lignée des Chlamydomonadales, lignée majeure des Chlorophyceae, ont été séquencés et analysés. Des études phylogénétiques ont confirmé les classifications préétablies et de nouveaux clades se sont vus formés. Les génomes de ces algues chlorophycéennes ont révélé une architecture conservée avec un certain nombre de caractères spécifiques à la classe des Chlamydomonadales. L’analyse de leurs caractères moléculaires a révélé des génomes marqués par la réduction ou le réarrangement de leur répertoire génomique comparativement aux génomes chloroplastiques des algues vertes plus ancestrales.

Utilisation d'une méthode de correction de retards pour la vérification d'un assemblage de fonctions RTL par rapport à un assemblage de fonctions au niveau fonctionnel

National audience

Analyse des signaux radars polarimétriques en bandes C et L pour le suivi de l'humidité du sol de sites forestiers

Résumé : Dans les couverts forestiers, le suivi de l’humidité du sol permet de prévenir plusieurs désastres tels que la paludification, les incendies et les inondations. Comme ce paramètre est très dynamique dans l’espace et dans le temps, son estimation à grande échelle présente un grand défi, d’où le recours à la télédétection radar. Le capteur radar à synthèse d’ouverture (RSO) est couramment utilisé grâce à sa vaste couverture et sa résolution spatiale élevée. Contrairement aux sols nus et aux zones agricoles, le suivi de l’humidité du sol en zone forestière est très peu étudié à cause de la complexité des processus de diffusion dans ce type de milieu. En effet, la forte atténuation de la contribution du sol par la végétation et la forte contribution de volume issue de la végétation réduisent énormément la sensibilité du signal radar à l’humidité du sol. Des études portées sur des couverts forestiers ont montré que le signal radar en bande C provient principalement de la couche supérieure et sature vite avec la densité de la végétation. Cependant, très peu d’études ont exploré le potentiel des paramètres polarimétriques, dérivés d’un capteur polarimétrique comme RADARSAT-2, pour suivre l’humidité du sol sur les couverts forestiers. L’effet du couvert végétal est moins important avec la bande L en raison de son importante profondeur de pénétration qui permet de mieux informer sur l’humidité du sol. L’objectif principal de ce projet est de suivre l’humidité du sol à partir de données radar entièrement polarimétriques en bandes C et L sur des sites forestiers. Les données utilisées sont celles de la campagne terrain Soil Moisture Active Passive Validation EXperiment 2012 (SMAPVEX12) tenue du 6 juin au 17 juillet 2012 au Manitoba (Canada). Quatre sites forestiers de feuillus ont été échantillonnés. L’espèce majoritaire présente est le peuplier faux-tremble. Les données utilisées incluent des mesures de l’humidité du sol, de la rugosité de surface du sol, des caractéristiques des sites forestiers (arbres, sous-bois, litières…) et des données radar entièrement polarimétriques aéroportées et satellitaires acquises respectivement, en bande L (UAVSAR) à 30˚ et 40˚ et en bande C (RADARSAT-2) entre 20˚ et 30˚. Plusieurs paramètres polarimétriques ont été dérivés des données UAVSAR et RADARSAT-2 : les coefficients de corrélation (ρHHVV, φHHVV, etc); la hauteur du socle; l’entropie (H), l’anisotropie (A) et l’angle alpha extraits de la décomposition de Cloude-Pottier; les puissances de diffusion de surface (Ps), de double bond (Pd) extraites de la décomposition de Freeman-Durden, etc. Des relations entre les données radar (coefficients de rétrodiffusion multifréquences et multipolarisations (linéaires et circulaires) et les paramètres polarimétriques) et l’humidité du sol ont été développées et analysées. Les résultats ont montré que 1) En bande L, plusieurs paramètres optimaux permettent le suivi de l’humidité du sol en zone forestière avec un coefficient de corrélation significatif (p-value < 0,05): σ[indice supérieur 0] linéaire et σ[indice supérieur 0] circulaire (le coefficient de corrélation, r, varie entre 0,60 et 0,96), Ps (r entre 0,59 et 0,84), Pd (r entre 0,6 et 0,82), ρHHHV_30˚, ρVVHV_30˚, φHHHV_30˚ and φHHVV_30˚ (r entre 0,56 et 0,81) alors qu’en bande C, ils sont réduits à φHHHV, φVVHV et φHHVV (r est autour de 0,90). 2) En bande L, les paramètres polarimétriques n’ont pas montré de valeur ajoutée par rapport aux signaux conventionnels multipolarisés d’amplitude, pour le suivi de l’humidité du sol sur les sites forestiers. En revanche, en bande C, certains paramètres polarimétriques ont montré de meilleures relations significatives avec l’humidité du sol que les signaux conventionnels multipolarisés d’amplitude.

Política do sinaes: significados e efeitos em IES privadas de minas gerais

Tese (doutorado)—Universidade de Brasília, Faculdade de Educação, Programa de Pós-graduação em Educação, 2015.

Analyse prospective jusqu'en 2025 de la demande en recherche des pays du sud dans le domaine des "ressources vivantes" - Rapport final

L'accélération des changements dans tous les domaines, qu'il s'agisse d'environnement, de technologies ou de la vie des sociétés humaines, est une donnée majeure de notre temps. Jusqu'au XIXe siècle, les hommes gardaient une relative maîtrise des révolutions, qu'elles soient techniques (la vapeur, l'électricité, l'atome, ... ) ou sociales (la démocratie, le communisme, etc). A la fin du XXe siècle, la complexité des sociétés humaines, le foisonnement des découvertes scientifiques rapidement exploitées par l'industrie à des fins économiques et l'interdépendance croissante de toutes les activités dans des écosystèmes fragilisés ont conduit les communautés humaines à davantage subir les révolutions: mondialisation d'une économie de plus en plus immatérielle, explosion de l'informatique dans tous les secteurs, évolution du climat, bouleversement des modes de vie et de la vie même (actions sur les génomes animaux, voire humains) ... Aussi, cette accélération des changements rend d'autant plus indispensable une capacité d'anticiper les tendances et les enjeux qui déterminent l'avenir afin de disposer d'une liberté de réflexion et d'action indépendante de la stricte contrainte des évènements.

La recherche internationale en génétique et l’utilisation secondaire des données : entre dissociation et harmonisation

L’étude des polymorphismes et des aspects multifactoriels des déterminants de la santé suscite un engouement majeur envers la recherche populationnelle en génétique et génomique. Cette méthode de recherche requiert cependant la collecte et l’analyse d’un nombre élevé d’échantillons biologiques et de données associées, ce qui stimule le développement des biobanques. Ces biobanques, composées des données personnelles et de santé de milliers de participants, constituent désormais une ressource essentielle permettant l’étude de l’étiologie des maladies complexes et multifactorielles, tout en augmentant la rapidité et la fiabilité des résultats de recherche. Afin d’optimiser l’utilisation de ces ressources, les chercheurs combinent maintenant les informations contenues dans différentes biobanques de manière à créer virtuellement des mégacohortes de sujets. Cependant, tout partage de données à des fins de recherche internationale est dépendant de la possibilité, à la fois légale et éthique, d’utiliser ces données aux fins pressenties. Le droit d’utiliser les données personnelles, médicales et génétiques de participants dans le cadre de recherches internationales est soumis à un ensemble complexe et exhaustif d’exigences légales et éthiques. Cette complexité est exacerbée lorsque les participants sont décédés. Fondée sur une révision de l’interprétation individualiste du concept de consentement éclairé, ainsi qu’une perspective constructiviste des concepts de confiance et d’autonomie, cette thèse se situe au carrefour de la recherche, du droit et de l’éthique, et a pour objectif de proposer un modèle promouvant l’harmonisation éthique et juridique des données aux fins de recherches internationales en génétique.

Le mariage forcé de femmes immigrantes au Québec

Cette thèse a pour objet de comprendre la question du mariage forcé vécu par des femmes immigrantes vivant au Québec et, les réponses politiques, législatives et sociales qu’on y apporte. De façon plus spécifique, il s’agit de mettre à jour la diversité des situations et des significations que recouvre la notion de mariage forcé pour tenter d’en dégager des éléments de définition et de compréhension. La thèse vise également à identifier les conséquences spécifiques qui découlent d’un mariage forcé pour les femmes immigrantes vivant au Québec, et enfin, d’analyser les réponses politiques, législatives et sociales visant le mariage forcé au Canada et au Québec afin de prévenir, dépister et d’en protéger ses victimes en contexte interculturel. S’appuyant sur un corpus de dix entrevues avec des femmes immigrantes vivant, ayant vécu ou menacées d’un mariage forcé et de dix-huit informateurs clés intervenant auprès d’elles et provenant de différents milieux de pratique (police, justice, santé services sociaux et communautaires), une analyse intersectionnelle a permis de révéler toute la complexité des mariages forcés due notamment aux interrelations entre des systèmes d’oppression et des vulnérabilités multiples. La recension des écrits et nos résultats indiquent que certains éléments caractérisent les mariages forcés. Premièrement, la préservation de l’honneur patriarcal qui problématise et contrôle le comportement des femmes en ce qui à trait notamment à leur vie sexuelle, mais aussi sociale. Deuxièmement, le fait que le mariage forcé soit un moyen de poursuivre des intérêts plus souvent collectifs qu’individuels. Dimension collective qui devra nécessairement être prise en considération lors des solutions à apporter à cette problématique. Troisièmement, le rôle des femmes (mères, belles-mères et autres femmes de la communauté culturelle d’appartenance) dans l’arrangement des mariages, mais également dans la surveillance et le contrôle de tous les faits et gestes des autres femmes. i Quatrièmement, le potentiel d’agresseurs multiples, y compris la communauté elle-même, dans les actes de violence commis avant, pendant et, le cas échéant, après le mariage. Une autre dimension qui devra elle aussi être prise en compte lors de l’inter- vention. Cinquièmement, le potentiel d’exploitation sexuelle (viol conjugal, grossesses forcées), physique (mauvais traitements, blessures), psychologique (pressions, manipulations) ou encore économique (travail forcé, privation d’autonomie financière). L’ensemble de ces résultats a permis de cerner certains besoins liés à l’intervention, en terme de prévention, de dépistage et de protection des victimes de mariage forcé.

On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.