Introduction: La réinstitution de l’alimentation entérale en deçà de 24h après une chirurgie digestive semble a priori conférer une diminution du risque d’infections de plaie, de pneumonies et de la durée de séjour. Le but de cette étude est de vérifier l’effet de la reprise précoce de l’alimentation entérale sur la durée de séjour hospitalier suite à une chirurgie colique. Méthodes: Il s’agit d’une étude prospective randomisée dans laquelle 95 patients ont été divisés aléatoirement en deux groupes. Dans le groupe contrôle, la diète est réintroduite lorsque le patient passe des gaz ou des selles per rectum, et qu’en plus il n’est ni nauséeux ni ballonné. Les patients du groupe expérimental reçoivent pour leur part une diète liquide dans les 12 heures suivant la chirurgie, puis une diète normale aux repas subséquents. L’objectif primaire de cette étude est de déterminer si la réinstitution précoce de l'alimentation entérale post chirurgie colique diminue la durée de séjour hospitalier lorsque comparée au régime traditionnel de réintroduction de l’alimentation. Les objectifs secondaires sont de quantifier l’effet de la réintroduction précoce de la diète sur les morbidités periopératoires et sur la reprise du transit digestif. Résultats: La durée de séjour hospitalier a semblé être légèrement diminuée dans le groupe expérimental (8,78±3,85 versus 9,41±5,22), mais cette difference n’était pas statistiquement significative. Des nausées ou des vomissements furent rapportés chez 24 (51%) patients du bras experimental et chez 30 (62.5%) patients du groupe contrôle. Un tube nasogastrique a du être installé chez un seul patient du groupe experimental. La morbidité périopératoire fut faible dans les deux groupes. Conclusion: Il semble sécuritaire de nourrir précocément les patients suite à une chirurgie colique. Cependant cette étude n’a pu démontrer un impact significatif de la reintroduction précoce de l alimentation per os sur la durée de séjour hospitalier. / Introduction: of early feeding within 24 hours of intestinal surgery seems advantageous in terms of reduction of wound infection, pneumonia and length of hospital stay. The aim of the study is to evaluate the impact of early enteral nutrition in length of hospital stay in comparison to traditional postoperative feeding regimen. Method: This prospective study enrolled 95 patients randomized in two groups: control group patients receive enteral feeding in absence of nausea or vomiting, abdominal distension and after passage of flatus or stools, while patients in experimental group were fed a liquid diet within 12 hours of surgery, followed by a regular diet at the next meal. The primary endpoint was the impact of early oral feeding on hospital length of stay. The secondary endpoint was to measure the impact of the diet reintroduction modality on the incidence of early postoperative morbidity and return of bowel function. Result: Length of hospital stay was slightly diminished in the experimental group compared to control (8,78±3,85 versus 9,41±5,22), but the difference was not statistically significant. Postoperative nausea and vomiting were reported in 24 (51,0%) patients in experimental group and 30 (62,5%) in control group. Only one patient required nasogastric tube insertion. The majority of patients did not demonstrate any postoperative morbidity in both groups. Conclusion: Early enteral nutrition is safe after intestinal surgery. However we did not demonstrate that early enteral feeding diminished length of hospital stay or hastened the return of bowel function.

