Les relations entre le transport actif et l'environnement urbain : le cas d'usagers du train de banlieue de Montréal

Dans une société où il est plutôt normal de passer beaucoup de temps assis, nous étudions, à partir de l’aménagement, l’intégration de l’activité physique de loisirs et de transport dans les activités et les lieux du quotidien. Cette intégration est relativement peu étudiée dans sa globalité car elle nécessite de prendre en considération les facteurs de l’environnement physique et social, les deux types d’activité physique, les différents lieux fréquentés quotidiennement et elle pose en ce sens de nombreux défis d’ordre méthodologique. Cette vue globale du phénomène s’impose car de plus en plus de recherches font état d’associations entre des dimensions spécifiques de l’aménagement et des comportements précis; occasionnellement, ces résultats se contredisent. Pour comprendre le phénomène, nous sommes partis du modèle écoenvironnemental et l’avons adapté pour mieux représenter la mobilité de la population. Nous avons conséquemment choisi une unité d’analyse comprenant le territoire résidentiel, le territoire du milieu de travail et le trajet entre les deux. Ainsi, en utilisant plusieurs sources de données, nous avons caractérisé des milieux comme étant contraignants ou facilitants pour l’activité physique et les personnes y résidant comme étant suffisamment actives ou pas. Nous avons ensuite fait ressortir les éléments importants des entrevues en fonction de cet appariement. Parmi les thèmes explorés en entrevue, nommons les caractéristiques de l’environnement physique qui ont de l’importance, l’impact de l’environnement social au travail et au domicile, la logique sous-jacente aux courses, etc. Les principaux résultats de cette recherche démontrent que les usagers du train de banlieue font suffisamment d’activité physique en dépit qu’ils résident en banlieue. En ce sens, notre échantillon est plus actif que la moyenne québécoise. Nous remarquons que l’influence de l’environnement est manifeste mais sous le principe des vases communicants, c'est-à-dire que le pôle résidentiel et le pôle des emplois ont tous deux des contributions qui s’avèrent très souvent complémentaires. L’influence de l’environnement social passe par le rôle signifiant des proches plutôt que par leur proximité géographique tandis que l’aménagement a une énorme contribution à rendre les parcours agréables et, de ce fait, donner une plus-value au temps requis pour les emprunter. La vocation des milieux, le type de marche et le sens qu’y voient les usagers doivent guider le design; il n’y a donc pas qu’une formule ou une seule prescription pour augmenter le potentiel piétonnier et/ou cyclable des milieux. Cela dit, les outils de caractérisation doivent être revus. En conclusion des pistes de développements futurs à cette recherche sont proposées.

Mesure du rapport d'embranchement des désintégrations B^0--> pi^- l^+v et B^+--> êta^(') l^+v, du spectre des facteurs de forme des désintégrations B^0--> pi^- l^+v et B^+--> êta l^+v, et extraction de |V_ub| dans l'expérience BABAR

