Pour réduire le coût des Circuits Intégrés (CIs), les entreprises de conception se tournent de plus en plus vers des fonderies basées dans des pays à faible coût de production (outsourcing). Cela a pour effet d’augmenter les menaces sur les circuits. En effet, pendant la fabrication,le CI peut être altéré avec l’insertion d’un circuit malicieux, appelé cheval de Troie Matériel (CTM). Ceci amène les vendeurs de CI à protéger leurs produits d’une potentielle insertion d’un CTM, mais également, d’en assurer l’authenticité après fabrication (pendant la phase de test).Cependant, les CTMs étant furtifs par nature, il est très difficile, voire impossible de les détecter avec les méthodes de test conventionnel, et encore moins avec des vecteurs de test aléatoires. C’est pourquoi nous proposons dans le cadre de cette thèse, des méthodes permettant de détecter et de prévenir l’insertion de CTM dans les CIs pendant leur fabrication.Ces méthodes utilisent des approches orientées test logique pour la détection de CTM aussi bien en phase de test (après fabrication du CI) qu’en fonctionnement normal (run-time).De plus, nous proposons des méthodes de prévention qui elles aussi s’appuient sur des principes de test logique pour rendre difficile, voire impossible l’insertion de CTM aussi bien au niveau netlist qu’au niveau layout. / In order to reduce the production costs of integrated circuits (ICs), outsourcing the fabrication process has become a major trend in the Integrated Circuits (ICs) industry. As an inevitable unwanted side effect, this outsourcing business model increases threats to hardware products. This process raises the issue of un-trusted foundries in which, circuit descriptions can be manipulated with the aim to possibly insert malicious circuitry or alterations, referred to as Hardware Trojan Horses (HTHs). This motivates semiconductor industries and researchers to study and investigate solutions for detecting during testing and prevent during fabrication, HTH insertion.However, considering the stealthy nature of HTs, it is quite impossible to detect them with conventional testing or even with random patterns. This motivates us to make some contributions in this thesis by proposing solutions to detect and prevent HTH after fabrication (during testing).The proposed methods help to detect HTH as well during testing as during normal mode(run-time), and they are logic testing based.Furthermore, we propose prevention methods, which are also logic testing based, in order tomake harder or quasi impossible the insertion of HTH both in netlist and layout levels.

Les caractéristiques de la ressource occupent une place prépondérante à toutes les étapes des processus d'ingestion et de sélection alimentaire par les herbivores, à court et à long terme. Par une approche expérimentale, nous avons contribué à une meilleure compréhension des adaptations mises en place par les chevaux confrontés à des variations de la qualité et de la hauteur de la végétation offerte.<br> A partir de l'analyse de données individuelles d'ingestion mesurées à l'auge pour une large gamme de fourrages, nous avons montré que les chevaux pouvaient compenser dans une certaine mesure une faible valeur nutritive du fourrage par une augmentation du niveau d'ingestion. Tous les individus n'ont pourtant pas exprimé la même réponse face à la diminution de la qualité de leur ressource. A partir de deux expériences conduites au pâturage, nous avons montré que lorsque les chevaux avaient le choix d'ajuster leur temps d'alimentation entre deux couverts variant uniquement en hauteur, ou simultanément en hauteur et en qualité, ils pouvaient maintenir un niveau d'ingestion de MSD relativement constant. Bien que la vitesse d'ingestion instantanée de MS digestible ait été plus élevée sur les couverts les plus accessibles, la déplétion des couverts au cours de la journée a probablement nivelé les vitesses d'ingestion moyennes réalisées sur l'ensemble des couverts, ce qui pourrait expliquer, au moins en partie, la constance des quantités ingérées journalières de MS digestible. Les résultats obtenus au pâturage et à l'auge s'inscrivent dans une relation générale montrant que lorsque la concentration en énergie et en azote de la ressource diminue, les chevaux peuvent maintenir leur niveau d'ingestion de façon à couvrir leurs besoins alimentaires.<br> En situation de choix binaire entre des sites d'alimentation dont la qualité était proche, les chevaux ont pâturé préférentiellement les couverts les plus hauts sur lesquels ils ont maximisé leurs vitesse d'ingestion de MS et de MS digestible (en accord avec les théories d'optimisation). À mesure que le couvert le plus haut est devenu mature, et donc que le compromis entre la qualité et la hauteur de la ressource est devenu important, les chevaux ont reporté leur temps d'alimentation sur les couverts les plus courts de meilleure qualité, bien que la vitesse d'ingestion de MS digestible soit restée plus élevée sur le couvert le plus haut. Nous avons montré que ce comportement est en relation avec la nécessité de satisfaire les besoins azotés, le choix des sites sélectionnés par les animaux pouvant s'expliquer par la vitesse d'ingestion instantanée de matières azotées digestibles permise par les couverts végétaux. Au cours de la journée, les chevaux n'ont pour autant pas exprimé des choix strictement optimaux, ne pâturant pas exclusivement le couvert le plus profitable. Dans l'étude où hauteur et qualité de l'herbe ont varié simultanément, le partage du temps d'alimentation entre les différents sites a probablement permis d'équilibrer leur régime sur la base de l'azote et de l'énergie.<br> Par la modulation de leur temps de pâturage sur les différents sites d'alimentation, les chevaux ont été capables d'adapter leur comportement à l'hétérogénéité de leur environnement, afin de maintenir un régime de bonne qualité et de satisfaire leurs besoins nutritionnels. Quelques perspectives de recherche sont proposées afin d'aboutir à des recommandations en terme de gestion de l'alimentation de ces herbivores et des prairies pâturées. Enfin, nous concluons sur la contribution de cette thèse à la compréhension des relations entre grands herbivores et ressources végétales.

