Ces travaux s'inscrivent dans une recherche interdisciplinaire qui concerne l'évolution de l'ensemble des techniques de la grande statuaire antique en bronze (de la 2nd moitié du 6 siècle avant J.C. au 5e siècle après J.C.). L'objectif de la thèse est de contribuer à la compréhension du procédé de soudage par fusion au bronze liquide, en mettant en œuvre une double approche : étude de soudures antiques et essais expérimentaux en laboratoire. Les statues à étudier ont été choisies parmi les œuvres des collections des musées de France (Département des Antiquités Grecques Etrusques et Romaines du musée du Louvre, Musée départemental Arles Antique, et musée d'Evreux, Mission Archéologique Départementale de l'Eure). L'étude technologique de ce corpus s'est basée sur la méthodologie développée au C2RMF en collaboration avec plusieurs partenaires. Avec le CEA Le Ripault et l'Institut de Soudure tout d'abord, mobilisant ainsi une batterie de techniques d'examens et d'analyses (contrôles non destructifs, radiographie, analyse élémentaire par ICP-AES, microscopie optique et électronique...). Avec le CEMHTI également, qui a assuré le suivi thermique des essais de soudage en laboratoire menés au sein de l'espace " hautes températures " récemment aménagé au C2RMF. Au terme de ces travaux de recherche, nous sommes en mesure de caractériser avec plus de précision la mise en œuvre du procédé de soudage employé par les fondeurs antiques, dont la réussite s'avère dépendre avant tout de la maitrise du transfert thermique.

Les données sur le comportement biomécanique de la paroi abdominale restent limitées. Cette méconnaissance est un facteur limitant pour le développement de modèles numériques de cette région anatomique. L’objectif de cette thèse est d’apporter des données quantitatives sur le comportement biomécanique de la paroi abdominale, en adoptant une approche expérimentale globale allant de l’ex vivo à l’in vivo. Dans un premier temps, un protocole de caractérisation ex vivo est mis au point et validé sur des spécimens porcins, puis appliqué à des échantillons humains. Ce protocole permet de tester une même paroi abdominale sous deux types de sollicitation (pression et contact) dans le domaine élastique. Il permet également d’évaluer l’influence d’une lésion et d’une réparation avec un implant chirurgical, sur la réponse mécanique de la paroi. Des mesures par corrélation d’images 3D réalisées simultanément sur les surfaces internes et externes quantifient les différences de distribution des déformations de la paroi abdominale. Dans un second temps, des examens in vivo sur volontaires permettent de prendre en compte l’activité musculaire. Une raideur locale est ainsi évaluée pour diverses activités physiologiques, raideur qui augmente en fonction du niveau de contraction jusqu’à 6 fois la valeur au repos. En résumé, cette recherche propose une méthodologie pour mieux comprendre le comportement mécanique global de la paroi abdominale. Cette méthodologie peut être déclinée, afin d’étudier l’influence des différents composants de la paroi. Au-delà de cette thèse, ces données contribueront à la construction et la validation d’un modèle numérique de la paroi abdominale / Data on the biomechanical behaviour of the abdominal wall are limited. This lack of knowledge is a limiting factor for the development of numerical models of this anatomical area. Therefore, the objective of this thesis is to provide quantitative data on the biomechanical behaviour of the abdominal wall, adopting a global experimental approach ranging from ex vivo to in vivo. As a first step, a protocol for ex vivo characterization is develop and validated on porcine specimens and then applied to human anatomical specimens. This protocol allows testing a same abdominal wall under two loading types (pressure and contact) in the elastic range. It also enables to assess the influence of an incision and of a repair with a surgical implant on the mechanical response. Measurements by 3D digital image correlation performed simultaneously on the internal and external surfaces quantify differences in strain distribution of the abdominal wall. As a second step, in vivo examinations on volunteers enable to take into account muscle activity. A local stiffness is thus assessed for various physiological activities. This stiffness increases with the level of muscle contraction and reaches on average six times the stiffness at rest. In conclusion, this research proposes a methodology to better understand the global mechanical behaviour of the abdominal wall. This methodology can now be used in order to study the influence of the different components of the abdominal wall. Beyond this thesis, these data will contribute to the construction and validation of a numerical model of the abdominal wall

