On est habitué à penser comme suit à un programme qui exécute: une donnée entre (un input), un moment passe, et un résultat ressort. On assume tacitement de l'information complète sur le input, le résultat, et n'importe quels résultats intermédiaires. Dans ce travail-ci, on demande ce que ça voudrait dire d'exécuter un programme sur de l'information partielle. Comme réponse possible, on introduit l'interprétation partielle, notre contribution principale. Au lieu de considérer un seul input, on considère un ensemble de inputs possibles. Au lieu de calculer un seul résultat, on calcule un ensemble de résultats possibles, et des ensembles de résultats intermédiaires possibles. On approche l'interprétation partielle à partir du problème de la spécialisation de programme: l'optimisation d'un programme pour certains inputs. Faire ça automatiquement porte historiquement le nom d'évaluation partielle. Ç'a été appliqué avec succès à plusieurs problèmes spécifiques. On croit que ça devrait être un outil de programmation commun, pour spécialiser des librairies générales pour usage spécifique - mais ce n'est pas le cas. Souvent, une implantation donnée de l'évaluation partielle ne fonctionne pas uniformément bien sur tous les programmes. Ça se prête mal à un usage commun. On voit ce manque de régularité comme un problème de précision: si l'évaluateur partiel était très précis, il trouverait la bonne spécialisation, indépendamment de notre style de programme. On propose donc une approche de principe à l'évaluation partielle, visant la précision complète, retirée d'exemples particuliers. On reformule l'évaluation partielle pour la baser sur l'interprétation partielle: le calcul sur de l'information partielle. Si on peut déterminer ce qu'on sait sur chaque donnée dans le programme, on peut décider quelles opérations peuvent être éliminées pour spécialiser le programme: les opérations dont le résultat est unique. On définit une représentation d'ensembles qui ressemble à la définition en compréhension, en mathématiques. On modifie un interpréteur pour des programmes fonctionnels, pour qu'il calcule sur ces ensembles. On utilise un solver SMT pour réaliser les opérations sur les ensembles. Pour assurer la terminaison de l'interpréteur modifié, on applique des idées de l'interprétation abstraite: le calcul de point fixe, et le widening. Notre implantation initiale produit de bons résultats, mais elle est lente pour de plus gros exemples. On montre comment l'accélérer mille fois, en dépendant moins de SMT. / We are used to the following picture of an executing program: an input is provided, the program runs for a while, and a result comes out. We tacitly assume complete information about the input, the result, and any intermediate results in between. In this work, we ask what it would mean to execute a program over partial information. As a possible answer, we introduce partial interpretation, our main contribution. Instead of considering a unique input, we consider a set of possible inputs. Instead of computing a unique result, we compute a set of possible results, and sets of possible intermediate results. We approach partial interpretation from the problem of program specialization: the optimization of a program's execution time for certain inputs. Doing this automatically is historically known as partial evaluation. Partial evaluation has been applied successfully to many specific problems. We believe it should be a mainstream programming tool, to specialize general libraries for specific use - but such a tool has not been delivered. One common problem is that a given implementation of partial evaluation is inconsistent: it does not work uniformly well on all input programs. This inconsistency makes it unsuited for mainstream use. We view this inconsistency as an accuracy problem: if the partial evaluator was very accurate, it would find the correct specialization, no matter how we present the input program. We therefore propose a principled approach to partial evaluation, aimed at complete accuracy, removed from any particular example program. We reformulate partial evaluation to root it in partial interpretation: computation over partial information. If we can determine what we know about every piece of data in the program, we can decide which operations can be removed to specialize the program: those operations whose result is uniquely known. We represent sets with a kind of mathematical set comprehension. We modify an interpreter for functional programs, to compute over these sets. We use an SMT solver (Satisfiability Modulo Theories) to perform set operations. To ensure termination of the modified interpreter, we apply ideas from abstract interpretation: fixed point computation, and widening. Our initial implementation produces good results, but it is slow for larger examples. We show how to speed it up a thousandfold, by relying less on SMT.