La mondialisation et la déverticalisation des métiers du semi-conducteur a mené cette industrie à sous-traiter certaines étapes de conception et souvent la totalité de la fabrication. Au cours de ces étapes, les circuits intégrés (CIs) sont vulnérables à des altérations malignes : les chevaux de Troie matériels (HTs). Dans les applications sécuritaires, il est important de garantir que les circuits intégrés utilisés ne soient pas altérés par de tels dispositifs. Afin d'offrir un niveau de confiance élevé dans ces circuits, il est nécessaire de développer de nouvelles techniques de test pour détecter les HTs, aussi légers et furtifs soient-ils. Cette thèse étudie les menaces et propose deux approches originales de test post-fabrication pour détecter des HTs implantés après synthèse. La première technique exploite des capteurs de courant incorporés au substrat (BBICS), originalement conçus pour identifier les défauts transitoires dans les CIs. Dans notre cas, ils fournissent une signature numérique obtenue par analyse statistique permettant de détecter tout éventuel HT, même au niveau dopant. La deuxième proposition est une méthode non intrusive pour détecter les HTs dans les circuits asynchrones. Cette technique utilise la plateforme de test du circuit et ne requiert aucun matériel supplémentaire. Elle permet la détection de HTs dont la surface est inférieure à 1% de celle du circuit. Les méthodes et les techniques-,- mises au point dans cette thèse-,- contribuent donc à réduire la vulnérabilité des CIs aux HTs soit par adjonction d'un capteur (BBICS), soit en exploitant les mécanismes de test s'il s'agit de circuits asynchrones. / The world globalization has led the semiconductor industry to outsource design and fabrication phases, making integrated circuits (ICs) potentially more vulnerable to malicious modifications at design or fabrication time: the hardware Trojans (HTs). New efficient testing techniques are thus required to disclose potential slight and stealth HTs, and to ensure trusted devices. This thesis studies possible threats and proposes two new post-silicon testing techniques able to detect HTs implanted after the generation of the IC netlist. The first proposed technique exploits bulk built-in current sensors (BBICS) -- which are originally designed to identify transient faults in ICs -- by using them as testing mechanisms that provide statistically-comparable digital signatures of the devices under test. With only 16 IC samples, the testing technique can detect dopant-level Trojans of zero-area overhead. The second proposition is a non-intrusive technique for detection of gate-level HTs in asynchronous circuits. With this technique, neither additional hardware nor alterations on the original test set-up are required to detect Trojans smaller than 1% of the original circuit. The studies and techniques devised in this thesis contribute to reduce the IC vulnerability to HT, reusing testing mechanisms and keeping security features of original devices.