Doctorat en sciences psychologiques / info:eu-repo/semantics/nonPublished

Québec Université Laval, Bibliothèque 2015

Dans le domaine de l'évaluation en langue seconde, plusieurs chercheurs se sont penchés sur « le washback », soit l'effet des tests sur l'enseignement, afin de mieux connaître ce phénomène et d'identifier les éléments responsables de sa présence. Ils ont conclu que les enseignants exerçaient un rôle déterminant dans l'apparition d'un tel effet. Notre étude a examiné l'influence du test de français du CXC sur l'enseignement dans des écoles secondaires de Sainte-Lucie. À l'aide d'analyse de documents, d'entrevues et d'observations de classes, nous avons obtenu des renseignements de la part d'enseignants, d'élèves et d'autorités du système d'éducation. Nos résultats révèlent des effets négatifs ainsi que positifs du test sur le contenu enseigné, les matériaux utilisés, les activités de classe et la méthodologie adoptée. Les résultats confirment aussi le rôle crucial exercé par les enseignants, mais identifient un nombre de facteurs additionnels qui doivent être considérés pour expliquer la présence de washback. / In the field of Language Testing, many researchers have focussed on test «washback», or the effect of tests on teaching and learning, in order to determine what this phenomenon looks like and what brings it about. They have identified teachers as being a very influential factor in determining test washback. The present research seeks to determine the washback effect of the CXC French exam on the teaching taking place in secondary schools in Saint Lucia. Document analysis, questionnaires, interviews and classroom observations were used and data was obtained from teachers, students and authorities in the school system. Our results show both negative and positive washback effects on teaching content, teaching materials, teaching activities and teacher methodology. Results also confirm the crucial role that teachers have in determining washback but also identify a number of other factors which come into play

Québec Université Laval, Bibliothèque 2016

Lors d'évaluations holistiques pancanadiennes de l'écriture, il existe une situation de bilinguisme où les différences inhérentes aux deux langues écrites se doivent d'être considérées lors de l'interprétation des résultats des évaluations. Ainsi, le but de cette recherche consiste à identifier des éléments qui permettraient de confirmer ou d'infirmer la légitimité des inférences faites à partir des comparaisons entre les scores d'élèves anglophones et francophones. À cet effet, plusieurs questions de recherche se répartissant en deux volets traitent respectivement et de façon inédite, (1) des liens entre les scores analytiques, orthographiques et holistiques et (2) de la validité des inférences provenant des comparaisons interlangues des résultats obtenus dans le contexte pancanadien. Plus de 3000 productions écrites par des filles et des garçons âgés de 13 et 16 ans étudiant dans différentes régions du Canada ont permis de donner suite à cette quête d'évidences empiriques de validité. Les résultats rapportent des corrélations positives entre les scores holistiques et analytiques ainsi que des corrélations négatives entre les scores holistiques et le nombre de fautes d'orthographe. Les résultats permettent également de dresser une liste d'évidences qui confirment qu'un score holistique ne représente pas les mêmes compétences d'une langue à l'autre et, par conséquent, que les inférences issues de la comparaison des scores holistiques interlangues en écriture manquent de validité. En plus d'informer les instances ministérielles et gouvernementales sur la validité des comparaisons entre des scores holistiques et de cerner la qualité des inférences faites à partir des scores, cette recherche permet d'identifier quelques différences en écriture entre francophones et anglophones et d'examiner sous un nouvel angle la pertinence des scores holistiques rendus par les juges. De plus, quelques recommandations émises à l'attention des responsables des évaluations visent à mieux les outiller lors de la préparation et de la réalisation des prochaines évaluations. Finalement, des suggestions constructives pavent la voie à des recherches futures dont certaines pourraient investiguer la mesure des compétences en écriture, la représentativité des scores et la validité des interprétations.