Dans cette thèse, un système personnalisé de stadification automatique du sommeil est proposé, combinant fusion symbolique et système de contrôle rétroactif. La fusion symbolique est inspirée par le processus décisionnel mis en œuvre par les cliniciens experts du sommeil lors la reconnaissance visuelle des stades de sommeil. Il commence par l'extraction de paramètres numériques à partir des signaux polysomnographiques bruts. L'interprétation symbolique de haut niveau se fait par l'intermédiaire de l'extraction de caractéristiques à partir des paramètres numériques. Enfin, la décision est générée en utilisant des règles inspirées par les recommandations internationales en médecine du sommeil. Les symboles et les valeurs des caractéristiques dépendent d'un ensemble de seuils, dont la détermination est une question clé. Dans cette thèse, deux algorithmes de recherche différents, Differential Evolution et Cross Entropy ont été étudiés pour calculer la valeur de ces seuils automatiquement. La variabilité individuelle a souvent été ignorée dans les systèmes automatiques de stadification du sommeil existants. Cependant, elle a été démontrée dans plusieurs travaux de recherche vis à vis de nombreux aspects du sommeil (comme les enregistrements polysomnographiques, les habitudes de sommeil, l'architecture du sommeil, la durée du sommeil, les événements liés au sommeil, etc.). Afin d'améliorer l'efficacité des classificateurs des stades de sommeil, un système automatisé de sommeil automatique adapté aux différentes personnes et tenant compte de la variabilité individuelle a été exploré et évalué. / In this thesis, a personalized automatic sleep staging system is proposed by combining symbolic fusion and feedback system control technique. Symbolic fusion is inspired by the decision-making process of clinical sleep staging. It starts from the extraction of digital parameters from raw polysomnography signals and it goes up to a high-level symbolic interpretation through a features extraction process. At last, the decision is generated using rules inspired by international guidelines in sleep medicine. Meanwhile, the symbols and the features computations depend on a set of thresholds, whose determination is a key issue. In this thesis, two different search algorithms, Differential Evolution and Cross Entropy, were studied to compute these thresholds automatically.Individual variability was often ignored in existing automatic sleep staging systems. However, an individual variability was observed in many aspects of sleep research (such as polysomnography recordings, sleep patterns, sleep architecture, sleep duration, sleep events, etc.). In order to improve the effectiveness of the sleep stages classifiers, a personalized automatic sleep staging system that can be adapted the different persons and take individual variability into consideration was explored and evaluated.The perspectives of this work are based on evaluating the complexity and the performances of these algorithms in terms of latencies and hardware resource requirements, in order to target a personalized automated embedded sleep staging system.

Le logiciel embarqué est devenuaujourd’hui incontournable dans la plupart dessecteurs industriels. Ce dernier fait appel engénéral à des connaissances métier différentes.L’ensemble du système (le logiciel et sonenvironnement) est ainsi spécifié d’une manièrehétérogène, avec des parties discrètes et d’autrescontinues. La simulation de ces systèmeshybrides nécessite des données précises et unesynchronisation des changements continus avecles transitions discrètes. Mais, dans les premièresphases de conception, l’absence des informationsempêche de simuler le système numériquement.Dans notre thèse, nous présentons un nouveaulangage qualitatif dédié à la simulationqualitative des systèmes hybrides. Ce nouveaulangage consiste à modéliser les relations entreles variables du système. Il est implémenté dansDiversity, un moteur d’exécution symbolique,pour construire les traces du système. Nousavons appliqué cette approche à l’analyse desmodèles SysML, en utilisant une transformationM2M à partir de SysML vers un langage pivot,une transformation M2T à partir de ce langagevers Diversity. Nous avons aussi analysé lestraces brutes de l’exécution symbolique deDiversity pour construire les comportementsqualitatifs du système. / Embedded software has becomeessential in most industrial sectors. The latterusually involves various business knowledge.The whole system (the software and itsenvironment) is specified in a heterogeneousform, with discrete and continuous parts.Simulating these hybrid systems requiresprecise data and synchronization of continuouschanges and discrete transitions. However, inthe first design steps, missing informationforbids numerical simulation. We present in ourthesis a new qualitative language for qualitativesimulation of hybrid systems, which consists incomputing the relationships between the systemvariables. This language is implemented in theDiversity symbolic execution engine to build thetraces of the system. We apply this approach tothe analysis of SysML models, using an M2Mtransformation from SysML to a pivot language,an M2T transformation from this language toDiversity. We also analyze the brutal symbolictraces obtained by Diversity to build the realqualitative behaviors of the system.

