L’un des buts de l’apprentissage des mathématiques est le développement du raisonnement et celui-ci participe à la compréhension des mathématiques. Très liée au raisonnement, la notion de preuve est aussi fondamentale à l’apprentissage des mathématiques, car elle permet d’établir la validité d’arguments mathématiques et de conférer un sens à différents concepts à travers l’explication de l’organisation logique du travail effectué. Toutefois, malgré l’importance accordée au développement de différents types de raisonnements, plusieurs élèves éprouvent des difficultés lorsqu’ils sont appelés à concevoir ou à évaluer des preuves. Dans le cadre de cette recherche, nous avons étudié l’impact de l’utilisation d’un forum électronique sur le développement d’habiletés de validation algébrique ainsi que sur le développement d’habiletés en lien avec l’évaluation de preuves en algèbre chez des élèves de 13 et 14 ans du Nouveau-Brunswick et du Québec. Les résultats laissent supposer que l’utilisation du forum électronique encourage le passage des preuves pragmatiques aux preuves intellectuelles, en plus de favoriser une utilisation adéquate des règles du débat mathématique. / One of the goals of learning mathematics is the development of reasoning, because it is essential to understand mathematics. Closely related to reasoning, the notion of proof is also fundamental in the learning of mathematics, because it allows students to establish the validity of mathematical arguments and put a sense on various concepts through logical explanation of their work. However, in spite of the importance placed on the development of the capacity to reason mathematically, several students are confronted with difficulties during the development or the evaluation of proofs. This study examined the impact of the use of a discussion forum on the development of algebraic validation skills as well as on the development of skills linked with the evaluation of the proof process in algebra with 13 and 14 year old students from New Brunswick and Quebec (Canada). The results lead us to believe that the use of the electronic forum encourages the passage from pragmatic proofs to intellectual proofs. It also seems to facilitate an adequate use of the rules of the mathematical debate.

Les technologies de l’information entraînent de profondes transformations dans nos façons d’apprendre et de socialiser ; de lire et d’écrire. Ces changements ne sont pas sans conséquence sur de nombreuses institutions, juridiques ou non. Créées au fil du temps et adaptées à une réalité qu’elles avaient internalisée, elles doivent aujourd’hui comprendre et s’adapter au changement. L’écrit est une de ces institutions. Sa place dans le droit civil est le fruit de centaines d’années de cohabitation et le droit y a vu un allié stable. Mais autrefois facilitateur, l’écrit devient obstacle alors que les technologies de l’information, affranchies du papier, sont utilisées dans des situations juridiques. Comment adapter la notion d’écrit – et celles de l’original et de la signature – alors qu’il n’est question que de données abstraites sous forme numérique ? C’est là l’objet de ce mémoire. Suite à une étude de la notion d’écrit dans le temps, de son affirmation à son bouleversement, nous étudierons les outils juridiques (traditionnels ou récents, comme les principes de neutralité technologique et d’équivalence fonctionnelle) à la disposition du droit civil pour constamment s’adapter à des situations changeantes. Enfin, dans une perspective plus pratique, nous verrons le traitement qu’ont fait divers législateurs, de l’écrit électronique. Nous terminerons par une analyse plus précise des dispositions québécoises relatives à l’écrit électronique. Les principes étudiés dans ce mémoire sont susceptibles de s’appliquer à d’autres situations similaires. / Information technology has completely modified our way of learning, socialising, reading and writing. These changes have also affected numerous institutions. Developed over many years and adapted to a reality they internalised, they now have to understand the nature of the changes taking place and adapt to them. The legal concept of “writing” is such an institution. Its place in the realm of civil law is the result of hundreds of years of cohabitation. The legal system has found a great ally in “writings”. However, although “writing” has been seen as an enabler in the past, the use of information technologies in legal circumstances has turned it into an obstacle. How are we going to adapt the notion of writing – and those of original and signature – when talking about digital data ? This is the topic of our thesis. Following a historical study of the concept of “writing”, from its inception to its current state of crisis, we will analyse the legal tools made available to civil law (whether they be traditional or recent, such as the technological neutrality, and functional equivalence principles) in order to adapt to a constantly changing technological landscape. On a more practical level, we will study how different legislators have addressed electronic documents. Our study will conclude with an analysis of Quebec legislation pertaining to electronic documents. The principles studied in this thesis should be applicable to other similar situations.