The aim of this essay is to examine the supervisor’s view on the structure and content of the tasks given to students during their vocational training. The investigation could be of help for teachers when devising new vocational training tasks. The study is based upon qualitative interviews with five supervisors, all of whom work at preschools. The supervisors were asked to grade all the vocational training tasks on a scale from one (easy) to five (difficult). The results were then used as a starting point for a discussion with the supervisors about their grading of the tasks. When devising vocational training tasks, one of the foundations is the knowledge requirements as expressed in the syllabus, and how they are reflected in the vocational training. An important aspect of the student’s learning is the supervisor’s ability to clarify the goals and criteria of vocational training. The supervisor plays an important role and is responsible for the student’s vocational training period. This study has given me a better understanding of the supervisor’s view on the structure of the vocational training tasks and I have been given many useful suggestions as to how it can be improved to strengthen the quality of the education. The Swedish Schools Inspectorate carried out an investigation in 2011 and noticed shortcomings in the grading of the vocational training, which is interesting and relevant for my study. The supervisor assesses the student’s performance during the vocational training according to a certain scale of grades. The findings suggest that we need to revise the structure and assessment of the vocational training tasks. At the upper secondary school used in this study, the tasks are devised in a way that makes it difficult for the supervisor to support the student in his/her learning process, because the tasks are too numerous and the instructions contain many ill-defined terms. The supervisors also want closer contact with, and visits from, the upper secondary school teachers, so that both the former and the students can receive more feedback and better support. / Syftet med denna uppsats är att undersöka handledares syn på praktikuppgifternas utformning och innehåll. Undersökningen kan vara till hjälp för lärare när nya praktikuppgifter ska utarbetas. Arbetet bygger på fem kvalitativa intervjuer som har genomförts med handledare som är verksamma inom förskoleverksamheten. Handledarna fick göra en bedömning av praktikuppgifterna utifrån en svårhetsskala från ett till fem, där fem är mycket svår och ett är mycket lätt. Utifrån skalans bedömning samtalade vi kring varför de gjord den bedömningen. Vid utformning av praktikuppgifter är en av byggstenarna kunskapsmålen som kopplas till praktiken utifrån ämnesplanerna. En viktig del i elevens lärande är att handledaren kan tydliggöra mål och kriterier i det arbetsplatsförlagda lärandet. Handledaren har en viktig roll och ansvar för eleven under praktikperioden. Under undersökningens gång har jag fått inblick i hur handledarna ser på praktikuppgifternas utformning och fått bra förslag på hur de kan förbättras för att stärka kvalitén på utbildningen. Då skolinspektionen genomfört en kvalitets undersökning 2011 och sett brister i betygsättningen kopplat till praktiken är detta intressant och relevant att koppla till mitt arbete. Handledarna sätter omdöme på eleven under praktikperioden utifrån en betygsskala. Resultatet tyder på att vi behöver se över praktikuppgifternas utformning och bedömning innan eleverna går ut på praktik i höst. Som praktikuppgifterna ser ut idag i åk 1 på den för studien aktuella gymnasieskolan har handledarna svårt att stödja elevens lärande, uppgifterna består av många svåra begrepp samt att de är för många till antalet. Det finns också önskemål om tätare kontakt med skolan samt praktikbesök för att stötta och ge återkoppling till både handledare och elev.