Cette thèse porte sur le développement d'approches compositionnelles et efficaces de synthèse de contrôleurs pour les systèmes cyber-physiques (CPS). En effet, alors que les techniques de conception des CPS basées sur des modèles ont fait l'objet de nombreuses études au cours de la dernière décennie, leur scalabilité reste problématique. Dans cette thèse, nous contribuons à rendre de telles approches plus évolutives.La première partie est axée sur les approches compositionnelles. Un cadre général pour le raisonnement compositionnel en utilisant des contrats d’hypothèse-garantie est proposé. Ce cadre est ensuite combiné avec des techniques de contrôle symbolique et appliqué à un problème de synthèse de contrôleur pour des systèmes échantillonnés, distribués et multipériodiques, où l'approche symbolique est utilisé pour synthétiser un contrôleur imposant un contrat donné. Ensuite, une nouvelle approche de calcul compositionnel des abstractions symboliques est proposée, basée sur la notion de composition approchée et permettant de traiter des abstractions hétérogènes.La deuxième partie de la thèse porte sur des techniques efficaces d'abstraction et de synthèse de contrôleurs. Deux nouvelles techniques de calcul d’abstractions sont proposées pour les systèmes à commutation incrémentalement stables. La première approche est basée sur l'échantillonnage multi-niveaux où nous avons établi l'existence d'un paramètre optimal d'échantillonnage qui aboutit à un modèle symbolique avec un nombre minimal de transitions. La deuxième approche est basée sur un échantillonnage événementiel, où la durée des transitions dans le modèle symbolique est déterminée par un mécanisme déclencheur, ce qui permet de réduire le conservatisme par rapport au cas périodique. La combinaison avec des techniques de synthèse de contrôleurs paresseux est proposée permettant la synthèse à un coût de calcul réduit. Enfin, une nouvelle approche de synthèse paresseuse a été développée pour les systèmes de transition monotones et les spécifications de sécurité dirigées. Plusieurs études de cas sont considérées dans cette thèse, telles que la régulation de la température dans les bâtiments, le contrôle des convertisseurs de puissance, le pilotage des véhicules et le contrôle de la tension dans les micro-réseaux DC. / This thesis focus on the development of compositional and efficient controller synthesis approaches for cyber-physical systems (CPS). Indeed, while model-based techniques for CPS design have been the subject of a large amount of research in the last decade, scalability of these techniques remains an issue. In his thesis, we contribute to make such approaches more scalable.The focus of the first part is on compositional approaches. A general framework for compositional reasoning using assume-guarantee contracts is proposed. This framework is then combined with symbolic control techniques and applied to a controller synthesis problem for multiperiodic distributed sampled-data systems, where symbolic approaches have been used to synthesize controllers enforcing a given assume-guarantee contract. Then, a new approach to the compositional computation of symbolic abstractions is proposed based on the notion of approximate composition, allowing to deal with heterogeneous abstractions and arbitrary interconnections.The second part is about efficient abstraction and controller synthesis techniques. Two new abstractions schemes have been developed for incrementally stable switched systems. The first approach is based on multirate sampling where we established the existence of an optimal multirate sampling parameter that results in a symbolic model with a minimal number of transitions. The second approach is based on event-based sampling, where the duration of transitions in the symbolic model is determined by some triggering mechanism, which makes it possible to reduce the conservatism with respect to the periodic case. Combination with lazy controller synthesis techniques has been proposed allowing the synthesis at a reduced computational cost. Finally, a new lazy approach has been develop for monotone transition systems and directed safety specifications. Several case studies have been considered in this thesis such as temperature regulation in buildings, control of power converters, vehicle platooning and voltage control in DC micro-grids.

