Cette étude porte sur la reconnaissance des maladies professionnelles pulmonaires liées à l'amiante au Québec, à des fins de réparation. Ainsi, elle se compose de deux parties. La première explore le contexte socio-économique et l'évolution du cadre juridique régissant la reconnaissance des maladies professionnelles pulmonaires reliées à l'amiante. L'importance du risque associé à l'utilisation massive de l'amiante a influencé, à des degrés différents, l'adoption des normes nationales et intemationales relatives à ces maladies. La deuxième partie fournit une analyse juridique des décisions de la Commission des lésions professionnelles, rendues entre 2000 et 2006, relatives aux demandes de réparation pour maladies professionnelles pulmonaires reliées à l'amiante. Certaines pathologies, comme l'amiantose, le mésothéliome et le cancer pulmonaire donnent lieu à un consensus scientifique quant à l'association causale qu'elles entretiennent avec l'exposition à l'amiante. D'autres pathologies peuvent être attribuables à l'exposition à l'amiante, cette relation étant reconnue par la communauté scientifique pour certaines d'entre elles et demeurant controversée pour d'autres. De plus, le long temps de latence des maladies liées à l'amiante pose, quant à lui, des problèmes complexes. L'analyse des décisions de la Commission des lésions professionnelles durant six ans a permis de constater que les exigences jurisprudentielles rendent l'accès à l'indemnisation difficile pour bon nombre de travailleurs exposés à l'amiante. Les difficultés se manifestent notamment lors de la démonstration de l'existence d'une maladie, mais aussi au moment de prouver la relation entre la maladie et le travail ou le lien de causalité reliant le décès à cette maladie. La gestion qu'ont faite les tribunaux administratifs de certaines controverses entourant la relation causale entre la maladie et l'exposition à l'amiante, et les exigences qu'ils ont faites en matière de preuve médicale ont parfois conduit ces tribunaux à recourir aux normes scientifiques et non à la règle juridique de la prépondérance des probabilités. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Amiantose, Cancer pulmonaire, Mésothéliome, Indemnisation, Maladies professionnelles.

Le présent mémoire traite de la protection des droits fondamentaux des travailleurs: droit à la dignité, droit à la vie privée, droit à l'image et droit à des conditions justes et raisonnables de travail lorsqu'ils sont visés par une surveillance électronique initiée par un collègue de travail ou un client. La question centrale de notre analyse est de découvrir si la protection des travailleurs est équivalente lorsque les travailleurs sont visés par une surveillance initiée soit par l'employeur soit par un tiers. Nous avons posé comme hypothèse que la jurisprudence traiterait la surveillance par les tiers comme si l'employé n'était pas au travail mais plutôt dans un lieu public, à la vue de tous, et ne bénéficiait pas de certaines protections telles le droit à des conditions justes et raisonnables de travail. La jurisprudence prendrait alors la perspective du tiers qui, n'étant pas lié contractuellement au travailleur, effectue une surveillance électronique dans le but légitime de se constituer une preuve afin de faire valoir ses droits. De plus, nous posons comme hypothèse que l'employeur pourrait plus facilement déposer en preuve des enregistrements issus de la surveillance effectuée par un tiers. Ainsi, certaines preuves de surveillance pourraient être admises, alors qu'elles auraient été déclarées inadmissibles si l'employeur avait participé à leur obtention. Notre méthodologie est fondée sur l'étude de la doctrine et de la jurisprudence existante qui nous permet d'identifier et d'analyser les différents critères de légalité de la surveillance électronique et d'admissibilité de la preuve qui en est issue. Par la suite, nous comparons l'application des critères dans les situations de surveillance par l'employeur au travail ou de filature et de surveillance par un tiers. Nos conclusions ont contredit nos hypothèses à quelques égards. Premièrement, quant à la légalité de la surveillance, la jurisprudence n'adopte pas une approche systématique qui nous permettrait de dire que la surveillance initiée par les tiers est traitée comme la filature effectuée par un employeur. Par contre, nous avons constaté que la jurisprudence applique les critères de manière moins contraignante aux surveillances par les tiers et que l'application des critères à cette surveillance est comparable tantôt à celle de la surveillance de l'employeur au travail tantôt à celle de la filature, tout dépendant laquelle des deux est la plus permissive. Quant à l'admissibilité en preuve des enregistrements, nous avons constaté, lorsque la surveillance est effectuée par l'employeur sur les lieux du travail, que la preuve n'est jamais rejetée. Conséquemment, on ne peut affirmer que l'admissibilité de la preuve issue de la surveillance effectuée par des tiers est plus aisée. En fait elle l'est tout autant. Seules les situations où la surveillance a été effectuée au domicile d'un travailleur ou bien les cas de filature initiée sans motif suffisant ont donné lieu au rejet de la preuve. Ainsi, les situations de surveillance sur les lieux du travail n'entraînent pas, selon note étude, le rejet des preuves. Nous concluons sur la nécessité de développer des balises pour la surveillance électronique effectuée par toute personne, morale ou physique, au travail comme ailleurs, vu l'accessibilité des moyens de surveillance, vu les risques inhérents aux comportements de surveillance excessifs et vu les dommages potentiels d'une diffusion inconsidérée ou malicieuse des enregistrements sur les individus sous surveillance électronique. ______________________________________________________________________________

