La représentation de la masculinité dans les vidéoclips de musique populaire : le code visuel et l’expression de la vulnérabilité masculine

Ce mémoire propose d’étudier les représentations de la masculinité dans les vidéoclips de musique populaire. Il consiste plus précisément en une analyse textuelle de vidéoclips suivant l’approche sémiologique. La représentation y est entendue comme un processus d’attribution de sens, agissant dans la construction sociale de la masculinité. Selon une méthode qualitative, il est premièrement question de cerner et, ultérieurement, explorer les principaux schémas de la masculinité dans un corpus de 29 vidéoclips sélectionné auprès de la chaîne québécoise Musique Plus. L’observation des codes visuels est centrale à cette entreprise, l’articulation de ces derniers permettant la prolifération d’expressions du genre masculin. Partant du point de vue que des attributs, notamment la force et l’invulnérabilité, apparaissent comme typiquement masculins au sein de certaines représentations, il sera question de confronter cette idée aux trois scénarios majeurs ayant émané du corpus ; l’homme-enfant, l’introspectif et le meneur, indiquant tous trois la récente montée des représentations d’une masculinité vulnérable en musique populaire. Les constats qui résulteront de cette exploration seront finalement recadrés dans l’actuel cadre social, où le masculin et le féminin sont de moins en moins enclos dans les moules traditionnels et tendent à se redéfinir sur une nouvelle matrice.

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.

L’allocation d’antiviraux dans un contexte de pandémie : vérification de critères auprès des professionnels de la santé pour le développement d’un cadre éthique

Cette étude a pour objectif d’évaluer la stratégie d’utilisation de critères de base, d’un point de vue éthique, dans l’allocation d’une quantité limitée d’antiviraux pour une utilisation préventive, lors d’une pandémie. Il est entendu qu’une réserve publique pour la prévention n’est pas présentement en vue. Ainsi un des objectifs de cette recherche est de servir de guide aux personnes ressources en positions décisionnelles, à savoir si l’acquisition d’une telle réserve est justifiée, et dans l’affirmatif, à qui elle serait destinée. La perspective spécifique de deux groupes de professionnels de la santé œuvrant en première ligne est considérée. Le premier groupe est constitué de professionnels provenant des hôpitaux de la région de Toronto qui ont vécu l’expérience du SRAS en 2003. Le second groupe est composé de travailleurs en santé de la région de Montréal qui n’auront pas vécu cette crise sanitaire. Les deux groupes sont analysés ensemble sur leur discours verbal et sur leurs réponses à un questionnaire bâti afin d’évaluer quel poids les participants donnent aux critères proposés.

Les sûretés sur les valeurs mobilières : le mouvement d'uniformisation d'origine américaine est-il transposable universellement ? : vers une approche québécoise à la question

L'avènement des nouvelles technologies a modifié considérablement le marché des valeurs mobilières. Le certificat représentant les actions de personnes morales s'est dématérialisé, facilitant et augmentant la rapidité des échanges, mais en causant de nouveaux problèmes, notamment à cause de l'incertitude juridique entourant les transferts et les sûretés sur les valeurs mobilières et autres actifs financiers. Pour répondre à ces problématiques, le Uniform Commercial Code américain a créé de nouveaux concepts et de nouvelles règles applicables au régime de détention indirecte. S'inspirant du modèle américain, un effort international d'harmonisation a été déployé, comme en témoignent, entre autres, les initiatives de la Conférence de La Haye, d'UNIDROIT et de la Conférence pour l'harmonisation des lois au Canada. C'est ainsi que le Québec a adopté la Loi sur le transfert de valeurs mobilières et l'obtention de titres intermédiés, afin de combler les lacunes d'un régime devenu désuet. Toutefois, le projet de loi s'inscrit-il avec le régime civiliste du Québec? Le particulier peut-il hypothéquer des valeurs mobilières? Où se situent les titres dématérialisés et intermédiés? Nous tenterons de répondre à ces questions en deux temps ; premièrement, nous étudierons l'évolution des régimes de transfert et de sûretés sur les valeurs mobilières et autres actifs financiers ainsi que leurs particularités. Ensuite, nous étudierons la loi québécoise en parallèle avec les différents instruments d'harmonisation et avec le régime civiliste québécois des sûretés.

La Belgique renforce ses règles en matière de corporate governance : Regard d'un juriste français sur la réforme récente du Code des sociétés.

Alors que l’Organisation de Coopération et de Développement Economique appelle de tous ses voeux à développer les initiatives en matière de corporate governance pour faire face aux échecs dont la crise financière a été le témoin, la loi belge du 6 avril 2010 témoigne d’une position proactive et met en oeuvre les propositions faites au niveau européen. D’un côté, certaines modifications législatives introduites au premier trimestre 2010 sont connues du juriste français et soulèvent des interrogations similaires à celles existantes en France. D’un autre côté, un certain nombre d’options choisies par le gouvernement belge (notamment celles concernant la rémunération) présente un caractère original, la France n’en étant à l’heure actuelle qu’au stade des débats. Au-delà de détailler la loi d’avril 2010 dans son aspect gouvernance d’entreprise avec un regard comparatiste, le présent article s’interroge sur l’efficacité future du dispositif mis en place.

L’intérêt de l’enfant : notion polymorphe susceptible d’instrumentalisation ou de détournement : l’exemple de l’avant-projet de Loi modifiant le Code civil et d’autres dispositions législatives en matière d’adoption et d’autorité parentale