La fièvre Q est une zoonose de répartition mondiale due à une bactérie intracellulaire stricte, Coxiella burnetii. Les ruminants domestiques contaminent l’environnement en excrétant la bactérie principalement dans les produits de parturition, le mucus vaginal et les fèces. L’Homme et l’animal s’infectent ensuite par inhalation de pseudo-spores circulantes dans l’environnement. Des enjeux de santé publique et vétérinaires ont ainsi motivés la mise en place de ce projet de thèse afin de mieux maîtriser les infections par C. burnetii dans les élevages. Les objectifs de ce travail étaient de produire des connaissances épidémiologiques descriptives sur : (a) la dynamique de circulation de C. burnetii en élevage ovin naturellement infecté ; (b) la diversité génotypique des souches de C. burnetii circulantes dans les élevages de ruminants domestiques en France ; (c) la diversité phénotypique de ces souches via l’utilisation de deux modèles de virulence, un in vivo et un in vitro ; et (d) l’implication du cheval dans l’épidémiologie de la fièvre Q, en étudiant son exposition à C. burnetii ainsi qu’une potentielle symptomatologie.Le suivi longitudinal réalisé en élevage ovin a permis de fournir des indicateurs pertinents à utiliser pour évaluer rapidement le risque de transmission de C. burnetii en contexte infectieux, en termes de lots d’animaux, d’outils diagnostics ou encore de périodes d’échantillonnage à privilégier. Par ailleurs, nous avons également identifié trois grands clusters génotypiques de souches circulantes dans les élevages de ruminants domestiques en contexte d’avortement fièvre Q en France. Deux clusters génotypiques regroupent majoritairement les petits ruminants, dont un principalement les ovins et l’autre les caprins. Le troisième cluster génotypique est composé quasi-exclusivement de bovins. Nous avons montré que le gène IS1111 impacte significativement la diversité génotypique MLVA observée. Nous avons également montré qu’en plus d’une spécificité d’espèce, les génotypes circulants en France sont stables d’un point de vue spatio-temporel. Pour l’étude phénotypique, nous avons mis au point deux modèles d’infection, l’un in vivo par inoculation dans le coussinet plantaire de souris mâle CD1 et l’autre in vitro par infection de deux lignées cellulaires macrophagiques : l’une bovine (SV40) et l’autre ovine (MoCl4). Ces modèles nous ont permis d’identifier 4 clusters phénotypiques, qui n’étaient pas systématiquement corrélés aux trois clusters génotypiques, identifiés in vivo à partir de l’analyse de la charge bactérienne dans la rate de souris, ni aux cinétiques de multiplication de C. burnetii observés in vitro. Enfin, les séroprévalences obtenues chez le cheval dans une zone considérée hyperendémique pour l’Homme (Camargue et Plaine de La Crau) suggèrent que les chevaux sont exposés à la fièvre Q dans cette région et pourrait éventuellement être utilisés comme des indicateurs pertinents du risque zoonotique. Néanmoins, nos résultats ne nous permettent pas de conclure sur les formes cliniques potentiellement associées à la fièvre Q chez le cheval. À l’avenir, les résultats obtenus dans ce travail de thèse permettront une meilleure compréhension de la dynamique de circulation et des conséquences de l’infection par C. burnetii en élevages de ruminants domestiques et de chevaux. Ces données permettront in fine d’améliorer la surveillance, le diagnostic ainsi que la mise en œuvre de mesures de gestion sanitaire de la fièvre Q en santé publique et vétérinaire. / Q fever is a worldwide zoonosis, due to a strict intracellular bacterium: Coxiella burnetii. Domestic ruminants mainly shed the bacteria in parturition products, vaginal mucus and feces. Humans and animals infect by inhalation of circulating pseudo-spores into the environment.Public and veterinary health issues therefore motivated the implementation of this PhD project in order to better control C. burnetii infections on farms. The objectives of this thesis were to provide descriptive epidemiological findings about: (a) circulation dynamics of C. burnetii in a naturally infected flock of sheep; (b) the genotypic diversity of circulating C. burnetii strains on domestic ruminant farms in France; (c) the phenotypic diversity of these strains as demonstrated by the use of two virulence models, one in vivo and one in vitro; and (d) the involvement of horses in the epidemiology of C. burnetii, by studying their exposure and a potential symptomatology.Longitudinal follow-up in a flock of sheep provided relevant tools to rapidly assess the risk of C. burnetii transmission when a flock was identified as infected, in terms of animal pens, diagnostic tools, or sampling periods to be preferred. We also identified three main genotypic groups of circulating strains in domestic ruminant farms in France where Q fever abortion were recorded. Two genotypic groups mainly included small ruminants, with one group mainly composed of sheep and the other mainly composed of goats. The third genotypic group was comprised almost exclusively of cattle. We have shown that the IS1111 gene significantly impacts the genotypic MLVA diversity observed. In addition to this species specificity, we have shown that the circulating genotypes in France were also spatiotemporally stable. We then developed two models of infection, one in vivo by inoculating CD1 male mice in the footpad of and one in vitro by infecting two macrophage cell lines: one bovine (SV40) and one ovine (MoCl4). These two models allowed us to show that the genotypic clusters were not systematically correlated with both the four phenotypic clusters identified in vivo from the analysis of the bacterial load in the mouse spleens and the analysis in vitro of the C. burnetii multiplication kinetics.Finally, the seroprevalence observed in horses within hyperendemic areas for Q fever in humans (Camargue and Plain of La Crau) suggests that horses are exposed to the bacteria in the area and that they may be a relevant indicator of the zoonotic risk. Nevertheless, our results were inconclusive on the clinical forms associated with Q fever in horses.In the future, the findings found in our work will allow a global understanding of the circulation dynamics of C. burnetii on domestic ruminant farms as well as in others animal species. Thus, all these data will ultimately improve surveillance, diagnosis and management of Q fever in public and veterinary health.