Les problèmes de toxicomanie sont très communs chez les schizophrènes. L’administration chronique d’antipsychotiques pourrait être impliquée dans cette cooccurrence en induisant une hypersensibilisation du système dopaminergique. Précédemment, nous avons démontré chez le rat qu’un traitement continu (via une mini-pompe osmotique sous-cutanée), et non pas intermittent (via des injections journalières sous-cutanées), avec l’halopéridol a augmenté la capacité de l’amphétamine à potentialiser un comportement de recherche de récompense. Dans cette étude, nous avons étudié les effets d’un antipsychotique atypique soit l’olanzapine comparé à l’halopéridol. Un traitement continu avec l’halopéridol, et non pas l’olanzapine, a augmenté la capacité de l’amphétamine de potentialiser la poursuite d’une récompense conditionnée (lumière/son préalablement associés à l’eau). De plus, un traitement continu avec l’halopéridol a augmenté l’induction par l’amphétamine de l’activité locomotrice et l’expression d’ARNm pour le c-fos (marqueur fonctionnel d’activité cellulaire) dans le caudé-putamen. Donc, un traitement continu avec un antipsychotique typique, et non pas atypique, a augmenté les caractéristiques motivationnelles attribuées à un stimulus neutre. Ceci est potentiellement lié à au développement d’un état de sensibilisation comportementale aux effets de l’amphétamine et à une augmentation de la capacité de l’amphétamine de susciter la modulation de l’activité du caudé-putamen. Ainsi, un antipsychotique typique tel que l’halopéridol semble modifier les circuits de la récompense de façon à contribuer à des comportements caractérisés par une recherche et une consommation de drogues d’abus alors qu’un antipsychotique atypique tel que l’olanzapine aurait moins tendance à le faire. Nous suggérons que les antipsychotiques atypiques pourraient être une meilleure option chez les patients schizophrènes à risque d’avoir un trouble de consommation de drogues d’abus ou de toxicomanie. / Substance abuse problems are excessively common in schizophrenia. Chronic antipsychotic treatment might be involved in this co-morbidity by inducing supersensitivity in the brain’s dopamine system. We have shown previously in the rat that continuous (via osmotic subcutaneous minipump), but not intermittent (via daily subcutaneous injection), treatment with haloperidol potentiates the ability of amphetamine to enhance the pursuit of a conditioned reward. Here, we assessed the effects of the atypical antipsychotic olanzapine. Continuous treatment with haloperidol, but not with olanzapine, enhanced the capacity of amphetamine to potentiate the pursuit of a conditioned reward (a light-tone stimulus previously paired with water). In addition, continuous haloperidol treatment augmented both amphetamine-induced locomotion and striatal c-fos mRNA expression. These effects were either absent or less pronounced following continuous olanzapine treatment. Thus, continuous treatment with a typical, but not with an atypical, antipsychotic enhanced the incentive motivational properties of a reward cue, and this was potentially linked to the development of behavioural supersensitivity to amphetamine and to a greater ability of amphetamine to engage the caudate-putamen. Thus, a typical antipsychotic like haloperidol appears to modify the brain’s reward system in ways that could contribute to drug-seeking and drug-taking behaviour, but an atypical antipsychotic like olanzapine might be less likely to do so. We suggest that atypical antipsychotics might be a preferential option in schizophrenic patients at risk for drug abuse or addiction.

Devenir mère à l’adolescence peut représenter une situation d’adversité et est associée à des impacts délétères possibles sur la vie de la jeune mère et de ses enfants. Être victime de violence de la part de son partenaire peut aussi représenter une adversité importante, notamment en regard de ses conséquences préjudiciables sur la santé. Cumulées, ces deux adversités peuvent sérieusement compromettre le parcours de vie d’une jeune femme. Cependant, des jeunes mères surmontent ces adversités. S’appuyant sur un cadre de référence composé par l’approche intersectionnelle et la perspective des parcours de vie, cette thèse permet une meilleure compréhension des différentes composantes d’une trajectoire de résilience en contexte de double adversité. Une part importante de cette thèse permet aussi de mieux documenter le contexte de la maternité précoce vécue dans un contexte de violence conjugale, une situation peu étudiée au Québec. Des jeunes mères ayant donné naissance précocement dans un contexte relationnel adverse qui estiment avoir surmonté ces obstacles et qui sont reconnues comme étant résilientes par les intervenants avec qui elles sont en contact participent à cette étude exploratoire. Ces 19 femmes ont partagé leur histoire par le biais d’entretiens individuels ou d’entretiens de groupe. Des observations participantes échelonnées sur neuf mois complètent cette collecte de données, permettant une meilleure compréhension et contextualisation de la maternité précoce et des défis qui lui sont associés. Leurs propos, retranscris puis analysés de façon séquentielle selon une démarche inspirée des stratégies d’analyse de théorisation ancrée, sont au cœur de l’analyse. Le modèle théorique de la résilience présenté dans cette thèse est constitué de cinq composantes : l’adversité, le point tournant, les processus, les facteurs promoteurs et les facteurs de vulnérabilités. Des indicateurs pouvant témoigner de la présence d’une trajectoire de résilience sont aussi proposés. Parmi les résultats importants de cette étude, notons l’importance de la maternité comme point tournant dans la vie de ces jeunes femmes. En effet, la maternité module la trajectoire de résilience notamment en leur permettant de créer un lien significatif avec leur bébé et de développer un sentiment de responsabilité face à celui-ci. Cette étude permet aussi de mieux cerner les processus permettant le déploiement d’une trajectoire de résilience : 1) Créer un milieu de vie sain pour l’enfant, 2) S’activer face au contexte relationnel adverse, 3) Mobiliser et utiliser les ressources disponibles et 4) Se servir du passé pour aller vers l’avant : (ré)investir les habiletés et ressources développées lors d’adversités antérieures. Les facteurs promoteurs, tout comme les facteurs de vulnérabilité, s’inscrivent dans une lecture systémique et relèvent de différents niveaux écologiques. Alors que les premiers constituent des points d’ancrage sur lesquels peuvent s’appuyer le déploiement et le maintien d’une trajectoire résiliente, les seconds fragilisent cette trajectoire. Les retombées possibles de cette étude pour l’intervention et la recherche dans le domaine de la promotion de la santé sont aussi abordées, notamment sous forme de pistes de réflexion et d’action. / Giving birth at a young age may represent a situation of adversity affecting the life of young women and their children. Being a victim of violence at the hands of an intimate partner also represents an important source of adversity, notably because this may lead to numerous consequences on health. Jointly, those two sources of adversity can seriously affect a life course trajectory. However, young mothers may overcome those obstacles. Based on a joint intersectional approach and a life course perspective, this study allows for a better understanding of the different components of a resilience trajectory in a context of dual adversity. As very few studies done in Quebec exist on this subject, an important part of this thesis is also devoted to expanding the literature on early pregnancy in a context of intimate violence. Young mothers who gave birth in a context of adversity (victims of relational violence), who identified themselves as resilient and who were recognised as such by the counsellors with whom they are in contact, participated in this exploratory study. These 19 women shared their stories through in-depth and group interviews. Additionally, field observations allowed for a better understanding and contextualization of early pregnancy and its associated challenges. Their words and stories, transcribed and then analyzed sequentially in a manner inspired by grounded theory analysis strategies, are at the center of the analysis. The theoretical model of a resilience trajectory presented in this thesis has five components: the source(s) of adversity, the turning point, the processes, the promoting factors, and the vulnerability factors. Indicators that can help identify a resilience trajectory are also proposed. One of the notable aspects that emerges from this study is the importance of maternity as a turning point. Indeed, motherhood accentuates the resilience of these women’s life course trajectory, mainly by allowing them to create a bond with their baby, who depends on them for his or her survival and needs. This study also provides a better understanding of the processes that helped these mothers overcome difficulties: 1) building a life setting better suited for their child ; 2) activating themselves in regards to their toxic relationships; 3) mobilizing and using existing resources and 4) using the past to move forward: (re)investing in skills and knowledge gained through previous adversities. The promoting factors, as well as the vulnerability factors, are rooted in a systemic lecture and can be associated to various ecological levels. While the formers represent elements upon which a resilience trajectory may originate and expand, the latters may weaken that trajectory. Possible outcomes of this study for health promotion research and intervention are discussed, notably in terms of future action and reflection.