Notre recherche s'intéresse aux difficultés que les élèves éprouvent dans l'apprentissage de la preuve au secondaire, notamment celles relatives au changement du statut de la géométrie, lors du passage de la géométrie dite pratique à la géométrie dite théorique. Dans cette optique, nous avons cherché à comprendre comment progressent les exigences de production de la preuve dans les deux premières années du premier cycle du secondaire, à travers les activités géométriques proposées dans les manuels scolaires issus du renouveau pédagogique, en usage dans les deux premières années du secondaire au Québec. Cette interrogation nous a amené à mettre en exergue les orientations qui portent sur l'apprentissage de la preuve dans les nouveaux programmes, à partir de la compétence « Déployer un raisonnement mathématique ». Nous avons ensuite élaboré une grille d'analyse des exercices et problèmes géométriques, sur la base de deux paradigmes géométriques : géométrie I, (GI) et géométrie II, (GII), suggérés par Houdement et Kuzniak dans leurs divers travaux, que nous avons complétée avec la typologie développée par Rouche (1989) et une catégorie de la grille d'analyse de Tanguay (2000). Avec cette grille, nous avons classifié les exercices et problèmes géométriques, spécifiquement en géométrie. De plus, nous avons établi des critères qui nous ont permis d'évaluer l'évolution du statut du dessin, à travers certaines activités classifiées. L'analyse et l'interprétation des résultats de la classification montrent que les exigences de production de preuve ne progressent pas à cause des faibles taux de problèmes qui portent sur la production de la preuve. Aussi, les dessins qui ont un statut d'objet matériel sont dominants dans l'ensemble des deux premières années du secondaire. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Renouveau pédagogique, Preuve, Géométrie pratique, Géométrie théorique.

La production de conjectures, de preuves et de démonstrations mathématiques chez les élèves de l'école secondaire est depuis plusieurs années un thème important de la recherche en didactique des mathématiques. La problématique sous-jacente se complexifie quand on considère de surcroît le rôle que peut jouer la technologie dans l'apprentissage de la preuve et de la démonstration, notamment vis-à-vis la production de conjectures, comme préalable au travail sur une preuve donnée. Ces questions sont ici spécifiées aux élèves de 5e secondaire de l'école québécoise. Le contenu mathématique que nous avons choisi pour étudier ces questions est celui des coniques, approchées avec un logiciel de géométrie dynamique. Plus particulièrement, nous nous sommes intéressés à l'analyse des stratégies et démarches des élèves de 5e secondaire au moment où ils travaillent une démonstration, dans le contexte du thème choisi, d'abord avec papier-crayon et ensuite, avec technologie. Des activités ad hoc ont été élaborées et soumises aux élèves auprès desquels nous avons expérimenté. Les productions qui ont résulté de ces tâches nous ont permis d'analyser les erreurs et obstacles en lien avec la production des conjectures, des preuves et des démonstrations par les élèves. Les résultats issus de l'expérimentation et de l'analyse des productions montrent les aspects positifs et négatifs du travail avec papier-crayon, et aussi de l'environnement technologique. La comparaison de ces deux milieux de travail, des possibilités qu'ils offrent et des contraintes qu'ils sous-tendent pourront servir de piste pour une éventuelle amélioration de l'enseignement des mathématiques à l'école secondaire. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Conjecture, preuve, démonstration, travail papier-crayon, géométrie dynamique, coniques.