À l’heure actuelle, les équidés font l’objet d’intérêts nombreux en tant que richesse patrimoniale. Ces attributs conférés par le droit de propriété permettent l’établissement de conventions de natures variées, comme la vente. L’intérêt est donc de révéler pourquoi l’établissement d’une vente (à l’essai, à l’amiable, aux enchères publiques ou privées, sur internet, judiciaires volontaires ou forcées, après saisie ou à réclamer) sur un équidé soulève tant de difficultés depuis quelques années. La vente de chevaux est soumise à l’interaction de plusieurs codes (Code civil, Code rural, Code de la consommation). Ces textes prévoient de nombreuses divergences avec un meuble inanimé. Parallèlement, la pratique a mis en place des techniques (comme la visite vétérinaire qui précède l’achat) permettant aux contractants de s’engager en connaissance de cause. Par ailleurs, l’application d’une garantie de deux ans (véritable frein à la vente de chevaux) prévue par le code de la consommation dans les ventes conclues entre un professionnel vendeur et un acquéreur amateur. Par conséquent, la multiplicité des qualifications juridiques, en général, et la soumission à des garanties inadaptées, en particulier, incitent le vendeur professionnel à s’évincer des conventions. Désormais, le meilleur gage de protection consisterait à rédiger très précisément le contrat / At present, horses are the subject of many interests as heritage wealth. These attributes conferred by the right of ownership allow the establishment of conventions of various natures, such as sale. The interest is therefore to reveal why the establishment of a sale (trial, amicable, public or private auctions, on the internet, voluntary or forced judicial, after seizure or to claim) on an equine raises so many difficulties in recent years. The sale of horses is subject to the interaction of several codes (civil code, rural code, consumer code). These texts foresee many divergences with an inanimate piece of furniture. At the same time, the practice has put in place techniques (such as the veterinary visit that precedes the purchase) enabling contractors to make an informed commitment. Moreover, the application of a two-year guarantee (a true brake on the sale of horses) provided for by the consumer code in sales between a sales professional and an amateur purchaser. Consequently, the multiplicity of legal qualifications, in general, and the submission to inadequate guarantees, in particular, incite the professional seller to vindicate conventions. From now on, the best guarantee of protection would be to write the contract very precisely