L’intérêt de l’enfant est une notion « polymorphe » dont les tenants et aboutissants sont difficiles à cerner. A priori, nous postulions que son caractère polymorphe en permet l’instrumentalisation, les acteurs sociaux cherchant, par la représentation qu’ils s’en font, à défendre leurs intérêts. Notre mémoire prend d’ailleurs à partie l’exemple de l’avant-projet de Loi modifiant le Code civil et d’autres dispositions législatives en matière d’adoption et d’autorité parentale. Dans notre premier titre, il convenait ainsi de dresser l’historique de l’intérêt de l’enfant en tant que notion variablement évolutive, de sa réception en jurisprudence et dans les lois québécoises portant sur l’adoption, à son incorporation en droit commun, à la suite de l’abrogation du concept de puissance paternelle. Nous en avons également identifié les fondements, au travers du droit anglais, du droit international, des Chartes et du droit naturel. Les éléments de définition du concept étant multiples, nous avons enfin cherché à le conceptualiser, à en dégager les bases légales et à effectuer l’analyse doctrinale et jurisprudentielle de ses critères. Puis, afin de démontrer nos prémisses, nous avons examiné, dans notre seconde partie, les discours de quelques 23 intervenants dans le cadre des consultations menées par la Commission des institutions sur l’avant-projet de loi susdit. En somme, alors que les chercheurs universitaires ont une position ne cherchant pas à insister sur une dimension de l’intérêt de l’enfant convergeant vers leur mission, les propos des ordres professionnels, des groupes de pression et des organismes para-gouvernementaux sont, en revanche, à l’effet contraire.

Formulation interactive des requêtes pour l’analyse et la compréhension du code source

Nous proposons une approche basée sur la formulation interactive des requêtes. Notre approche sert à faciliter des tâches d’analyse et de compréhension du code source. Dans cette approche, l’analyste utilise un ensemble de filtres de base (linguistique, structurel, quantitatif, et filtre d’interactivité) pour définir des requêtes complexes. Ces requêtes sont construites à l’aide d’un processus interactif et itératif, où des filtres de base sont choisis et exécutés, et leurs résultats sont visualisés, changés et combinés en utilisant des opérateurs prédéfinis. Nous avons évalués notre approche par l’implantation des récentes contributions en détection de défauts de conception ainsi que la localisation de fonctionnalités dans le code. Nos résultats montrent que, en plus d’être générique, notre approche aide à la mise en œuvre des solutions existantes implémentées par des outils automatiques.

Les décisions d'hospitalisation et de soins psychiatriques sans le consentement des patients dans des contextes clinique et judiciaire: une étude du pluralisme normatif appliqué

Thèse de doctorat réalisée en cotutelle avec l'Institut du social et du politique de l'École Normale supérieure de Cachan.

Vérification des liens entre les stresseurs, le soutien social, la santé psychologique au travail et la qualité de la relation élève-enseignant

La relation élève-enseignant (REE) est reconnue comme étant optimale lorsqu’elle est fortement chaleureuse et faiblement conflictuelle. Sur le plan empirique, plusieurs évidences montrent que la qualité de la REE est liée significativement à divers indicateurs de la réussite scolaire. De façon générale, celles-ci affirment que plus un élève entretient une relation optimale avec son enseignant, plus ses résultats scolaires sont élevés, plus il adopte des comportements prosociaux, et plus il présente des affects et des comportements positifs envers l’école. Des études précisent également que l’influence de la qualité de la REE est particulièrement importante chez les élèves à risque. Si les effets positifs d’une REE optimale sont bien connus, les facteurs favorisant son émergence sont quant à eux moins bien compris. En fait, bien que certains attributs personnels de l’élève ou de l’enseignant aient été identifiés comme participant significativement à la qualité de la REE, peu d’études ont investigué l’importance des facteurs psychologiques et contextuels dans l’explication de ce phénomène. Souhaitant pallier cette lacune, la présente étude poursuit trois objectifs qui sont: 1) d’examiner les liens entre les stresseurs, le soutien social, la santé psychologique au travail (SPT) et la qualité de la REE; 2) de vérifier l’effet médiateur de la SPT dans la relation entre les stresseurs, le soutien social et la qualité de la REE, et; 3) d’examiner les différences quant aux liens répertoriés auprès d’élèves réguliers et à risque. Afin d’atteindre ces objectifs, 231 enseignants québécois de niveau préscolaire et primaire ont été investigués. Les résultats des analyses montrent que les comportements perturbateurs des élèves en classe prédisent positivement le conflit entre l’enseignant et les élèves à risque. Ils montrent également que le soutien des parents et le soutien du supérieur prédisent respectivement la présence de REE chaleureuses chez les élèves réguliers et à risque. La SPT de l’enseignant prédit quant à elle positivement la présence de REE chaleureuses et négativement la présence de REE conflictuelles. Les résultats de cette recherche montrent aussi que le soutien social affecte indirectement la présence de REE chaleureuses par le biais de la SPT de l’enseignant.

Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes

Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et acycliques sous des contraintes linéaires-min-max avec des composants ayant des délais finis et infinis. Notre approche consiste à formuler le problème sous la forme d’un programme entier mixte, puis à utiliser le solveur Cplex pour avoir les temps de séparation entre les événements. Afin de démontrer l’utilité en pratique de notre approche, nous l’avons utilisée pour la vérification et l’analyse d’une puce asynchrone d’Intel de calcul d’équations différentielles. Comparée aux travaux précédents, notre approche est basée sur une formulation exacte et elle permet non seulement de calculer le maximum de séparation, mais aussi de trouver un ordonnancement cyclique et de calculer les temps de séparation correspondant aux différentes périodes possibles de cet ordonnancement.