Dans ce mémoire, nous nous interrogeons sur de nouvelles règles de preuve du Code criminel pour déterminer si elles ont complètement éliminé le phénomène de victimisation des plaignantes dans les procédures en matière d'agression sexuelle. Nous émettons l'hypothèse qu'elles n'ont pas éliminé le traitement inéquitable des victimes dans le procès pénal et que ce traitement inéquitable nuit autant à la recherche de la vérité qu'au respect des droits des plaignantes. Nous examinons d'abord les droits constitutionnels respectifs de la plaignante et de l'accusé dans le procès en matière de crimes sexuels et leur interaction avec des règles qui portent sur la réputation et l'état de santé des deux protagonistes dans de telles affaires. Nous observons que ces règles de preuve offriraient une symétrie apparente au sujet du traitement de la mauvaise réputation de l'accusé et de la réputation sexuelle et la santé mentale de la victime dans la procédure. Cette symétrie serait toutefois imparfaite, inappropriée ou biaisée par le caractère adversaire du procès et la priorité accordée aux droits constitutionnels de l'inculpé et ce, parfois même au détriment de la vérité et de la justice. Enfin, nous proposons des modifications aux règles actuelles de preuve et de procédure en matière d'agression sexuelle pour favoriser une meilleure recherche de la vérité et un respect accru des droits constitutionnels des victimes / In this master's thesis, we will ask whether the new rules of evidence in the Criminal Code have eliminated the phenomenon of victimization of complainants in sexual assault matters. We emit the hypothesis that the new rules of evidence have not eliminated the inequitable treatment of female plaintiffs in criminal trials and that this inequitable treatment is equally harmful to the search for the truth as well as to the respect of the victim's rights. First, we will state the constitutional rights of the plaintiff and of the accused party in matters of sexual crimes and the current rules of evidence specifically in regards to the reputation and the state of health of the two parties, the accused and the plaintiff, in sexual assault trials and in regards to their respective constitutional rights in such matters. In particular, we will examine the existence of a noticeable symmetry between the rules of evidence relative to the bad reputation of the accused and those concerning the sexual reputation and mental health of the victim, a symmetry which is nevertheless imperfect, inappropriate or biased because of the adversarial procedure and the constitutional debate which we will examine in second place. Thirdly, we will propose certain modifications be made to the rules of evidence and procedure in matters of sexual assault to encourage the discovery of the truth and the respect of the plaintiff’s constitutional rights.

Les chercheurs s’étant penchés sur les facteurs influençant la décision du suspect de confesser son crime ont mis en évidence que deux facteurs sont principalement influents : la force de la preuve (Des Lauriers-Varin et St-Yves, 2006; Moston et al., 1992) et la conduite de l’enquêteur (Holmberg et Christianson, 2002; Kebell et al., 2005). Par contre, les contradictions entre ces études ont apporté davantage de confusion que de réponses à la pratique. Cette étude vise donc à explorer l’incidence de ces deux facteurs sur l’inclination du suspect à confesser son crime et les possibles interactions entre eux. Pour ce faire, 50 enregistrements vidéo d’interrogatoires d’homicide furent visionnés et les données furent soumises à des analyses statistiques et qualitatives. Les résultats d’une régression logistique démontrent que la conduite de l’enquêteur est le facteur prédominant pour prédire l’obtention d’aveux du suspect en contrôlant pour l’effet des variables statiques et de la preuve. Également, les résultats mettent en évidence qu’en augmentant les attitudes et comportements associés à une conduite « positive », l’enquêteur augmentait les probabilités d’aveux du suspect. De plus, les résultats indiquent que l’augmentation du nombre d’éléments de preuves est associée à une plus grande démonstration de « rapport de force » de la part de l’enquêteur. Les résultats sont discutés en relation à l’effet des principaux facteurs sur les schémas et dynamiques prenant place entre l’enquêteur et le suspect. / The studiess on factors influencing a suspect’s decision to confess his crime during a police questioning, reveal that the strength of evidence (Moston et al., 1992 and Des Lauriers-Varin and St-Yves, 2006) and the detective’s behaviour (Holmberg et Christianson, 2002 et Kebell et al., 2005) are considered key factors. However, past studies show notable contradictions. The present work focuses on the role of the two aforementioned factors, in the suspect’s decision to confess a crime and the potential interaction effect among them. The data were obtained by visioning and analyzing 50 questionings of a suspect linked to a homicide investigation. The logistic regression’s results show that the detective’s behaviour is the predominant factor in obtaining a confession from a suspect. Theses results are maintained when both the characteristic of the suspect and the weight of evidence are controlled for. Moreover, our results suggest that a “positive” attitude from the detective’s part is associated with a greater propensity toward confessing. Also, the results indicate that the greater available evidence to support the case, will translate into more “dominant” style of questioning from the detectives. The results are discussed in relation to the effects of the different dynamics taking place between the detective and the suspect during the questioning.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