L'asthme équin est une maladie inflammatoire chronique des voies respiratoires inférieures caractérisée principalement par des changements structuraux menant à un épaississement de la paroi des bronches et à l’obstruction du débit d'air. Le traitement de l'asthme équin inverse partiellement ce remodelage. Dans l’asthme, chez l’humain, la démonstration que l'angiogenèse contribue à l'épaississement de la paroi bronchique en augmentant la vascularisation de la muqueuse respiratoire ouvre une nouvelle fenêtre pour un traitement plus ciblé. Cependant, peu d'information est disponible sur le rôle potentiel exercé par l'angiogenèse dans l'asthme équin. L'objectif de cette étude est de documenter la présence d'angiogenèse dans les voies respiratoires inférieures des chevaux asthmatiques. Des échantillons bronchiques récoltés chez sept chevaux asthmatiques éprouvant une exacerbation de la maladie, sept chevaux asthmatiques en rémission clinique et chez sept chevaux sains du même âge ont été étudiés. L'analyse immunohistochimique a été réalisée en utilisant le collagène de type IV comme biomarqueur pour les membranes basales des vaisseaux sanguins. Le nombre de vaisseaux, la densité vasculaire, l'aire vasculaire et les valeurs moyennes de taille des vaisseaux ont été mesurés par histomorphométrie à l'aide d'un logiciel d'analyse d’images (Image J) et les valeurs provenant des trois groupes comparés à l'aide d'une ANOVA à une voie (p <0,05). Un test post hoc Benjamini-Hochberg par paire a été effectué pour corriger le niveau alpha pour les mesures répétées. Une augmentation significative du nombre de vaisseaux chez les chevaux asthmatiques en exacerbation (p = 0,007) et chez les chevaux en rémission (p = 0,02) a été observée par comparaison aux chevaux sains. De plus, l'aire vasculaire était augmentée chez les chevaux souffrant d'asthme en exacerbation comparativement aux chevaux sains (p = 0,02) et ceux en rémission (p = 0,04). Aucune autre différence significative n'a été observée. En conclusion, les voies respiratoires centrales des chevaux asthmatiques présentent des indices d'angiogenèse, ce qui suggère qu'elle puisse contribuer à l'épaississement de la paroi des bronches. D'autres études sont justifiées afin d'évaluer la réponse à un traitement ciblé. / Equine asthma is a chronic inflammatory disease of the lower airways characterized by structural changes that lead to bronchial wall thickening and airflow obstruction. Treatment for equine asthma partially reverse these remodeling changes. Angiogenesis has been shown to increase vascularization of the bronchial mucosa, which contributes to the thickening of the bronchial wall in humans with asthma, opening a new window for a targeted treatment. However, little information is available related to the occurrence of angiogenesis in asthmatic horses. The objective of this study is to document the presence of angiogenesis in the bronchi of asthmatic horses. Bronchial samples from seven asthmatic horses collected during an episode of exacerbation of the disease, seven asthmatic horses in clinical remission, and seven agematched healthy horses were studied. Immunohistochemistry analysis was performed with type IV collagen as a biomarker for basement membranes. The number of vessels, vascular density, vascular area and mean vessel size values were measured by histomorphometry using an image analysis software (Image J) and values from all three groups were compared using a one-way ANOVA (p <0.05). A Benjamini-Hochberg pairwise post hoc-test was performed to correct the alpha level for repeated measurements. A significant increase in the number of vessels in asthmatic horses in exacerbation (p = 0.007) and in horses in remission (p = 0.02) was observed in comparison to controls. Similarly, the vascular area was increased in horses with asthma in exacerbation when compared to controls (p = 0.02) and to horses in remission (p = 0.04). No other significant differences were observed. In conclusion, angiogenesis is present in the central airways of asthmatic horses, suggesting that it may contribute to the thickening of the airway wall. Further studies are warranted in order to assess the response to a targeted treatment.

No description available.