Les troubles du Spectre Autistique (TSA) sont des troubles neuro-développementaux, d'apparition précoce et qui affectent le développement de l'individu tout au long de sa vie. La prévalence des TSA est estimée aux alentours de 1% de la population générale. Des interventions précoces peuvent minimiser le handicap résultant de ce trouble et améliorer la qualité de vie et l'insertion sociale des enfants. L'opportunité de bénéficier d'une intervention précoce dépend de l'âge du diagnostic. Aujourd'hui, l'âge moyen du diagnostic des TSA en France est de 5 ans en moyenne. Un diagnostic précoce est pourtant possible dès l'âge de 24 mois. Un dépistage précoce des TSA permettrait de diminuer l'âge du diagnostic et par conséquent l'âge du début de l'intervention, maximisant ainsi les bénéfices. L'objectif général de ce travail, organisé autour de 3 études, est de participer à l'amélioration des pratiques de dépistage et de diagnostic précoce des TSA en évaluant la pertinence de différents outils pour aider les professionnels à repérer et orienter les enfants à risque de TSA. La première étude a pour objectif d'évaluer la faisabilité d'un dépistage systématique des TSA chez les enfants âgés de 24 mois. Un dispositif de dépistage a été développé avec pour préalables la formation des professionnels de première ligne et la validation d'outils de dépistage spécifiques aux TSA : le CHAT et le M-CHAT. La seconde étude a pour objectif d'améliorer l'orientation diagnostique des enfants repérés pour une suspicion de TSA. Dans cette optique, cette étude vise à évaluer la pertinence de l'utilisation du module 1 de l'ADOS-G pour confirmer ou infirmer la présence d'un risque de TSA chez les enfants de moins de 3 ans. Enfin, l'objectif de la dernière étude est d'évaluer l'apport éventuel des données issues de l'évaluation développementale dans le dispositif. L'évaluation développementale des enfants permet de mettre en évidence leur profil et ainsi de proposer un plan d'intervention dans l'attente de la confirmation diagnostique. Les résultats de ces études témoignent de la possibilité de repérer les enfants à risque de TSA à 24 mois. Les professionnels impliqués dans la pratique de dépistage ont aujourd'hui à leur disposition deux outils validés sur un échantillon français: le CHAT et le M-CHAT. Ces outils présentent des propriétés psychométriques satisfaisantes pour une utilisation en population générale. L'utilisation du module 1 de l'ADOS-G permet de différencier les enfants de moins de 3 ans présentant un TSA des enfants avec une autre problématique développementale. Cet outil apparaît donc important pour améliorer la spécificité du dépistage précoce. L'évaluation développementale apporte quant à elle des informations sur les profils des enfants avec un TSA, marqués notamment par des déficits dans les domaines de l'imitation et du jeu. Les implications cliniques de ces études sont discutées et de nouvelles pistes de recherche sont proposées.