L’entrée en vigueur de la Loi concernant le cadre juridique des technologies de l’information (ci-après la Loi), est la concrétisation de la prise en compte par le droit, de la preuve technologique. La notion de document technologique est à la fois centrale dans la Loi et dans le Code civil du Québec. Il s’est parfaitement intégré aux divers moyens de preuve du Code civil. Nous allons nous intéresser à cette notion qu’est le document technologique, mais davantage à ses éléments structurants, les métadonnées. Nous allons nous pencher sur la notion, ses origines et ses domaines de prédilection, faisant d’elles, un objet a priori essentiellement technologique, avant de les envisager dans un contexte de preuve. Nous allons voir quel potentiel probatoire les métadonnées représentent, à l’appui d’un document technologique. Enfin, nous nous interrogerons sur leur rôle probatoire autour des notions de copie-transfert et des obligations posées par la Loi, afin que ces deux modes de reproduction des document, puissent légalement tenir lieu du document original, soit la certification et la documentation. / The entry into force of the Act to establish a legal framework for information technology (hereafter «the Law») symbolises the embodiment of technological evidence into law. The notion of technological document is central to this Law. It is perfectly integrated to the different means of evidence in the Civil code. We will of course look at the notion of technological document, but even more so at its structuring element, metadata. We will study the notion, the origin and core areas of metadata. Metadata, an essentially technological element, will be studied within the context of evidence law. We will see what probationary potential metadata can offer in support of a technological document. Finally, we will examine the role of metadata within the copy-transfer concept and obligations imposed by the Law to legally be used as original document, certification and documentation.

Support de la nouvelle société de l’information et de la communication, outil de travail mais également de loisir, le numérique est « partout ». Devenu la mémoire virtuelle de l’homme, le « numérique », constitue un terrain d’investigation privilégié, une source d’informations intarissable. Le principe de la liberté des preuves en procédure pénale a offert au numérique la possibilité de jouer un rôle majeur : parfois preuve de l’infraction, de son imputabilité à un auteur et/ou de son identité, il est devenu incontournable. Ce constat est toutefois limité, ce principe ne signifiant pas que l’on puisse agir de n’importe quelle manière, à sa guise quels que soient le lieu et l’heure ; la preuve numérique devant être recherchée et recueillie dans les règles de l’administration de la preuve. Soumise à l’intime conviction du juge, la donnée numérique devra également revêtir des garanties d’intégrité et de fiabilité, avant d’être considérée comme une « preuve ». En définitive, ces observations imposent que, les caractères généraux de la preuve numérique et son rôle probatoire attendu soient étudiés afin d’envisager comment cette nouvelle preuve se confronte au régime probatoire pénal / As a medium of the new society of information and communication and as a tool used both for work and play, digital technology has become ubiquitous. It has become man's virtual memory and represents a preferred field for investigation, an inexhaustible source of information. The principle of freedom of evidence in criminal law has allowed digital technology to play a major role : sometimes as evidence of infringement, of its author's imputability and/or identity, it has become inescapable. This general assessment is however limited, as it does not mean that any action can be taken anyhow, whatever the place or time ; digital evidence must indeed be searched for and collected within the rules governing it. Being subjected to the judge's inner conviction, the digital data will also have to offer guarantees of integrity and reliability before being considered as evidence on balance, these observations require that the general characteristics and expected role of digital evidence should be studied in order to examine how this new kind of evidence can be confronted with the system of evidence in criminal law

L’essor spectaculaire des systèmes de communications sans fil a entrainé une forte augmentation du trafic des données qui ne devrait cesser de croître au cours des prochaines années. La future génération de réseaux cellulaires (5G) doit être capable de supporter cette croissance du trafic, tout en présentant une consommation énergétique réduite par rapport aux réseaux existants. Parmi les différentes technologies étudiées, le retournement temporel (RT) se présente comme un sérieux candidat pour répondre à ces contraintes. En effet, les nombreuses études théoriques sur le sujet ont montré que la combinaison du RT et de l’OFDM possède des performances intéressantes, notamment grâce à ses propriétés de compression temporelle et de focalisation spatiale. Cependant, les hypothèses prises dans les études théoriques ne sont pas toujours compatibles avec la réalisation pratique d’un tel système. L’objectif de ces travaux de thèse est donc de proposer des solutions aux hypothèses non réalistes, afin de les mettre en oeuvre dans la réalisation d’un prototype combinant RT et OFDM dans un contexte MISO. Dans un premier temps, la mise en oeuvre de l’estimation du canal au niveau de l’émetteur et de la synchronisation du système MISO RT-OFDM est étudiée. Ensuite, une solution de calibration au niveau de l’émetteur est proposée pour compenser le caractère non réciproque du canal de propagation vu de la bande de base. L’ensemble de ces solutions ainsi que les propriétés de focalisation du RT sont validés à partir de mesures expérimentales sur le prototype réalisé. Enfin, la mise en oeuvre du premier prototype de modulation spatiale à la réception utilisant le RT est présentée. / The spectacular growth of wireless communications systems has led to a sharp increase in data traffic, which should continue to grow over the next few years. The future generation of cellular networks (5G) must be able to support this growth of traffic, while presenting reduced energy consumption compared to existing networks. Among the different studied technologies, time reversal (TR) is a serious candidate to meet these constraints. Indeed, the numerous theoretical studies on the subject have shown that the combination of TR and OFDM has interesting performance, specifically thanks to its temporal compression and spatial focusing properties. However, the assumptions made in the theoretical studies are not always compatible with the practical implementation of a real system. The objective of this thesis is to propose solutions to unrealistic theoritical hypotheses, in order to implement them in a real hardware prototype combining TR and OFDM in a MISO context. First, the implementation of the channel estimation at the transmitter side, and the synchronization of the MISO TR-OFDM system is studied. Then, a calibration solution at the transmitter is proposed to compensate for the non-reciprocal nature of the baseband propagation channel. All these solutions as well as the focusing properties of TR are validated by experimental measurements using the developed prototype. Finally, the implementation of the first TR prototype of spatial modulation at the receiver side is presented.