Dans le présent travail, nous souhaitons montrer que pour affronter le problème suivant : comprendre l’inscription de la conscience dans la nature en échappant à l’idéalisme et au matérialisme, Ruyer ne s’est pas seulement engagé sur la voie d’une interprétation spéculative de données scientifiques principalement puisées dans l’embryologie et la physique quantique. Ruyer est avant tout un héritier de ce qu’il nomme lui-même «la grande voie naturelle de la philosophie», tradition qui consiste à penser le psychologique comme un échantillon à partir duquel peut être élaborée une ontologie de la nature. Comment, ayant commencé par défendre un panmécanisme dans les années 1930, Ruyer en est-il venu à s’inscrire dans cette« grande voie » et à réactualiser le panpychisme ? Dans ce travail, nous nous penchons aussi sur la manière dont Ruyer aborde la question du dualisme de la conscience et du corps, de l’être et de sa manifestation, de Dieu et de sa création. Enfin, nous parions que l’analyse de la structure de pensée que sous-tend sa fidélité à l’idéologie eugéniste permet de mettre en lumière un geste qui commande la majorité de ses décisions philosophiques, geste que lui-même ne théorise nulle part et que nous nommons l’«escamotage du symbolique». Chez Ruyer, la Nature est«humanisée» parce que l’homme est «naturalisé» et cette naturalisation s’entend sur un plan ontologique non moins que sur un plan politique. / In this work, I intend to demonstrate that, in order to face up to the issue of understanding the embeddedness of consciousness into nature escaping both idealism and materialism, Ruyer did not only commit himself to a speculative interpretation of scientific data (most of them originating from embryology and quantum physics). Indeed, Ruyer is first and foremost an heir of what he calls “the great natural way of philosophy,” namely a tradition which consists in thinking psychological elements as samples from which an ontology of nature is to be setup. How, starting during the thirties, with the claim of a general mechanism, did Ruyer come to bring himself to this “great way” and to launch once more panpsychism ? I also pay attention to the way Ruyer addresses the questions of mind-body dualism, being and his manifestation, God and his creation. In the end, I venture to say that the analysis of the speculative feature supported by his affiliation to eugenic ideology is a way to enlighten a turn of thinking from which most of his philosophical choices result. Ruyer never analysed this turn of thinking for itself and I chose to call it the “obliteration of symbolic.” Within Ruyer’sphilosophy, Nature is “humanised” because man is “naturalized” and this naturalization is both an ontological and political claim.

À partir d’une série d’entretiens ethnographiques auprès d’employés des bars et restaurants de Montréal, je me penche dans cette recherche sur le monde de « l’industrie » de la restauration. Au cours de l’enquête, j’identifie un style de vie spécifique composé de ce que j’appelle des « conduites dépensières ». Il s’agit pour ces employés d’un ensemble de pratiques ayant pour conséquence la dépense d’une partie importante de leurs revenus d’emplois dans les restaurants et les bars afin de s’offrir des soirées sociables alcoolisées et des sorties de découvertes gastronomiques. En tentant de rendre compte de ce style de vie, j’avance l’hypothèse que ces conduites sont sous-tendues par un véritable système culturel de coutumes, rituels, normes et valeurs. Au cœur de ce système culturel se trouve le brouillage des frontières entre le professionnel et le privé, le sérieux et le plaisir, le travail et le party. Ce brouillage a pour effet de rediriger une partie des revenus de mes informateurs à l’intérieur de leur univers professionnel. Cette redirection ne serait possible sans le marquage symbolique de l’argent-pourboire, tel que théorisé par Viviana Zelizer, qui fait en sorte que cette monnaie est socialement assignée à la dépense à l’intérieur de « l’industrie ». Au cœur de ma méthode d’enquête se trouve l’utilisation du feuilleton sociologique, véritable outil de validation et de construction des données. / Based on a series of ethnographic interviews with bar and restaurant staff in Montreal, I examine in this study the world of the restaurant “industry.” During the investigation, I have identified a specific lifestyle characterized by “spendthrift conducts.” These conducts are a set of behaviors leading to the spending of a significant portion of my informants’ income in gastronomic discoveries and nights of drinking in restaurants and bars. To account for this particular lifestyle, I argue that these behaviors are underpinned by a cultural system of customs, rituals, norms, and values. The blurring of the boundaries between the professional and the private, the serious and the fun, work and party, is central to this cultural system. As a result of this blurring, the informants’ income is reinjected within their professional universe. This would not be possible without the social earmarking of tip, as theorized by Viviana Zelizer. This currency is socially assigned for spending within the “industry.” While writing up this study the sociological feuilleton has turned out to be an original tool for validating and constructing data.