De nombreuses recherches ont mis en évidence la difficulté des élèves quant au passage de la géométrie pratique à la géométrie théorique entre l'enseignement primaire et secondaire. Néanmoins, peu de celles-ci se sont penchées sur les solutions à mettre de l'avant afin d'atténuer cette rupture. C'est ce point qui retient notre attention dans le cadre de cette étude. Plusieurs possibilités sont envisageables pour diminuer la rupture entre les deux géométries. Pour notre part, nous avons choisi de nous concentrer sur des activités de géométrie pouvant mener graduellement les élèves de la géométrie pratique à la géométrie déductive. Notre hypothèse étant que les élèves de troisième cycle de l'école primaire sont en mesure de faire de la déduction et d'être initiés à la géométrie théorique. Cette hypothèse est d'ailleurs soutenue par les travaux de Lester (1975) et Douaire (1999). Afin de bien cerner les éléments qui distinguent la géométrie pratique de la géométrie théorique, nous avons fait appel aux travaux de Parzysz (2002) basés sur ceux de van Riele (1984) et de Houdement et Kuzniak (1999). Les outils qu'ils ont développés nous permettent de distinguer plusieurs paradigmes géométriques ainsi que les éléments clés qui les différencient. En nous basant sur ces précédentes études, nous avons mis sur pied une séquence d'activités mettant en lumière les limites de la démarche instrumentée (utilisation de la règle graduée et rapporteur d'angle) tout en souhaitant mettre à profit le développement du raisonnement déductif. Pour la construction de ces activités, nous avons utilisé une démarche de Design Research (Edelson 2002). De plus, nous avons fait appel aux travaux de Coppé et coll. (2005) quant aux différents types de dessin que l'élève rencontre en classe de géométrie. La séquence de neuf activités bâties a été expérimentée dans deux classes de 6e année sur une durée d'environ 4 mois. Les analyses découlant de ces expérimentations ont mis en évidence dans quelle mesure il est possible de favoriser le développement du raisonnement déductif chez les élèves en utilisant des activités d'initiation à la géométrie déductive. De plus, les analyses nous ont aussi permis d'identifier quelles étaient les tâches pouvant mener l'élève à délaisser la mesure au profit de la déduction, tâches qui étaient construites dans l'objectif que l'élève fasse le passage de la géométrie pratique vers la géométrie déductive. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : didactique des mathématiques, raisonnement déductif, paradigmes géométriques, niveaux de van Hiele.

Dans le domaine des systèmes informatisés où la fiabilité est la première priorité, les méthodes formelles ont prouvé leur efficacité pour la conception de logiciels sûrs. La dépendance à de tels systèmes augmente, et les contraintes rencontrées se font plus diverses et précises, en particulier les contraintes temporelles. Certaines méthodes formelles, notamment la méthode B, rendent la conception malaisée sous de telles contraintes, puisqu'elles n'ont pas été prévues pour cela à l'origine.<br /><br />Nous nous proposons donc d'étendre la méthode B pour lui permettre de spécifier et valider des systèmes à contraintes temporelles complexes. Nous utilisons pour ce faire des calculs de durées pour exprimer la sémantique du langage B et en déduire une extension conservative qui permet de l'utiliser à la fois dans son cadre d'origine et dans le cadre de systèmes à contraintes temporelles.<br /><br />Nous nous penchons également sur le problème de l'utilisation d'un outil de preuve générique pour valider des formules de calcul des durées. La généricité de ce type d'outil répond à la multiplication des méthodes formelles, mais pose le problème de l'intégration des fondations mathématiques de ces méthodes à un outil générique. Nous proposons donc d'étudier la mise en oeuvre en plongement léger du calcul des durées dans l'assistant de preuve Coq. Nous en déduisons un retour sur expérience de la définition d'une logique modale particulière dans un outil à vocation générique.