Cette thèse vise à définir des techniques pour mieux exploiter les connaissances du domaine dans l’objectif de rendre compte de la réalité de systèmes qualifiés de complexes et critiques. La modélisation est une étape indispensable pour effectuer des vérifications et exprimer des propriétés qu’un système doit satisfaire. La modélisation est une représentation simplificatrice, mais réductionniste de la réalité d’un système. Or, un système complexe ne peut se réduire à un modèle. Un modèle doit s’intégrer dans sa théorie observationnelle pour rendre compte des anomalies qu’il peut y contenir. Notre étude montre clairement que le contexte est la première problématique à traiter car principale source de conflits dans le processus de conception d’un système. L’approche retenue dans cette thèse est celle d’intégrer des connaissances du domaine en associant le système à concevoir à des formalismes déclaratifs qualifiés de descriptifs appelés ontologies. Notre attention est portée au formalisme Event-B dont l’approche correct-par-construction appelée raffinement est le principal mécanisme dans ce formalisme qui permet de faire des preuves sur des représentations abstraites de systèmes pour exprimer/vérifier des propriétés de sûreté et d’invariance. Le premier problème traité concerne la représentation et la modélisation des connaissances du contexte en V&V de modèles. Suite à l’étude des sources de conflits, nous avons établi de nouvelles règles pour une extraction de connaissances liées au contexte par raffinement pour la V&V. Une étude des formalismes de représentation et d’interprétation logiques du contexte a permis de définir un nouveau mécanisme pour mieux structurer les modèles Event-B. Une deuxième étude concerne l’apport des connaissances du domaine pour la V&V. Nous définissons une logique pour le formalisme Event-B avec contraintes du domaine fondées sur les logiques de description, établissons des règles à exploiter pour l’intégration de ces connaissances à des fins de V&V. L’évaluation des propositions faites portent sur des études de cas très complexes telles que les systèmes de vote dont des patrons de conception sont aussi développés dans cette thèse. Nous soulevons des problématiques fondamentales sur la complémentarité que peut avoir l’intégration par raffinement des connaissances du domaine à des modèles en exploitant les raisonnements ontologiques, proposons de définir de nouvelles structures pour une extraction partiellement automatisée / This thesis aims at defining techniques to better exploit the knowledge provided from the domain in order to account for the reality of systems described as complex and critical. Modeling is an essential step in performing verifications and expressing properties that a system must satisfy according to the needs and requirements established in the specifications. Modeling is a representation that simplifies the reality of a system. However, a complex system can not be reduced to a model. A model that represents a system must always fit into its observational theory to account for any anomalies that it may contain. Our study clearly shows that the context is the first issue to deal with as the main source of conflict in the design process of a system. The approach adopted in this thesis is that of integrating knowledge of the domain by associating the system to design with declarative formalisms qualified of descriptive ones that we call ontologies. We pay a particular attention to the Event-B formalism, whose correct-by-construction approach called refinement is the main mechanism at the heart of this formalism, which makes it possible to make proofs on abstract representations of systems for expressing and verifying properties of safety and invariance. The first problem treated is the representation and modeling of contextual knowledge in V&V of models. Following to the study looked at the different sources of conflict, we established new definitions and rules for a refinement context knowledge extraction for Event-B V&V. A study of logical formalisms that represent and interpret the context allowed us to define a new mechanism for better structuring Event-B models. A second study concerns the contribution that domain knowledge can make to the V&V of models. We define a logic for the Event-B formalism with domain constraints based on the description logic, and we define rules to integrate domain knowledge for model V&V. The evaluation of the proposals made deal with very complex case studies such as voting systems whose design patterns are also developed in this thesis. We raise fundamental issues about the complementarity that the integration of domain knowledge can bring to Event-B models by refinement using ontological reasoning, and we propose to define a new structures for a partially automated extraction on both levels, namely the V&V