Les échanges au sujet de phénomènes paranormaux sont présents et bien installés sur le web. Le choix de plateformes qui s’offre aux utilisateurs est vaste pour partager son expérience avec les autres. Certains choisissent Reddit et particulièrement des subreddits dédiés au paranormal. Ce mémoire analyse une communauté en ligne, active sur le subreddit r/Ghosts, constituée de fans des phénomènes paranormaux. Je m’interroge sur les moyens mis en œuvre par cette communauté pour interagir dans le but de faire sens de la question de la potentielle existence des fantômes. À l’aide de concepts comme l’interactionnisme symbolique, la culture participative et l’intelligence collective, j’ai analysé une quarantaine d’interactions textuelles issues d’un partage de contenu médiatique. Les membres de la communauté, appelés redditors, interagissent pour trouver des solutions à des énigmes perçues comme étant de nature paranormale, mais aussi pour discuter et se divertir. Ces redditors interagissent avec différentes valeurs et croyances, parfois partagées. / The web is awash with conversations about paranormal activity. There are a lot of platforms on which users can share their experience. Some choose to pick Reddit and particularly subreddits dedicated to the paranormal. This master’s thesis studies the subreddit r/Ghosts, an online community (OC) dedicated to ghosts. Here, I question the means used by this OC to make sense of the possible existence of ghosts via interaction. Using theories and concepts such as symbolic interactionism, participatory culture, and collective intelligence, I studied over forty textual interactions initiated by a post including a media (picture, video, or audio). The redditors of r/Ghosts interact with each other to figure out paranormal enigmas but also to simply discuss or for entertainment purposes. They interact with different values and beliefs that they sometimes share.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. / La plupart des fêtes grandioses qui déplaçaient toute la cour sous Louis XIII furent immortalisées dans de nombreux ouvrages à caractère notamment littéraire. Ces relations dont les jésuites étaient souvent les auteurs et dans lesquelles ils mettaient à profit leur mission apologétique et pédagogique, furent enfouies en grande partie dans des archives. Certaines d'entre erres mériteraient aujourd'hui de faire l'objet d'une édition commentée. Prenons Les Champs Elyziens, ou La Reception du Roy tres-Chrestien Louis XIII, au College de Bourdeaus de la Comp. de Jesus, le huictiesme de novembre 1615. Le P. F. Garasse (1585-1631), jésuite devenu célèbre surtout pour ses pamphlets satyriques, y fixe le souvenir qu'il a gardé du spectacle monté le 8 novembre 1615 dans l’enceinte même du collège de Bordeaux. Ce spectacle en six « stations » auquel le roi est invité à participer, représente à travers toute une symbolique le parcours initiatique qu'il doit suivre pour atteindre le paradis terrestre, les Champs Élyséens. Six vertus royales tracent le chemin et servent de « stations » au roi. Ce texte, tombé pratiquement dans l'oubli depuis trois siècles, est le fruit d’une créativité singulière et d’une érudition certaine. La narration témoigne d'une imagination fertile et se nourrit copieusement des textes de l’Antiquité greco-romaine et des Pères de l’Église. En outre, cette relation attire notre attention sur la question du genre littéraire. Par son caractère d'absorption des différentes formes de discours, ce récit du P. F. Garasse se situe à la frontière de plusieurs genres. L'intertexte des Champs Elyziens renvoie ainsi à la devise, à l’emblème, au chant, au compliment ou encore à la prière et s'insère dans un récit qui est, lui-même, déjà très dense et pluriforme. Il est troué d’arrêts, c'est-à-dire de segments descriptifs et poétiques. Les Champs Elyziens constitue, du reste, un précieux document historique. Ce texte témoigne de la tradition didactique du théâtre jésuite et de la tradition des fêtes de cour héritées de la Renaissance italienne. L'intérêt profond que soulève la relation vient motiver un projet d'édition commentée qui permettra d'établir et de restituer la compréhension du texte et de le rendre accessible aux lecteurs modernes. Pour ce faire, nous envisageons tout d'abord de saisir à l’ordinateur l'introduction et la première station des Champs Elyziens. Puisque l'édition intéressera surtout les universitaires et les spécialistes du XVIIe siècle, la physionomie de la version originale imprimée en 1615 sera respectée. Toutefois, quelques signes typographiques subiront de petites modifications : Les tildes, les agglutinations, les dissimilations et les coquilles feront l'objet d’un rejet ou d'une correction et les passages en latin et les quelques termes grecs seront traduits. Une fois établie, cette partie des Champs Elyziens sera complétée par un commentaire littéraire, historique et philologique. Ce commentaire s'insérera dans une préface d'une quarantaine de pages et dans un appareil de notes. La première partie de la préface comprendra une brève présentation du P. F. Garasse et viendra inscrire le texte dans la tradition des fêtes de cour héritées de la Renaissance italienne et dans la tradition didactique du théâtre jésuite. La préface dressera également un panorama des sources, des œuvres antérieures qui ont inspiré la pensée créatrice du P. F. Garasse. Enfin, la préface se terminera par quelques pistes de lectures qui découleront du travail minutieusement mené sur la première des « stations » du roi, celle du « Portal de Clémence ». Pour ce qui est des annotations, elles seront d'ordre lexical, sémantique et historique. Elles donneront lieu au repérage des citations et à leur rétablissement. Elles permettront aussi de souligner les lieux communs et les affusions du texte. Comme instrument de travail, un index des noms propres sera également fourni à la fin de l'édition. Ce travail qui s'inscrit dans le cadre d'un projet de recherche portant sur les Entrées Royales cherche essentiellement à rendre « cet aimable délire d'imagination érudite » qu'est Les Champs Elyziens disponible à plusieurs lecteurs et à ouvrir, par la même occasion, la voie à de nouvelles recherches, notamment en littérature, en histoire, en philologie et en didactique.