La sécurité est une exigence cruciale dans les applications basées sur l'information et la technologie de communication, surtout quand un réseau ouvert tel que l'Internet est utilisé. Pour assurer la sécurité dans ces applications des protocoles cryptographiques ont été développé. Cependant, la conception de protocoles de sécurité est notoirement difficile et source d'erreurs. Plusieurs failles ont été trouvées sur des protocoles qui se sont prétendus sécurisés. Par conséquent, les protocoles cryptographiques doivent être vérifiés avant d'être utilisés. Une approche pour vérifier les protocoles cryptographiques est l'utilisation des méthodes formelles, qui ont obtenu de nombreux résultats au cours des dernières années.Méthodes formelles portent sur l'analyse des spécifications des protocoles modélisées en utilisant, par exemple, les logiques dédiés, ou algèbres de processus. Les méthodes formelles peuvent trouver des failles ou permettent de prouver qu'un protocole est sécurisé sous certaines hypothèses par rapport aux propriétés de sécurité données. Toutefois, elles abstraient des erreurs de mise en ouvre et les attaques side-channel.Afin de détecter ces erreurs et la vérification des attaques d'exécution peut être utilisée pour analyser les systèmes ou protocoles exécutions. En outre, la vérification de l'exécution peut aider dans les cas où les procédures formelles mettent un temps exponentielle ou souffrent de problèmes de terminaison. Dans cette thèse, nous contribuons à la vérification des protocoles cryptographiques avec un accent sur la vérification formelle et l'automatisation. Tout d'abord, nous étudions les protocoles d'examen. Nous proposons des définitions formelles pour plusieurs propriétés d'authentification et de confidentialité dans le Pi-calcul Appliqué.Nous fournissons également une des définitions abstraites de propriétés de vérifiabilité. Nous analysons toutes ces propriétés en utilisant automatiquement ProVerif sur plusieurs études de cas, et avons identifié plusieurs failles. En outre, nous proposons plusieurs moniteurs de vérifier les exigences d'examen à l'exécution. Ces moniteurs sont validés par l'analyse d'un exécutions d'examen réel en utilisant l'outil MARQ Java.Deuxièmement, nous proposons un cadre formel pour vérifier les propriétés de sécurité de protocoles de monnaie électronique non transférable. Nous définissons la notion de vie privée du client et les propriétés de la falsification. Encore une fois, nous illustrons notre modèle en analysant trois études de cas à l'aide ProVerif, et confirmons plusieurs attaques connues.Troisièmement, nous proposons des définitions formelles de l'authentification, la confidentialité et les propriétés de vérifiabilité de protocoles de réputation électroniques. Nous discutons les définitions proposées, avec l'aide de ProVerif, sur un protocole de réputation simple. Enfin, nous obtenons un résultat sur la réduction de la vérification de la validité d'une route dans les protocoles de routage ad-hoc, en présence de plusieurs attaquants indépendants qui ne partagent pas leurs connaissances. / Security is a crucial requirement in the applications based on information and communication technology, especially when an open network such as the Internet is used.To ensure security in such applications cryptographic protocols have been used.However, the design of security protocols is notoriously difficult and error-prone.Several flaws have been found on protocols that are claimed secure.Hence, cryptographic protocols must be verified before they are used.One approach to verify cryptographic protocols is the use of formal methods, which have achieved many results in recent years.Formal methods concern on analysis of protocol specifications modeled using, e.g., dedicated logics, or process algebras.Formal methods can find flaws or prove that a protocol is secure under ``perfect cryptographic assumption" with respect to given security properties. However, they abstract away from implementation errors and side-channel attacks.In order to detect such errors and attacks runtime verification can be used to analyze systems or protocols executions.Moreover, runtime verification can help in the cases where formal procedures have exponential time or suffer from termination problems.In this thesis we contribute to cryptographic protocols verification with an emphasis on formal verification and automation.Firstly, we study exam protocols. We propose formal definitions for several authentication and privacy propertiesin the Applied Pi-Calculus. We also provide an abstract definitions of verifiability properties.We analyze all these properties automatically using ProVerif on multiple case studies, and identify several flaws.Moreover, we propose several monitors to check exam requirements at runtime. These monitors are validated by analyzing a real exam executions using MARQ Java based tool.Secondly, we propose a formal framework to verify the security properties of non-transferable electronic cash protocols.We define client privacy and forgery related properties.Again, we illustrate our model by analyzing three case studies using ProVerif, and confirm several known attacks.Thirdly, we propose formal definitions of authentication, privacy, and verifiability properties of electronic reputation protocols. We discuss the proposed definitions, with the help of ProVerif, on a simple reputation protocol.Finally, we obtain a reduction result to verify route validity of ad-hoc routing protocols in presence of multiple independent attackers that do not share their knowledge.