Le travail décrit dans cette thèse porte sur une nouvelle méthodologie de caractérisation des circuits sécurisés basée sur une rétro-conception matérielle partielle : d’une part afin d’améliorer l’injection de fautes laser, d’autre part afin de détecter la présence de Chevaux de Troie Matériels (CTMs). Notre approche est dite partielle car elle est basée sur une seule couche matérielle du composant et car elle ne vise pas à recréer une description schématique ou fonctionnelle de l’ensemble du circuit.Une méthodologie invasive de rétro-conception partielle bas coût, rapide et efficace est proposée. Elle permet d’obtenir une image globale du circuit où seule l’implémentation des caissons des transistors est visible. La mise en œuvre de cette méthodologie est appliquée sur différents circuits sécurisés. L’image obtenue selon la méthodologie déclinée précédemment est traitée afin de localiser spatialement les portes sensibles, voire critiques en matière de sécurité. Une fois ces portes sensibles identifiées, nous caractérisons l’effet du laser sur différentes parties de ces cellules de bases et nous montrons qu’il est possible de contrôler à l’aide d’injections de fautes laser la valeur contenue dans ces portes. Cette technique est inédite car elle valide le modèle de fautes sur une porte complexe en technologie 90 nm. Pour finir une méthode de détection de CTMs est proposée avec le traitement de l’image issue de la rétro-conception partielle. Nous mettons en évidence l’ajout de portes non répertoriées avec l’application sur un couple de circuits. La méthode permet donc de détecter, à moindre coût, de manière rapide et efficace la présence de CTMs. / The work described in this thesis covers an integrated circuit characterization methodology based on a partial hardware reverse engineering. On one hand in order to improve integrated circuit security characterization, on the other hand in order to detect the presence of Hardware Trojans. Our approach is said partial as it is only based on a single hardware layer of the component and also because it does not aim to recreate a schematic or functional description of the whole circuit. A low cost, fast and efficient reverse engineering methodology is proposed. The latter enables to get a global image of the circuit where only transistor's active regions are visible. It thus allows localizing every standard cell. The implementation of this methodology is applied over different secure devices. The obtained image according to the methodology declined earlier is processed in order to spatially localize sensible standard cells, nay critical in terms of security. Once these cells identified, we characterize the laser effect over different location of these standard cells and we show the possibility with the help of laser fault injection the value they contain. The technique is novel as it validates the fault model over a complex gate in 90nm technology node.Finally, a Hardware Trojan detection method is proposed using the partial reverse engineering output. We highlight the addition of few non listed cells with the application on a couple of circuits. The method implementation therefore permits to detect, without full reverse-engineering (and so cheaply), quickly and efficiently the presence of Hardware Trojans.

Avec la mondialisation du marché des semi-conducteurs, l'intégrité des circuits intégrés (CI) est devenue préoccupante... On distingue deux menaces principales : les chevaux de Troie matériel (CTM) et les contrefaçons. La principale limite des méthodes de vérification de l’intégrité proposées jusqu'à maintenant est le biais induit par les variations des procédés de fabrication. Cette thèse a pour but de proposer une méthode de détection embarquée de détection de CTM et de contrefaçons. À cette fin, une caractérisation de l'impact des modifications malveillantes sur un réseau de capteurs embarqué a été effectuée. L'addition malicieuse de portes logiques (CTM) ou la modification de l'implémentation du circuit (contrefaçons) modifie la distribution de la tension à la l'intérieur du circuit. Une nouvelle approche est proposée afin d'éliminer l'influence des variations des procédés. Nous posons que pour des raisons de cout et de faisabilité, une infection est faite à l'échelle d'un lot de production. Un nouveau modèle de variation de performance temporelle des structures CMOS en condition de design réel est introduit. Ce modèle est utilisé pour créer des signatures de lots indépendantes des variations de procédé et utilisé pour définir une méthode permettant de détecter les CTMs et les contrefaçons.Enfin nous proposons un nouveau distingueur permettant de déterminer, avec un taux de succès de 100%, si un CI est infecté ou non. Ce distingueur permet de placer automatiquement un seuil de décision adapté à la qualité des mesures et aux variations de procédés. Les résultats ont été expérimentalement validés sur un lot de cartes de prototypage FPGA. / Due to the trend to outsourcing semiconductor manufacturing, the integrity of integrated circuits (ICs) became a hot topic. The two mains threats are hardware Trojan (HT) and counterfeits. The main limit of the integrity verification techniques proposed so far is that the bias, induced by the process variations, restricts their efficiency and practicality. In this thesis we aim to detect HTs and counterfeits in a fully embedded way. To that end we first characterize the impact of malicious insertions on a network of sensors. The measurements are done using a network of Ring oscillators. The malicious adding of logic gates (Hardware Trojan) or the modification of the implementation of a different design (counterfeits) will modify the voltage distribution within the IC.Based on these results we present an on-chip detection method for verifying the integrity of ICs. We propose a novel approach which in practice eliminates this limit of process variation bias by making the assumption that IC infection is done at a lot level. We introduce a new variation model for the performance of CMOS structures. This model is used to create signatures of lots which are independent of the process variations. A new distinguisher has been proposed to evaluate whether an IC is infected. This distinguisher allows automatically setting a decision making threshold that is adapted to the measurement quality and the process variation. The goal of this distinguisher is to reach a 100\% success rate within the set of covered HTs family. All the results have been experientially validated and characterized on a set of FPGA prototyping boards.