Nous rapportons les résultats d'une étude des désintégrations semileptoniques non-charmées B^+--> êta^(') l^+v et B^0--> pi^- l^+v, mesurés par le détecteur BABAR avec une production d'environ 464 millions de paires de mésons BBbar issues des collisions e^+e^- à la résonance Upsilon(4S). L'analyse reconstruit les événements avec une technique relâchée des neutrinos. Nous obtenons les rapports d'embranchement partiels pour les désintégrations B^+--> êta l^+v et B^0--> pi^- l^+v en trois et douze intervalles de q^2, respectivement, à partir desquels nous extrayons les facteurs de forme f_+(q^2) et les rapports d'embranchement totaux B(B^+--> êta l^+v) = (3.39 +/- 0.46_stat +/- 0.47_syst) x 10^-5 et B(B^0--> pi^- l^+v) = (1.42 +/- 0.05_stat +/- 0.08_syst) x 10^-4. Nous mesurons aussi B(B^+--> êta' l^+v) = (2.43 +/- 0.80_stat +/- 0.34_syst) x 10^-5. Nous obtenons les valeurs de la norme de l'élément |V_ub| de la matrice CKM en utilisant trois calculs différents de la CDQ.

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.

Normativité et responsabilité sociale des entreprises : L’illustration d’une construction polysémique du droit de part et d’autre de l’Atlantique

Les thèmes de la RSE et du développement durable et ses implications au plan juridique se font ressentir avec acuité dans le contexte financier difficile rencontré par les économies des plus grandes puissances industrielles. La crise économique est indéniablement protéiforme et se double d’une crise sociétale : tant sociale qu’environnementale. Cette crise est une alerte d’ampleur dont les organisations supranationales et les Etats ne doivent pas ignorer le signal. Les mauvais calculs et les déraisons de l’homme économique n’amènent-ils pas à repenser les modèles néo-classiques ? Pour le juriste constatant les mutations économiques, culturelles, sociologiques, environnementales et sociales des sociétés modernes, une question se pose : quelle est la part du droit dans cette évolution ? Les principes ordinaires, les catégories usuelles, sont bouleversés par un droit composite, protéiforme, aux contours flous, sans cesse remanié. Au regard de la multiplicité des normes qui interviennent sur le terrain de la RSE (normes internationales, nationales, et locales ; normes publiques, privées, et semi-privées), il est proposé au lecteur de dresser un bilan de la construction juridique dont la RSE est l’objet. Dans ce cadre, la norme est comprise au-delà de la notion stricto sensu de règle de droit dans une acception large comme un instrument de référence. Au regard des évolutions contemporaines de la construction du droit, ce sont les nouveaux attributs du droit et l’apparition de nouveaux modèles régulatoires que nous nous proposons de mettre en lumière au travers de l’exemple de la RSE. Dans cette étude, nous montrons que la normativité entourant la RSE constitue un exemple contemporain de droit postmoderne.

L’écrit comme meilleure preuve : toujours une vérité à l’ère numérique?

Le présent travail porte sur ce qui détermine et garantit la valeur primaire des documents dans l’environnement numérique, notamment dans le contexte des organisations. L’écrit est-il demeuré la meilleure preuve à l’ère numérique? En quoi les conditions électroniques d’écriture, de relations entre supports et informations ont-elles changé la situation? Du « tout papier » qui fut la norme jusqu’aux années 80, les entreprises ont basculé dans une « économie mixte » où le papier et le numérique cohabitent, voire, où le numérique a entièrement supplanté le papier. Toutefois, le caractère exact de ce changement au niveau des aspects de preuve, d’authenticité, voire légaux des documents numériques semble demeurer dans le vague. En s'appuyant sur une revue de la littérature, ce travail tente de clarifier les concepts nécessaires à la garantie de la valeur primaire des documents numériques, et de les mettre en lien avec l’environnement papier, de manière à comparer les deux. Ce travail suggère que si les principes de base de l’évaluation en matière de valeur primaire s’appliquent toujours, les conceptions juridiques ont en revanche évolué pour reconnaître dans le numérique non pas un « remplaçant » de l’écrit papier, mais un équivalent fonctionnel.

Conséquences de l’interdépendance entre commerce équitable, développement durable et responsabilité sociétale de l’entreprise sur la normalisation du commerce équitable

Les résultats du processus de normalisation du commerce équitable – demandé par les associations de consommateurs agréées – peuvent être approchés, au moins, de deux manières complémentaires. Une première chercherait à comprendre pourquoi les acteurs impliqués n’ont pas réussi à obtenir le consensus utile pour la publication d’une norme. La seconde argumentant que l’intentionnalité des acteurs est primordiale dans tout changement économique. Aussi, en mobilisant la théorie de la dépendance au sentier cet article montre comment l’association, désormais, établie entre le commerce équitable, et des « systèmes plus vastes et plus complexes » comme la responsabilité sociétale des entreprises et le développement durable a contribué, partiellement, à rendre improbable la normalisation du commerce équitable dans le court terme, en France (AFNOR) et à un niveau international (ISO).

Conséquences de l’interdépendance entre commerce équitable, développement durable et responsabilité sociétale de l’entreprise sur la normalisation du commerce équitable

Les résultats du processus de normalisation du commerce équitable – demandé par les associations de consommateurs agréées – peuvent être approchés, au moins, de deux manières complémentaires. Une première chercherait à comprendre pourquoi les acteurs impliqués n’ont pas réussi à obtenir le consensus utile pour la publication d’une norme. La seconde argumentant que l’intentionnalité des acteurs est primordiale dans tout changement économique. Aussi, en mobilisant la théorie de la dépendance au sentier cet article montre comment l’association, désormais, établie entre le commerce équitable, et des « systèmes plus vastes et plus complexes » comme la responsabilité sociétale des entreprises et le développement durable a contribué, partiellement, à rendre improbable la normalisation du commerce équitable dans le court terme, en France (AFNOR) et à un niveau international (ISO).

Croissance des fonctions propres du laplacien sur un domaine circulaire

Ce mémoire a pour but d'étudier les propriétés des solutions à l'équation aux valeurs propres de l'opérateur de Laplace sur le disque lorsque les valeurs propres tendent vers l'in ni. En particulier, on s'intéresse au taux de croissance des normes ponctuelle et L1. Soit D le disque unitaire et @D sa frontière (le cercle unitaire). On s'inté- resse aux solutions de l'équation aux valeurs propres f = f avec soit des conditions frontières de Dirichlet (fj@D = 0), soit des conditions frontières de Neumann ( @f @nj@D = 0 ; notons que sur le disque, la dérivée normale est simplement la dérivée par rapport à la variable radiale : @ @n = @ @r ). Les fonctions propres correspondantes sont données par : f (r; ) = fn;m(r; ) = Jn(kn;mr)(Acos(n ) + B sin(n )) (Dirichlet) fN (r; ) = fN n;m(r; ) = Jn(k0 n;mr)(Acos(n ) + B sin(n )) (Neumann) où Jn est la fonction de Bessel de premier type d'ordre n, kn;m est son m- ième zéro et k0 n;m est le m-ième zéro de sa dérivée (ici on dénote les fonctions propres pour le problème de Dirichlet par f et celles pour le problème de Neumann par fN). Dans ce cas, on obtient que le spectre SpD( ) du laplacien sur D, c'est-à-dire l'ensemble de ses valeurs propres, est donné par : SpD( ) = f : f = fg = fk2 n;m : n = 0; 1; 2; : : :m = 1; 2; : : :g (Dirichlet) SpN D( ) = f : fN = fNg = fk0 n;m 2 : n = 0; 1; 2; : : :m = 1; 2; : : :g (Neumann) En n, on impose que nos fonctions propres soient normalisées par rapport à la norme L2 sur D, c'est-à-dire : R D F2 da = 1 (à partir de maintenant on utilise F pour noter les fonctions propres normalisées et f pour les fonctions propres quelconques). Sous ces conditions, on s'intéresse à déterminer le taux de croissance de la norme L1 des fonctions propres normalisées, notée jjF jj1, selon . Il est vi important de mentionner que la norme L1 d'une fonction sur un domaine correspond au maximum de sa valeur absolue sur le domaine. Notons que dépend de deux paramètres, m et n et que la dépendance entre et la norme L1 dépendra du rapport entre leurs taux de croissance. L'étude du comportement de la norme L1 est étroitement liée à l'étude de l'ensemble E(D) qui est l'ensemble des points d'accumulation de log(jjF jj1)= log : Notre principal résultat sera de montrer que [7=36; 1=4] E(B2) [1=18; 1=4]: Le mémoire est organisé comme suit. L'introdution et les résultats principaux sont présentés au chapitre 1. Au chapitre 2, on rappelle quelques faits biens connus concernant les fonctions propres du laplacien sur le disque et sur les fonctions de Bessel. Au chapitre 3, on prouve des résultats concernant la croissance de la norme ponctuelle des fonctions propres. On montre notamment que, si m=n ! 0, alors pour tout point donné (r; ) du disque, la valeur de F (r; ) décroit exponentiellement lorsque ! 1. Au chapitre 4, on montre plusieurs résultats sur la croissance de la norme L1. Le probl ème avec conditions frontières de Neumann est discuté au chapitre 5 et on présente quelques résultats numériques au chapitre 6. Une brève discussion et un sommaire de notre travail se trouve au chapitre 7.

L'Académie Julian et ses élèves canadiens : Paris, 1880-1900

Thèse dirigée sous la direction conjointe de Lise Lamarche et Jean Trudel.

Le Baylisascaris procyonis dans le sud du Québec : prévalence chez le raton laveur et étude de contamination des latrines

Le raton laveur (Procyon lotor) est porteur de nombreux parasites dont certains sont des agents de zoonose. Il nous est apparu opportun d’étudier la faune parasitaire intestinale du raton laveur québécois, particulièrement l’espèce Baylisascaris procyonis. L’étude a donc porté sur l’examen de matières fécales (n = 301) et de contenus intestinaux (n = 203) de 351 ratons laveurs provenant de deux programmes gouvernementaux sur la rage du raton laveur et d’excréments (n = 409) provenant de latrines dans des parcs nationaux du Québec. Des oeufs de B. procyonis étaient excrétés par 23,3 % des ratons laveurs, alors que 29,1 % étaient porteurs de vers. La charge parasitaire moyenne des vers B. procyonis de tout stade variait de 8,5 chez les adultes à 27,1 chez les juvéniles. Chez ces derniers, la charge parasitaire était 11,4 fois supérieure à celle des ratons adultes (p < 0,0001) dont 23,7 fois plus de vers immatures (p < 0,0001) et 9,1 fois plus de vers matures (p = 0,01). Le nombre d’oeufs était 24,7 fois plus élevé chez les ratons juvéniles (p = 0,02) et 50,0 fois moins élevé chez la femelle allaitante. La probabilité du raton d’excréter des oeufs l’automne était de 11,1 (IC95 %: 1,21-101,60) par rapport au printemps et de 21,1 (IC95 %: 2,91-153,18) par rapport à l’été (p < 0,01). La sensibilité (Se) et la spécificité (Sp) de la coproscopie comparée à la nécropsie (norme étalon) ont été calculées en se basant sur l’observation des vers matures (Se : 81,8 %; Sp : 97,7 %) et des vers de tout stade (Se : 53,9 %; Sp : 97,0 %). De plus, la recherche des parasites intestinaux nous a permis de découvrir des ookystes de Giardia (6/159), espèce parasitaire nouvellement rapportée chez le raton. En 2007, nous avons trouvé, par échantillonnage unique, des oeufs de B. procyonis dans 15,8 % des latrines (n = 165) identifiées dans des parcs nationaux du sud du Québec et en 2008, par échantillonnage multiple, dans 89,7 % des latrines (n = 26) actives situées dans des secteurs accessibles à l’homme dans trois parcs nationaux de la Montérégie. Le potentiel zoonotique de B. procyonis est un problème de santé publique qui pourrait devenir sérieux étant donné le pourcentage élevé de ratons laveurs qui excrètent le parasite et qui contaminent des secteurs accessibles par les humains.

L’éthique de la valorisation des bases de données et des banques de matériel créées à des fins de recherche : une étude empirique et normative

La recherche du premier chapitre de ce mémoire a été menée en collaboration avec les co-chercheurs suivants: Catherine Olivier et Michel Bergeron.

Souplesse et méfiance de la coopération policière transnationale

Même si la coopération policière transnationale est l’objet ces dernières années d’un engouement souvent attribué à des vertus d’efficacité, il reste que relativement peu d’informations sont disponibles sur le processus en lui-même. L’objectif général de la thèse était de fournir une analyse englobant à la fois les préoccupations des autorités politiques et celles des acteurs judiciaires et policiers. Ces acteurs occupent tous des rôles nécessaires dans le système de la coopération policière transnationale, mais outre cette constatation, les études à leur sujet ne se recoupent pas véritablement. C’est donc dire que, d’une part, les études sur les acteurs politiques se concentrent sur les décisions prises par ceux-ci, sur l’élaboration de concepts et sur la signature de conventions. D’autre part, les études sur les acteurs policiers et judiciaires mettent l’accent sur le déroulement quotidien des activités policières transnationales et sur ce qui s’ensuit, c’est-à-dire les procédures judiciaires. À l’aide de concepts tels que la discrétion et la souplesse, la familiarité, la confiance, la méfiance, le scepticisme et l’évitement, nous tentons de rallier les récents concepts de reconnaissance mutuelle et de confiance mutuelle avec ce qui se passe effectivement dans le monde opérationnel. La thèse, qui s’intéresse principalement à la coopération policière transnationale en matière de trafic de drogues, s’appuie sur deux types de données. Tout d’abord, des entrevues qualitatives semi-dirigées ont été menées auprès de 21 policiers et procureurs. Ensuite, une analyse documentaire a été effectuée sur des documents canadiens, soit les sept jurisprudences sur l’extranéité et un guide rédigé par un procureur à l’intention des enquêteurs œuvrant dans les enquêtes. Nous allons présenter rapidement les résultats les plus importants de la thèse. Dans le premier chapitre, il a été question de deux niveaux de structures de pouvoir, qui n’évoluent pas en vases clos, mais qui s’influencent mutuellement. C’est dire que le levier d’influence des acteurs étatiques sur les acteurs du policing transnational peut être relativement puissant, mais que des parades peuvent toujours être utilisées par les policiers dans des cas spécifiques. Nadelmann (1993) avait raison lorsqu’il a soutenu qu’une norme adoptée au niveau transnational n’est pas nécessairement utile à la réalisation des objectifs communs des États, c’est-à-dire l’immobilisation des criminels. La norme est le produit d’une négociation politique et d’un jeu de pouvoir. Au final, elle n’influe pas énormément sur les décisions prises par les policiers dans les enquêtes à composantes transnationales. Au mieux, elle est un guide de règles à ne pas violer ouvertement et impunément. De plus, alors que les pays et les organisations utilisent un système de récompense, d’incitatifs ou de menace de sanctions pour favoriser la coopération policière transnationale en vu d’une participation à une enquête à composantes transnationales, les individus qui travaillent dans les enquêtes à composantes transnationales utilisent la familiarité et valorisent la confiance comme moyen pour établir et maintenir des liens. Ces individus ne peuvent pas s’obliger entre eux, alors qu’il existe la possibilité d’imposer des sanctions réelles entre acteurs étatiques. Il s’agit donc de deux niveaux d’analyse, dans lesquelles la configuration des relations est différente. Dans le deuxième chapitre d’analyse, nous avons examiné les jurisprudences canadiennes et le guide d’un procureur à l’intention des policiers, ce qui nous a amené à constater la discrétion laissée par les agents judiciaires aux policiers travaillant au sein d’enquêtes à composantes transnationales. En fait, nous avons trouvé que les agents judiciaires sont conscients des difficultés des enquêtes à composantes transnationales et qu’ils sont plus flexibles dans ces cas que dans les enquêtes nationales. Le troisième chapitre d’analyse a montré que de nombreux moyens sont à la disposition des agents de l’enquête, et qu’une certaine logique sous-tendait les choix des policiers. Plus particulièrement, c’est la gestion des incertitudes, la nature de l’information et son utilisation envisagée qui importe pour les agents de l’enquête à composantes transnationale. Finalement, le dernier chapitre d’analyse illustre les différents types de relations entretenues entre agents de l’enquête. Nous avons trouvé que le scepticisme est prépondérant mais que la coopération demeure le plus souvent possible, lorsque les acteurs ont des intérêts en commun. Une certaine familiarité entre les acteurs est nécessaire, mais la confiance n’est pas toujours essentielle à la mise en œuvre des activités policières transnationales. En fait, cela dépend du niveau d’échanges nécessaires et du contexte. Gambetta (1988) avait d’ailleurs montré qu’une structure sociale relativement stable puisse se maintenir dans un contexte généralisé de méfiance.

Les différences du corps ne laissent pas indifférents

Ce mémoire porte sur une étude du corps dans sa dimension socioculturelle. À partir d’entrevues sous le mode du récit de vie, je cherche à comprendre les manières dont les différences qui passent par le corps participent à définir les individus, en fonction des connotations culturelles qui y sont rattachées. Ces différences sont définies comme des composantes du corps qui sont perçues comme une déviation de la norme sachant que celle-ci est établie par une culture dominante. Trois corps différents ont fait l’objet de cette étude : un corps de petite taille, un corps de race noire et un corps tatoué. Cette démarche est essentiellement ancrée dans un cadre théorique faisant écho aux études culturelles telles que définies par Stuart Hall (1997) et aux études de genres selon Judith Butler (2001). Elle émerge du principe d’après lequel le corps est un réservoir de signes dont les connaissances produites à l’intérieur du système social contribuent à créer des sujets. Ce travail s’organise autour de questions qui touchent aux pratiques culturelles qui participent à la construction du corps, à la production des différences, à l’inscription des différences dans le corps et au processus de subjectivation des individus. De plus, il est suggéré que les connotations négatives associées aux différences créent des systèmes de classification hiérarchisés marqués par des formes de discrimination des groupes dominés. Ce travail aboutit à une mise en évidence des différences comme des éléments organisant les relations sociales à travers des rapports de pouvoir dont l’exercice rappelle la structure de la société disciplinaire telle qu’étudiée par Michel Foucault (1975).

Perceptions infirmières quant à la réalisation de la collecte des données auprès de la clientèle à l'urgence, étape préalable à la formulation du jugement clinique infirmier

Depuis l’adoption de la Loi 90 en 2002, la Loi sur les infirmières et infirmiers (LII, article 36) confère une autonomie élargie aux infirmières en reconnaissant, notamment, leur compétence et leur responsabilité à l’égard de l’évaluation clinique qui est représentée dans cette loi comme l’assise de l’exercice infirmier (Pellerin, 2009; OIIQ, 2010). La collecte des données constitue une étape fondamentale du processus d’évaluation clinique (Dillon, 2007; Doyon, Brûlé & Cloutier, 2002; Pellerin, 2009; Weber & Kelley, 2007). L’infirmière d’urgence a une responsabilité majeure à l’égard de la collecte des données. En effet, elle œuvre auprès de clientèles de tous âges qui présentent des problèmes de santé variés, aigus et parfois urgents et doit souvent intervenir, sur la base de son évaluation clinique, avant qu’un diagnostic n’ait été établi ou que le patient n’ait été vu par le médecin (Newberry & Criddle, 2005). Or, malgré toute l’importance que revêtent dorénavant l’évaluation clinique et la collecte des données au sens de la loi, ce rôle de l’infirmière semble tarder à s’actualiser dans la pratique clinique. Le but de cette étude qualitative descriptive consiste à explorer les perceptions d’infirmières, de gestionnaires en soins infirmiers et d’infirmières ressources cliniques d’urgence relativement à la réalisation de la collecte des données. La norme clinique « collecte des données » (assessment) de l’Emergency Nurses Association (1999) constitue le cadre de référence de l’étude. Cinq entrevues individuelles semi-dirigées de 60 minutes ainsi qu’un groupe de discussion de 90 minutes ont été réalisés auprès d’infirmières d’urgence. Un deuxième groupe de discussion a également réuni deux gestionnaires en soins infirmiers et deux infirmières ressources cliniques de l’urgence. Les données recueillies ont été analysées selon l’approche proposée par Miles et Huberman (2003). Les résultats obtenus démontrent que les infirmières considèrent la collecte des données comme un aspect fondamental de leur pratique à l’urgence, qui contribue à améliorer la qualité et la sécurité des soins dispensés. Or, les résultats révèlent également que leur compréhension de la collecte des données est variable, que leur pratique est aléatoire et largement influencée par le modèle biomédical. Plusieurs facteurs influencent la pratique des infirmières relativement à la collecte des données notamment : la conception individuelle de la collecte des données et du rôle infirmier, les relations et l’interaction avec les membres de l’équipe des soins infirmiers et les autres professionnels ainsi que le soutien de l’organisation et des gestionnaires en soins infirmiers. Ce dernier facteur semble prépondérant dans le contexte de l’urgence et démontre que le soutien des gestionnaires et des infirmières ressources cliniques influence de façon importante la pratique dans les milieux cliniques. Cette étude propose des pistes de réflexion sur la formation académique, la formation continue, l’administration des soins infirmiers et la collaboration interprofessionnelle qui pourraient faciliter l’actualisation du rôle des infirmières à l’égard de la collecte des données et de l’évaluation clinique afin d’améliorer la qualité des soins dispensés à l’urgence.

Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce

Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de SystemC, considéré comme la norme pour la conception au niveau système, sont en cours afin de relever ces nouveaux défis. Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile. Ainsi, nous pensons qu’il est primordial de partir sur de meilleures bases en utilisant un modèle de concurrence plus efficace. Par conséquent, dans cette thèse, nous étudions une méthodologie de conception qui offre une meilleure abstraction pour modéliser des composants parallèles en se basant sur le concept de transaction. Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d’appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau. Dans le but d’évaluer l’efficacité de cette méthodologie, nous avons fixé l’objectif d’optimiser la vitesse de simulation d’un modèle transactionnel en profitant d’une machine multicoeur. Nous présentons ainsi l’environnement de modélisation et de simulation parallèle que nous avons développé. Nous étudions différentes stratégies d’ordonnancement en matière de parallélisme et de surcoût de synchronisation. Une expérimentation faite sur un modèle du transmetteur Wi-Fi 802.11a a permis d’atteindre une accélération d’environ 1.8 en utilisant deux threads. Avec 8 threads, bien que la charge de travail des différentes transactions n’était pas importante, nous avons pu atteindre une accélération d’environ 4.6, ce qui est un résultat très prometteur.