La crise alimentaire de 2008 a suscité un regain d'intérêt pour les questions agricoles et de sécurité alimentaire dans les pays en développement. Partant du constat que près de 27% de la population d'Afrique Sub-saharienne souffre de malnutrition, cette thèse a pour objectif de contribuer à une meilleure compréhension des causes complexes de l'insécurité alimentaire. Le premier chapitre étudie les mécanismes de transmission des variations du prix mondial du riz aux prix domestiques dans trois pays ouest-africain: le Sénégal, le Tchad et le Mali. Les résultats indiquent que le prix du riz importé à Dakar et le prix du riz local à Bamako répondent de façon asymétrique aux variations du prix mondial. Le chapitre 2 teste la présence d'obstacles aux échanges agricoles entre pays d'Afrique de l'Ouest et du Centre. Il ressort de l'analyse que le passage des frontières est coûteux. Toutefois, le coût associé au passage de la frontière est plus faible entre pays membre d'une même union économique et monétaire. Le chapitre 3 a pour objectif le renforcement des systèmes d'alertes précoces des crises alimentaires existants au Sahel. Il montre qu'il est possible d'anticiper les crises de prix avec six mois d'avance en analysant les mouvements passés des prix des céréales. Enfin, le chapitre 4 s'intéresse à la vulnérabilité des ménages face aux chocs pluviométriques. Il révèle que les ménages ruraux au Burkina Faso n'ont pas la capacité d'assurer ou d'absorber ces chocs climatiques.

Les preuves archéologiques, découvertes entre 1980 et 2004 lors des fouilles dans la ville de Sant'Arcangelo (Potenza, Basilicate- Italie), sont concentrées dans le quartier nouvellement construit de San Brancato, situé à environ 280 m au-dessus du niveau de la mer sur la terrasse inférieure de la colline qui domine la vaste vallée de la rivière Agri. Les fouilles ont découvert, dans la partie orientale de la terrasse, les traces de l’ établissement et, vers l'ouest, les zones de la nécropole qui compte plus de 500 de l'époque lucanienne, que sont l’ objet de cette recherche. Ce grand nombre de sépultures et leurs riches mobiliers montrent que cette nécropole devait être liée à un important établissement qui a été formé au moment de la «crise», lorsque les centres enotriens disparaissent. Ce projet de recherche proposait de réunir toutes les données issues de l’analyse de la documentation d’archive réalisée lors des campagnes de fouilles des contextes archéologiques de San Brancato entre 1980 et 2004, relatives à la période située entre la fin du Ve et le IIIe s. av. J.-C. En ce qui concerne la nécropole, nous avons proposé de confronter toutes les données du mobilier funéraire déjà étudié et intégral, dans ce travail, avec le mobilier restauré restant des tombes non publiées et autant que possible, avec certains non restaurés. À travers la documentation de fouilles et cartographique, nous avons en outre aussi proposé d’identifier précisément les points exacts où a été découvert le matériel inédit relatif à d’autres types de contextes (structures, fosses et un four), aujourd’hui conservé au Musée Archéologique National de la Siritide à Policoro, qui est actuellement le seul témoignage d’un établissement plusieurs fois cité dans les publications . À travers l'étude topographique et l'analyse de la culture matérielle, des rituels et des pratiques funéraires, nous avons cherché à comprendre la communauté qui a vécu dans ce établissement, encore peu exploré, et nous avons eu pour but de fournir un cadre détaillé de la situation historico-archéologique de San Brancato en rapport avec les autres centres de la Lucanie antique. / Archaeological evidence, brought to light between 1980 and 2004 during the excavations in the town of Sant’Arcangelo (Potenza, Basilicata- Italy) are concentrated in the newly built district of San Brancato, located about 280 m above sea level on the lower terrace of the hill that dominates the wide valley of the Agri river. The excavations discovered, in the eastern part of the terrace, traces of the settlement and, toward west, the necropolis areas that counts about 600 burials: 60 are related to the Iron Age and more than 500 dating from the Lucanian period, which is the object of this research. This large number of burials and their rich grave goods shows that this necropolis was to be linked to an important settlement that was formed at the time of "crisis", when the Enotrian centers disappear, such as the nearby site Alianello located on the opposite bank of the Agri river. The aim of this research was to gather all the data obtained from the analysis of the archive documentation carried out during the excavation campaigns of the archaeological contexts of San Brancato dated between the end of the 5th and the 3rd century. B.C. For the necropolis, all the data of the already published grave goods were confronted and integrated with the remaining unpublished tombs. Through the excavation and cartographic documentation, we have also proposed to precisely identify the exact points where all the unpubblished material, now hosted at the National Archaeological Museum of Siritide in Policoro and related to other types of contexts - currently the only testimonies of an settlement that has been quoted several times in the publications- were discovered. Through the topographic study and analysis of funerary rituals, burial practices and material culture, we aimed to understand the community that lived in this settlement, still little explored, and we aimed to provide a detailed framework of the historicalarchaeological situation of San Brancato in relation to the other centers of ancient Lucania.