Surtshellir est une grotte de formation volcanique située dans le champ de lave Halmundarhraun, dans l'ouest central de l'Islande. Dans les légendes, cette dernière est habitée par le géant de feu, Surtr, qui est un des agents mythologiques responsables du Ragnarök. Dans une des galeries secondaires de Surtshellir, on retrouve des piles de reste fauniques fragmentées et brûlés autour et au centre d'une structure en forme de bateau. Ces restes ayant été datés de l'Âge viking nous confirment que dès la colonisation de l'Islande, les habitants s'y rendent pour de multiples rituels complexes. Le site est aussi porteur d'une légende de hors-la-loi qui auraient semé la terreur dans les régions environnantes. Puis, le fils de Snorri Sturluson aurait été kidnappé, castré et aveuglé à l'entrée de cette même grotte. Ce mémoire tente d'évaluer les origines de l'assemblage zooarchéologique du site. Pour ce faire, deux hypothèses sont proposées : a) le site avait une fonction domestique (site habité), et b) le site avait une fonction rituelle (un endroit pour déposer des offrandes d'animaux sous forme de pièces de viandes crues, de pièces de viandes cuites et de fragments calcinés. Une analyse zooarchéologique a été réalisée avec les fragments de reste fauniques provenant du terrain et des petits fragments provenant de l'échantillonnage trié en laboratoire, pour ainsi déterminer les profils taxonomiques, de l'âge et des éléments des assemblages. De plus, une identification des traces de boucherie et des niveaux de combustion a été réalisée. Les patterns de combustion du site ont été interprétés en comparaison avec un volet d'archéologie expérimentale réalisée lors de cette étude, ainsi que plusieurs autres sources publiées. Les résultats de cette étude nous démontrent que les restes fauniques trouvées à Surtshellir diffèrent de la norme et des sites de fermes islandaises. Il est conclu que les restes fauniques de Surtshellir ne proviennent pas d'un contexte typiquement domestique. Les résidus de chair carbonisée observés lors des expérimentations sont aussi présents dans l'assemblage zooarchéologique étudié, nous suggérant ainsi une combustion partielle ou complète des parties animales au centre de la structure. Ces restes sont aussi distincts du rejet des restes de tables que l'on observe normalement, nous indiquant un pattern clair de dépôt d'offrandes calcinées. / Surtshellir is a volcanically formed cave located in the Halmundarhraun lava field in west-central Iceland. In legend, the cave was inhabited by the fire giant, Surtr, who is one of the mythical agents responsible for Ragnarök, the Norse end of the world. In one of the upper passages of Surtshellir, piles of fragmented and burnt archaeological faunal remains have been recorded and excavated within and around a boat-shaped stone hearth structure. These remains, having been dated to the Viking Age, confirm that as early as the initial colonization of Iceland, the cave has been used for multiple complex rituals. The site has other legendary stories attached to it as well; it is also reputed to have been a shelter for a band of outlaws who wreaked havoc in the surrounding regions, as well as the scene of the kidnapping and torture of the son of Snorri Sturluson. This thesis intends to evaluate the origin of the zooarchaeological assemblage recovered from the site. Two hypotheses are proposed: a) the site had a domestic function (a living site) and b) the site had a ritual function (a place to make offerings of animal parts in the form of raw meat or cooked food and burnt offerings). A zooarchaeological analysis of all recovered bone remains, including specimens handpicked in the field and tiny bone fragments recovered in the lab from bulk sediment samples was undertaken in order to determine the taxonomic, age and element profiles of the assemblage, identified butchery marks and burning states of these remains. The pattern of combustion from the site was interpreted in reference to data obtained by experimental bone burning conducted in the course of this study and previously published research. The project's results show that the faunal remains found at Surtshellir differ from the norm of Icelandic farm sites in terms of species composition and burning states. It is concluded that the Surtshellir remains are not derived from a typical domestic context. The residues of carbonized flesh consistent of those observed in experimentations were observed in the archaeological assemblage suggesting the complete combustion of fleshed animal parts occurred in the hearth structure, as distinct of disposal of food waste, a pattern consistent with disposal of burnt offerings.

Le Québec répertorie officiellement sur son territoire un seul et unique fleuve, le Saint-Laurent. Cependant, la Commission de toponymie du Québec présente une définition qui devrait englober au moins vingt-huit autres rivières. La présente étude tente de rendre compte de cette situation en retraçant les processus évolutifs de l’utilisation du générique « fleuve », par son origine étymologique et son implantation en Amérique. La méthodologie utilisée privilégie une approche comparative de ses définitions sociales et physiques chez les différentes communautés francophones. Le passé et la mentalité des explorateurs et des premiers colons du continent, ainsi que des premiers toponymistes du Québec, seront analysés afin d’illustrer l’impact et le rôle qu’ils ont eus dans les différents processus toponymiques. L’importance du fleuve Saint-Laurent en lien avec l’identité québécoise sera exposée afin de démontrer les raisons pour lesquelles il est le seul cours d’eau possédant le générique « fleuve » dans la province. Le système toponymique québécois sera ensuite analysé afin de comprendre pourquoi un changement tel que l’ajout de vingt-huit fleuves à la nomenclature québécoise serait difficile à effectuer, mais néanmoins souhaitable et quels seraient les impacts d’un tel changement.