La France s’inscrit dans une vision idéalisée de la criminalistique dont la force probante apporterait les réponses incontestables au procès pénal. Cette croyance est historique et s’appuie sur les travaux des pionniers français qui ont ouvert la voie à ce que d’aucuns ont appelé, par abus de langage, l’apport de la preuve scientifique. Mais le paysage de la criminalistique n’est pas aussi simple que les acteurs au procès pénal le supposent. Le système criminalistique existant, la formation des intervenants, la connaissance de la valeur informationnelle de la trace avec sa vie juridique comme sa traçabilité scientifique, parfois soumise à un cadre normatif extérieur au droit, sont autant de domaines rarement abordés. À travers les différentes matières composant la criminalistique, en percevoir le contenu et leur puissance scientifique, mais également leurs limites, apportent un éclairage particulier de ce qu’est l’interprétation des résultats analytiques en France, et ce qu’elle devrait être quel que soit le moment judiciaire qu’exige le déroulement de la procédure pénale. Cette présentation met en exergue l’existence de la réalisation d’actes scientifiques souvent négligés et qui vient relativiser la notion d’examens scientifiques et d’expertises pourtant sacralisés par le droit et la jurisprudence. Cette étude de la criminalistique dans le procès pénal, met en évidence la perception qu’en ont les acteurs, la compréhension réciproque difficile avec les experts, mais également celles d’organismes plus institutionnels, montrant que les intérêts sont parfois divergents entre une vision comptable de la justice et celle de la recherche de la vérité, pourtant inscrite dans les textes. Une présentation de la perception comme de la mise en œuvre de la criminalistique en droit comparé à travers la procédure et la jurisprudence accusatoires donne un éclairage sur des débats juridiques qui frappent à la porte de notre système inquisitoire par l’introduction toujours plus engagée du contradictoire. Mieux comprendre les sciences introduites au procès pénal et les rendre accessibles devrait donner aux acteurs une capacité de discernement et d’interprétation plus pertinente, notamment pour les juges qui doivent à partir de toutes ces connaissances, indices et réponses scientifiques en construire la preuve pénale. / France believes in an idealized vision of forensic science, the probative force of which would provide incontestable answers to the criminal trial. This belief is historical and is based on the work of the French pioneers who paved the way for what some have called, by abuse of language, the contribution of scientific proof. But the forensic landscape is not as simple as the actors in the criminal trial assume. Existing forensic systems, training of stakeholders, knowledge of the informational value of the trace with its legal life as well as its scientific traceability, sometimes subject to a normative framework outside the law are all rarely dealt with. Through the various subjects of forensic science, by perceiving their content and their scientific power, but also by their limitations, they shed particular light on the interpretation of analytical results in France and what it should be the judicial time required for the conduct of criminal proceedings. This presentation highlights the existence of the realization of scientific acts often neglected and that relativizes the notion of scientific examinations and expert appraisals yet sacred by law and jurisprudence. This study of criminalistic in the criminal trial highlights the perception of the actors, the difficult mutual understanding with the experts, but also those of more institutional administrations, showing that the interests are sometimes divergent between an accounting vision Justice and the search for truth, which is nevertheless inscribed in the texts. A presentation of the perception as well as the implementation of forensic science in comparative law through accusatory procedure and jurisprudence sheds light on legal debates that strike the door of our inquisitorial system by the increasingly engaged introduction of contradictory. A better understanding of the sciences introduced into the criminal process and making them accessible should give the actors a more relevant capacity for discernment and interpretation, in particular for judges who must draw up the criminal proof from all these scientific knowledge, answers and evidences.