Depuis la célèbre classification d’Edwin Hubble dans les années 30, il est coutume de définir unegalaxie comme appartenant soit au groupe des galaxies dites de type tardif (late-type galaxiesabr´eg´e LTGs) soit à celui des galaxies dites de type précoce (early-type galaxies ou ETGs). Lafamille des LTGs est principalement composée de galaxies spirales (S) quand la famille des ETGsregroupe les galaxies lenticulaires (S0) et elliptiques (E). L’étude morphologique de ces galaxies arévélé qu’environ 60% des LTGs et 45% des S0 présentent une barre. Par ailleurs, il a été montréque dans l’Univers local les galaxies pouvaient être séparées en deux grands ensembles : le nuagebleu composé majoritairement de LTGs et la séquence rouge peuplée principalement par les ETGs.Plusieurs mécanismes sont à l’origine de cette distribution et l’évolution séculaire en est évidemmentun point majeur. Un nombre important de recherches ont montré l’importance des barres sur ladynamique et l’évolution d’une galaxie. Le but de ma th`ese est d’´etudier `a quel point la formationd’une barre et l’évolution qui s’ensuit influe sur l’évolution des ETGs. Pour ce faire j’ai réalisédes simulations à N-corps de galaxies barrées (et non barr´ees) qui m’a permis d´étudier les pointssuivants.Je me suis tout d’abord penché sur l’impact de la présence d’une barre dans une galaxie sur unemodélisation de cette dernière par un modèle supposant une ditribution de masse axisymmétrique.Ce genre de modélisation permettant de déterminer le rapport masse/luminosité M/L et donc lamasse d’une galaxie observée mais ´egalement son inclinaison et son anisotropie, il est importantd’estimer l’impact de la présence d’une barre sur ces paramètres. J’ai donc montré qu’en fonctionde l’inclinaison de la galaxie et de la position de la barre par rapport à l’observateur, le rapportM/L était très souvent surestimé avec des erreurs allant jusqu’`a 25%. La taille et la force de labarre sont également apparus comme des facteurs importants mais une étude plus approfondies’imposerait afin de quantifier ce résultat.D’autre part, je me suis intéressé à l’impact d’une barre sur la distribution de masse et de métauxdans une galaxie lenticulaire. J’ai tout d’abord confirmé que la présence d’une barre, de partson influence sur la dynamique d’un système, applatissait les gradients de métallicité. De plusj’ai montré que le degrés d’aplatissement ainsi que la position des zones affectées peuvent êtredirectement mis en relation avec la structure de la barre et notament avec la localisation desrésonances dynamiques. Néanmoins l’influence purement dynamique d’une barre n’explique pasà elle seule les gradients d’âges et de m´etallicité observés. L’étude de l’influence d’un potentielgravitationnel barré sur la dynamique du gaz et donc sur la formation stellaire est donc égalementà prendre un compte. Cela fait l’objet des dernières simulations produites qui permettront de mieuxcomprendre l’influence global d’une barre sur l’évolution séculaire des galaxies de type précoce. / Since the 30’s and Edwin Hubble’s famous classification, galaxies are usually separated in twogroups : the late-type galaxies (LTGs) and the early-type galaxies (ETGs). The LTGs family ismainly made of spiral galaxies (S) while the ETGs family is composed of elliptical (E) and lenticular(S0) galaxies. A morphological study of all these galaxies revealed that around 60% of LTGs and45% of S0 present a bar. It has also been shown that, in the local Universe, galaxies fall into twobig groups : the blue cloud mostly populated by LTGs and the red sequence mainly made of ETGs.Several mechanisms are responsible for this distribution and the secular evolution is obviously animportant one to examine, sepcially in the context of bars, as an important number of studiesshowed the importance of bars in the dynamics and evolution of a galaxy.The goal of my thesis is to study the importance of the formation and ensued bar-drivenevolution influence on ETGs evolution. In that context, I have performed N-body simulations ofbarred (and unbarred) galaxies in order to investigate the following issues.First of all, I focused on the influence of a bar in a galaxy when modelling it with a dynamicalmodel assuming an axisymmetric mass distribution. As these kinds of models allow to determine themass-to-light ratio M/L, thus the dynamical mass of an observed galaxy, but also its inclinationand its anisotropy, it is important to evalute the consequence of the presence of a bar on theseparameters. I have shown that, depending on the galaxy inclination and the bar position angle,M/L is most of the time biased and overestimated, and this can be up to 25%. The size andstrength of the bar also seem to be important factors but a deeper study has to be done to quantifythis preliminary result.In a second step, I have studied the role of bars on the mass and metallicity redistributionsin a lenticular galaxy. I confirmed that the presence of a bar, due to its influence on its hostsystem dynamics, flattens pre-existing metallicity gradients. Moreover, I showed that the degree offlattening and the position of affected regions are directly correlated with the bar structure and thelocation of the dynamical resonances. Nonetheless, this dynamical effect cannot explain the varietyof observed ages and metallicity gradients. The consequences of a barred gravitational potentialon the gas dynamics and the stellar formation should therefore be investigated. This is the topicof the last set of numerical simulations produced which will allow to better understand the globalinfluence a bar has on the secular evolution of ETGs.

Les travaux présentés dans cette thèse portent sur la modélisation, la spécification et la vérification des modèlesdes Systèmes sur Puce (SoCs) au niveau d’abstraction transactionnel et à un niveau d’abstraction plus élevé.Les SoCs sont hétérogènes: ils comprennent des composants matériels et des processeurs pour réaliser le logicielincorporé, qui est en lien direct avec du matériel. La modélisation transactionnelle (TLM) basée sur SystemCa été très fructueuse à fournir des modèles exécutables des SoCs à un haut niveau d’abstraction, aussi appelésprototypes virtuels (VPs). Ces modèles peuvent être utilisés plus tôt dans le cycle de développement des logiciels,et la validation des matériels réels. La vérification basée sur assertions (ABV) permet de vérifier les propriétés tôtdans le cycle de conception de façon à trouver les défauts et faire gagner du temps et de l’effort nécessaires pourla correction de ces défauts. Les modèles TL peuvent être sur-contraints, c’est-à-dire qu’ils ne presentent pastous les comportements du matériel. Ainsi, ceci ne permet pas la détection de tous les défauts de la conception.Nos contributions consistent en deux parties orthogonales et complémentaires: D’une part, nous identifions lessources des sur-contraintes dans les modèles TLM, qui apparaissent à cause de l’ordre d’interaction entre lescomposants. Nous proposons une notion d’ordre mou qui permet la suppression de ces sur-contraintes. D’autrepart, nous présentons un mécanisme généralisé de stubbing qui permet la simulation précoce avec des prototypesvirtuels SystemC/TLM.Nous offrons un jeu de patrons pour capturer les propriétés d’ordre mou et définissons une transformationdirecte de ces patrons en moniteurs SystemC. Notre mécanisme généralisé du stubbing permet la simulationprécoce avec les prototypes virtuels SystemC/TLM, dans lesquels certains composants ne sont pas entièrementdéterminés sur les valeurs des données échangées, l’ordre d’interaction et/ou le timing. Ces composants nepossèdent qu’une spécification abstraite, sous forme de contraintes entre les entrées et les sorties. Nous montronsque les problèmes essentielles de la synchronisation entre les composants peuvent être capturés à l’aide de notresimulation avec les stubs. Le mécanisme est générique; nous mettons l’accent uniquement sur les concepts-clés,les principes et les règles qui rendent le mécanisme de stubbing implémentable et applicable aux études de casindustriels. N’importe quel language de spécification satisfaisant nos exigences (par ex. le langage des ordresmou) peut être utilisé pour spécifier les composants, c’est-à-dire il peut être branché au framework de stubbing.Nous fournissons une preuve de concept pour démontrer l’intérêt d’utiliser la simulation avec stubs pour ladétection anticipée et la localisation des défauts de synchronisation du modèle. / The work presented in this thesis deals with modeling, specification and testing of models of Systems-on-a-Chip (SoCs) at the transaction abstraction level and higher. SoCs are heterogeneous: they comprise bothhardware components and processors to execute embedded software, which closely interacts with hardware.SystemC-based Transaction Level Modeling (TLM) has been very successful in providing high-level executablecomponent-based models for SoCs, also called virtual prototypes (VPs). These models can be used early in thedesign flow for the development of the software and the validation of the actual hardware. For SystemC/TLMvirtual prototypes, Assertion-Based Verification (ABV) allows property checking early in the design cycle,helping to find bugs early in the model and to save time and effort that are needed for their fixing. TL modelscan be over-constrained, which means that they do not represent all the behaviors of the hardware, and thus,do not allow detection of some malfunctions of the prototype. Our contributions consist of two orthogonal andcomplementary parts: On the one hand, we identify sources of over-constraints in TL models appearing due tothe order of interactions between components, and propose a notion of loose-ordering which allows to removethese over-constraints. On the other hand, we propose a generalized stubbing mechanism which allows the veryearly simulation with SystemC/TLM virtual prototypes.We propose a set of patterns to capture loose-ordering properties, and define a direct translation of thesepatterns into SystemC monitors. Our generalized stubbing mechanism enables the early simulation with Sys-temC/TLM virtual prototypes, in which some components are not entirely determined on the values of theexchanged data, the order of the interactions and/or the timing. Those components have very abstract speci-fications only, in the form of constraints between inputs and outputs. We show that essential synchronizationproblems between components can be captured using our simulation with stubs. The mechanism is generic;we focus only on key concepts, principles and rules which make the stubbing mechanism implementable andapplicable for real, industrial case studies. Any specification language satisfying our requirements (e.g., loose-orderings) can be used to specify the components, i.e., it can be plugged in the stubbing framework. We providea proof of concept to demonstrate the interest of using the simulation with stubs for very early detection andlocalization of synchronization bugs of the design.

La fin de l'âge du Fer, la conquête et la création de la civitas Tungrorum ont, depuis le XIXe s. fait l'objet d'un grand intérêt historique et produit une abondante littérature. On ne compte plus les tentatives de localisation de l'oppidum des Atuatuques et de la bataille de la Sabis, ni les contributions relatives aux monnaies gauloises de nos régions. Par ailleurs, un grand nombre de sites ont fait l'objet de recherches de terrain, que ce soit dans le cadre de fouilles de programme ou, plus récemment, de chantiers préventifs. Pourtant, jusqu'à aujourd'hui, aucune synthèse basée sur les données archéologiques ne permettait de se faire une idée du mode de vie des populations locales avant la Guerre des Gaules, de replacer plus globalement nos régions dans le cadre culturel et chronologique de la Gaule septentrionale laténienne, ou encore de mesurer l'évolution des populations indigènes au travers de la conquête et de la romanisation.Ce travail vise à combler ces lacunes par une étude approfondie et globale des vestiges matériels appartenant aux phases C et D de la période laténienne et aux premiers horizons gallo-romains, soit une période qui s’étend grosso modo entre le milieu du IIIe s. av. n. è. et la fin du premier quart du Ier s. de n. è. Le cadre géographique a été défini sur base des limites du plus ancien ensemble territorial connu, à savoir la civitas Tungrorum gallo-romaine dont les frontières ont perduré à travers les circonscriptions ecclésiastiques médiévales. Trois objectifs ont été définis :premièrement, il était nécessaire de préciser la chronologie des sites et des objets de la fin de la période laténienne. Deuxièmement, il fallait procéder à une synthèse des données relatives au mobilier et aux occupations, afin de mettre en évidence les territoire occupés, les pratiques régionales, les échanges ainsi que l'évolution des groupes et de leur culture matérielle. Troisièmement, il fallait explorer, sous l’angle de l’archéologie, les problématiques dictées par le contexte historique particulier de notre zone géographique. Les sources littéraires antiques et les historiens contemporains ont suggéré que les populations locales avaient été massivement exterminées lors de la conquête, et que la cité aurait pu être recomposée au départ de populations péri-rhénanes déplacées par le pouvoir romain et de ce qu'il restait des groupes indigène. Ce modèle, ainsi que les propositions de localisation des territoires tribaux laténiens, reposaient principalement sur l’interprétation des textes antiques, et devait impérativement faire l’objet de vérifications attentives par le biais de l’étude des traces matérielles.Ces priorités ont guidé un cheminement progressif à travers les données, ordonnées et rassemblées peu à peu, jusqu’à ce qu’un tableau plus général puisse être esquissé. L’ordre des chapitres reflète celui de la démarche. Le premier chapitre vise à définir le cadre dans lequel s’inscrit le territoire étudié, avec un état des lieux de l’histoire des recherches et un aperçu des contextes géographique, historique et chronologique propres au territoire de la civitas Tungrorum. Le chapitre suivant est dévolu à l’étude approfondie de 50 ensembles de mobilier provenant d’une série de 17 occupations laténiennes et gallo-romaines précoces réparties dans la zone d’étude (ch. 2). Les assemblages de matériel céramique ont été examinés de manière exhaustive, en mettant notamment l’accent sur la mise en évidence de critères discriminants (forme, matériau, technique de fabrication) d’un point de vue chronologique ou régional. Le corpus ainsi constitué et les ressources bibliographiques ont servi de base à un examen plus général de la culture matérielle, par une analyse (caractérisation, chronologie et distribution spatiale) des principales catégories de mobilier qui nous sont parvenues (ch. 3). Ces études ont permis de mettre en évidence des traditions de production et de consommation dans les régions étudiées, et de révéler l’existence de réseaux d’échange et d’approvisionnement. Ce tour d’horizon a été complété par un examen approfondi des modalités d’occupation du sol visant à mettre en évidence les pratiques régionales en matière d’habitat, de fortification ou encore de rites funéraires et cultuels (ch. 4). Enfin, nous avons tenté de produire une synthèse rassemblant les résultats de ces études, par la mise en évidence d’entités régionales caractérisées par une communauté de pratiques, et leur intégration plus globale dans le contexte du nord de la Gaule (ch. 5). Ce dernier chapitre est également dévolu à la confrontation des données historiques et archéologiques selon la série des problématiques définies précédemment, à savoir la localisation des territoires tribaux cités par César, l'extermination des populations régionales au moment de la conquête, l'éventuelle arrivée de groupes péri-rhénans destinés à repeupler la cité et la persistance des traditions laténiennes locales à travers la conquête et la romanisation. / Doctorat en Histoire, histoire de l'art et archéologie / info:eu-repo/semantics/nonPublished

Shea Creek est un gisement d'uranium liée à la discordance entre un socle métamorphique et des roches sédimentaires d'origine fluviatile, d'âge Paléo-protérozoïque et situé dans la partie ouest du bassin d'Athabasca. Ce gisement majeur est le plus profond connu actuellement dans le bassin (entre 680 m et 1000 m de profondeur). Il rassemble en un même lieu tous les types de minéralisation associés à une discordance connus de par le monde. Cette étude s'appuie sur l'analyse de plus de 1200 échantillons du halo d'altération qui entoure le gisement et sur l'utilisation des données d'exploration minière. L'objectif est double. Il s'agit d'une part de déterminer des guides sédimentologiques, pétrographiques, minéralogiques et géochimiques pour la prospection des corps minéralisés en zone profonde et d'autre part d'utiliser ces critères pour construire une représentation tridimensionnelle simplifiée (minéralisation et halo d'altération) permettant de préciser le modèle génétique de ce gisement profond. La localisation des différentes zones minéralisées dépend non seulement des phénomènes d'altération liés aux circulations hydrothermales contrôlées par la tectonique, mais aussi de la nature du remplissage sédimentaire et de son évolution diagénétique. L'architecture de la zone minéralisée de Shea Creek montre que les corps minéralisés sont localisés dans des structures en grabben remplies par des alternances de grès propres et de grès argileux souvent préservés de la compaction et de l'altération. La signature minéralogique et géochimique de ces grès suggère un apport provenant de l'érosion de paléo-altérites continentales (régolithe). La très forte concentration en défauts d'ir / Shea Creek is an unconformity-type uranium deposit located in the west part of Atabaska basin. It is related to an unconformity between a metamorphic basement and sedimentary rocks of fluvial origin, of paleoproterozoic age. Shea Creek's particularity is to be the deepest ore deposit ever known in the basin (between 680 m and 1000 m deep). It gathers all types of unconformity hosted mineralization known. More than 1200 samples, taken from halo alteration around the deposit, were analyzed and mining exploration data were used for this study. First, the aim was to determine the markers for prospection of mineral elements in deep area: sedimentological, petrographical, geochemical and mineralogical types. Then, it was to build a simple three-dimensional model (mineralization and alteration halo) using these criteria in order to precise the genetic pattern of this deep deposit. The location of mineralized areas depends on tectonic deformation, on sedimentary filling and diagenetic development. The morphology of Shea Creek’s ore deposit shows clearly that mineralization is located in the grabbens composed by clean sandstones and clay sandstones, often preserved from compaction and alteration phenomena. The mineralogical and geochemical signature of these clay sandstones suggests a contribution from the erosion of continental paleo-alterite (regolith). Beside, the great concentration of radiation induced defects suggests the presence in abundance of uranium in the grabbens from sedimentary state.