Soils in many regions in North America, including Quebec, are selenium (Se) deficient. To date, no field study has been conducted in Quebec regarding the Se status of horses. The objectives of this study were (1) to measure plasma Se in horses from different geographical locations in the province of Quebec and (2) to survey the Se consumption of the sampled horses. Four samplings were done on 59 horses over a 1-year period. Plasma was analyzed for Se, vitamin E and GSH-Px. Hay, concentrate and water were also analyzed for Se. Horses were classified in four groups for statistical analysis according to their forage:concentrate consumption respectively: group 1- 100% : 0%; group 2- 75-99% : 1-24%; group 3- 51-74% : 25-49%; group 4- < 50% : ≥ 50%. Owners were asked questions from a survey questionnaire at each visit. Results demonstrate that plasma Se varies according to BCS (P = 0.031) (n = 224 measures, 1 measure/horse/season), the season (P = 0.015) and the feeding group (P< 0.001). Plasma vitamin E was affected by the sex (P = 0.047) (mares: n = 37, geldings: n = 18, stallions: n = 4), the exercise level (P< 0.001) and the season (P< 0.001). GSH-Px activity was influenced by the type of feeding only (P = 0.002). When comparing plasma Se, vitamin E and GSH-Px results along with the answers of the survey questionnaire, it is possible to conclude that feeding practices of horse owners in Quebec are not appropriate to meet the Se requirements of horses. / Les sols de plusieurs régions en Amérique du Nord, incluant le Québec, sont déficients en sélénium (Se). À ce jour, aucune étude sur le terrain n’a été menée au Québec en ce qui concerne le statut en Se des chevaux. Les objectifs de cette étude étaient (1) de mesurer le Se sanguin chez des chevaux de différentes régions du Québec et (2) de recenser la consommation de Se des chevaux échantillonnés. Quatre échantillonnages ont été réalisés sur 59 chevaux durant une période d’un an. Le plasma a été analysé pour les éléments suivants : le Se, la vitamine E (interagit avec le Se en tant qu’antioxydant) et la glutathion peroxydase (GSH-Px). Le foin, les concentrés et l’eau consommés pas les chevaux ont aussi été analysés pour le Se. Les chevaux étaient classés en quatre groupes en raison de leur consommation de fourrages:concentré respectivement : groupe 1 - 100% : 0%; groupe 2- 75-99% : 1-24%; groupe 3- 51-74% : 25-49%; groupe 4- < 50% : ≥ 50%. Les propriétaires ont été sondés à chaque visite en utilisant un questionnaire validé. Les résultats démontrent que le niveau de Se plasmatique varie en fonction de l’état de chair (P = 0.031) (n = 224 mesures, 1 mesure/cheval/saison), de la saison (P = 0.015) et du groupe alimentaire (P< 0.001). La vitamine E plasmatique était influencée par le sexe (P = 0.047) (juments : n = 73, hongres : n = 18, étalons : n = 4), le niveau d’exercice (P< 0.001), et par la saison (P< 0.001). L’activité de la GSH-Px variait en fonction du groupe alimentaire (P = 0.002). À partir des résultats sanguins et des réponses au questionnaire, il est possible de conclure que les pratiques alimentaires des propriétaires de chevaux du Québec ne sont pas appropriées afin de répondre aux besoins en Se des chevaux.