Issue des travaux sur la logique linéaire et l'analyse calculatoire de la logique classique, la notion de polarités semble jouer un rôle essentiel dans l'étude actuelle des systèmes logiques. La polarisation est une contrainte qui simplifie les objets tout en conservant une expressivité suffisante d'un point de vue informatique.<br /><br />L'objet de cette thèse est d'étudier et d'exploiter cette nouvelle structure afin en particulier de mettre à jour les relations entre la logique classique et la logique linéaire (LL). L'introduction des polarités dans LL permet de mieux appréhender ce vaste système et de prolonger le développement de différents outils trop complexes en l'absence de cette contrainte. Nous définissons ainsi, pour la logique linéaire polarisée (LLP), des réseaux de preuve intégrant les connecteurs additifs de manière satisfaisante, une sémantique des jeux polarisés qui réconcilie jeux et dualité, une géométrie de l'interaction parallèle et d'autres sémantiques dénotationnelles basées sur des notions connues (espaces de corrélation, catégories de contrôle).<br /><br />Il est important de montrer que malgré cette contrainte, LLP reste un système suffisamment expressif. Pour cela nous étudions en détail les traductions des différents systèmes de logique classique déterministe connus (LC, lambda-mu calcul, ...) aussi bien en appel par nom qu'en appel par valeur. De surcroît, les traductions obtenues pour ces systèmes sont plus simples que celles vers LL.<br /><br />Enfin la souplesse de ces traductions nous permet d'analyser plus finement certaines propriétés de la logique classique tout comme LL permet d'analyser la logique intuitionniste. On peut ainsi étudier un équivalent linéaire des CPS-traductions.

L'étude de la relation entre syntaxe et sémantique qu'établissent les grammaires de types<br />logiques a essentiellement privilégié le sens de l'analyse - syntaxe vers sémantique. Cette thèse souligne le profit que la génération - sémantique vers syntaxe - tire de l'étroitesse de cette relation.<br /><br />Elle s'appuie sur l'étude logique de ces modèles grammaticaux et met en avant l'utilisation de la logique linéaire et de ses réseaux de preuve. Autour du calcul de Lambek, un fragment intuitionniste de la logique linéaire non commutative, nous étudions le comportement des extensions de ce calcul en tant que modèles syntaxiques, notamment avec le calcul ordonné. Nous montrons par exemple qu'un fragment de ce dernier permet d'engendrer la même classe de langage que les grammaires d'arbres adjoints.<br /><br />D'autre part, l'adéquation de la syntaxe, portée par la notion de preuve, à la sémantique de Montague, portée par la notion de lambda-terme, s'illustre dans la correspondance de Curry-Howard. L'utilisation des réseaux de preuve nous permet de montrer que, pour le calcul de Lambek et pour des représentations sémantiques linéaires avec une constante au moins, le problème de génération est décidable et que ces grammaires sont intrinsèquement réversibles. Nous caractérisons les formes sémantiques permettant une réalisation syntaxique polynomiale. Aussi pouvons-nous proposer une méthode complète de génération dans ce cadre.<br /><br />Ces résultats, de même que l'implémentation dont ils ont fait l'objet, exploitent la théorie de la démonstration sous-jacente et en particulier les réseaux de preuve sous forme de graphes. Nous obtenons ainsi un cadre uniforme pour l'analyse et la génération. Pour le conserver, dans l'optique d'une prise en compte sémantique de termes non linéaires grâce aux connecteurs exponentiels de la logique linéaire, nous donnons une nouvelle syntaxe et un nouveau critère de correction pour les réseaux avec exponentiels sous forme de graphes.

Texte remanié de: Th. doct.--Droit privé--Strasbourg 3, 2003. / En appendice, choix de documents. Bibliogr. p. 283-324. Index.

Thèse de doctorat : Psychologie : Rennes 2 : 2007. / Bibliogr. f 429-452. Index des auteurs. Annexes.