Les hydrocarbures aromatiques polycycliques (HAP) sont produits au cours de processus de pyrolyse et de combustion. Ils se retrouvent dans les sols, souvent à des concentrations importantes. La réhabilitation d'anciens sites pollués par des HAP nécessite un diagnostic initial de la pollution. Dans cette optique, une procédure analytique basée sur la spectrophotométrie UV a été développée et validée sur environ 80 échantillons de sol. Les différentes méthodes d'exploitation des spectres UV des extraits organiques de sol ont conduit au développement d'outils simples et rapides de caractérisation. La méthodologie de laboratoire a été adaptée au terrain et a conduit à la réalisation d'un kit de caractérisation rapide des HAP. L'ensemble des résultats est donné en 20 minutes.

Cette thèse est consacrée au problème de la comparaison de deux partitions non strictes (floues/probabilistes, possibilistes) d'un même ensemble d'individus en plusieurs clusters. Sa résolution repose sur la définition formelle de mesures de concordance reprenant les principes des mesures historiques développées pour la comparaison de partitions strictes et trouve son application dans des domaines variés tels que la biologie, le traitement d'images, la classification automatique. Selon qu'elles s'attachent à observer les relations entre les individus décrites par chacune des partitions ou à quantifier les similitudes entre les clusters qui composent ces partitions, nous distinguons deux grandes familles de mesures pour lesquelles la notion même d'accord entre partitions diffère, et proposons d'en caractériser les représentants selon un même ensemble de propriétés formelles et informelles. De ce point de vue, les mesures sont aussi qualifiées selon la nature des partitions comparées. Une étude des multiples constructions sur lesquelles reposent les mesures de la littérature vient compléter notre taxonomie. Nous proposons trois nouvelles mesures de comparaison non strictes tirant profit de l'état de l'art. La première est une extension d'une approche stricte tandis que les deux autres reposent sur des approches dite natives, l'une orientée individus, l'autre orientée clusters, spécifiquement conçues pour la comparaison de partitions non strictes. Nos propositions sont comparées à celles de la littérature selon un plan d'expérience choisi pour couvrir les divers aspects de la problématique. Les résultats présentés montrent l'intérêt des propositions pour le thème de recherche qu'est la comparaison de partitions. Enfin, nous ouvrons de nouvelles perspectives en proposant les prémisses d'un cadre qui unifie les principales mesures non strictes orientées individus.

Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2016-07-13T15:30:28Z No. of bitstreams: 2 Dissertação - Nathalia Bragato - 2015.pdf: 2818133 bytes, checksum: 41fd54a7924c0c46c940cda51cda9f8a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-07-14T11:31:04Z (GMT) No. of bitstreams: 2 Dissertação - Nathalia Bragato - 2015.pdf: 2818133 bytes, checksum: 41fd54a7924c0c46c940cda51cda9f8a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-07-14T11:31:04Z (GMT). No. of bitstreams: 2 Dissertação - Nathalia Bragato - 2015.pdf: 2818133 bytes, checksum: 41fd54a7924c0c46c940cda51cda9f8a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2015-08-24 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / Acute kidney injury (AKI) resulting from toxic or ischemic insults and usually affect the tubular portion of the nephron, the use of potentially nephrotoxic drugs such as gentamycin one of the main causes. Early detection allows the AKI appropriate intervention may prevent or mitigate damage to the tubular cell and the development of acute renal failure (ARF). Diagnosis requires a combination of techniques, and be effective employment ultrasonography associated with laboratory tests. Ultrasound allows assessment of morphology and renal echogenicity by taking on bi-dimensional mode (B-mode) and renal hemodynamics through the assessment with pulsed Doppler with resistivity and pulsatility indices calculation. In this study, AKI was induced in six dogs with 30mg/kg of gentamicin once a day, for 10 days, in order to confirm the importance of B-mode and pulsed Doppler ultrasound for the diagnosis, monitoring and prognosis determination. Dogs were followed for 45 days by clinical examination, urinalysis, serum urea and creatinine, urinary GGT dosing and ultrasound. Six healthy dogs were used as control group and followed the same moments. The results of this study demonstrated that ultrasound is earlier than changes in laboratory diagnosis of ARI, and is useful for monitoring and prognosis determination, since the ultrasound aspect returned to normal in most dogs after recovery and dogs with ARF had higher values of the volume, of the Doppler indices and the degree of echogenicity. / A lesão renal aguda resulta principalmente da ação de agentes nefotóicos e de isquemia renal que geralmente afetam a porção tubular do néfron, sendo o uso de medicamentos potencialmente nefrotóxicos, como a gentamicina, umas das principais causas. A detecção precoce da lesão renal aguda permite a intervenção apropriada podendo prevenir ou atenuar o dano à célula tubular e o desenvolvimento da insuficiência renal aguda (IRA). O diagnóstico requer a associação de técnicas, sendo eficaz o emprego do exame ultrassonográfico associado aos exames laboratoriais. A ultrassonografia permite a avaliação da morfologia e da ecogenicidade renal por meio do exame em modo bidimensional (modo B) e da hemodinâmica renal por meio da avaliação com o Doppler pulsado pelo cálculo dos índices de resistividade e pulsabilidade. No presente estudo a lesão renal aguda foi induzida em seis cães, com o uso de 30mg/kg de gentamicina uma vez ao dia, durante dez dias, com o objetivo de confirmar a importância da ultrassonografia em modo B e Doppler pulsado para o diagnóstico, acompanhamento e determinação do prognóstico. Os cães foram acompanhados durante 45 dias por meio de exame clínico, exame de urina, dosagem sérica de ureia e creatinina, dosagem de GGT urinária e exame ultrassonográfico. Seis cães saudáveis foram utilizados como grupo controle e acompanhados nos mesmos momentos. Os resultados deste estudo demonstraram que a ultrassonografia foi capaz de diagnosticar a lesão renal aguda mais precocemente que as alterações laboratoriais, além de ser útil para o acompanhamento e determinação do prognóstico, uma vez que o aspecto ultrassonográfico voltou à normalidade na maioria dos cães após a recuperação e, os cães que desenvolveram IRA apresentaram valores mais elevados do volume, dos índices Doppler e do grau de ecogenicidade.

Nos travaux portent sur la réduction de la dose de rayonnement lors d'examens réalisés avec le Système de radiologie EOS. Deux approches complémentaires sont étudiées. Dans un premier temps, nous proposons une méthode de débruitage et de rehaussement de contraste conjoints pour optimiser le compromis entre la qualité des images et la dose de rayons X. Nous étendons le filtre à moyennes non locales pour restaurer les images EOS. Nous étudions ensuite comment combiner ce filtre à une méthode de rehaussement de contraste multi-échelles. La qualité des images cliniques est optimisée grâce à des fonctions limitant l'augmentation du bruit selon la quantité d’information locale redondante captée par le filtre. Dans un deuxième temps, nous estimons des indices d’exposition (EI) sur les images EOS afin de donner aux utilisateurs un retour immédiat sur la qualité de l'image acquise. Nous proposons ainsi une méthode reposant sur la détection de points de repère qui, grâce à l'exploitation de la redondance de mesures locales, est plus robuste à la présence de données aberrantes que les méthodes existantes. En conclusion, la méthode de débruitage et de rehaussement de contraste conjoints donne des meilleurs résultats que ceux obtenus par un algorithme exploité en routine clinique. La qualité des images EOS peut être quantifiée de manière robuste par des indices calculés automatiquement. Étant donnée la cohérence des mesures sur des images de pré-affichage, ces indices pourraient être utilisés en entrée d'un système de gestion automatique des expositions. / We aim at reducing the ALARA (As Low As Reasonably Achievable) dose limits for images acquired with EOS full-body system by means of image processing techniques. Two complementary approaches are studied. First, we define a post-processing method that optimizes the trade-off between acquired image quality and X-ray dose. The Non-Local means filter is extended to restore EOS images. We then study how to combine it with a multi-scale contrast enhancement technique. The image quality for the diagnosis is optimized by defining non-parametric noise containment maps that limit the increase of noise depending on the amount of local redundant information captured by the filter. Secondly, we estimate exposure index (EI) values on EOS images which give an immediate feedback on image quality to help radiographers to verify the correct exposure level of the X-ray examination. We propose a landmark detection based approach that is more robust to potential outliers than existing methods as it exploits the redundancy of local estimates. Finally, the proposed joint denoising and contrast enhancement technique significantly increases the image quality with respect to an algorithm used in clinical routine. Robust image quality indicators can be automatically associated with clinical EOS images. Given the consistency of the measures assessed on preview images, these indices could be used to drive an exposure management system in charge of defining the optimal radiation exposure.

Le NbSe[indice inférieur 2] est un supraconducteur de type II. Il passe de la phase normale à la phase onde de densité de charge à T[indice inférieur ODC 33] ~ K et devient supraconducteur à T[indice inférieur c] = 7, 2 K. Ces deux phases coexistent à basses températures. Les expériences de microscopie à effet tunnel peuvent mesurer ces deux phases. Dans le cadre de ce projet, les expériences ont été réalisées à une température de ~300 mK sur un échantillon de NbSe[indice inférieur 2] réutilisé quatre fois. Les études portent sur le comportement du gap supraconducteur du NbSe[indice inférieur 2] en fonction du champ magnétique qui a été pris sur une gamme de 0 T [inférieur ou égal] H [inférieur ou égal] 10 T. Un bref survol de la théorie de la supraconductivité, en passant par les équations thermodynamiques, l'approche de Ginzburg-Landau, les équations de Bogoliubov-de Gennes et la théorie quasiclassique d'Eilenberger, est présenté. Les principales composantes, tant mécaniques qu'électroniques, essentielles aux expériences, se retrouvent détaillées dans ce document. Les expériences ont été effectuées sur trois grands volets. Le régime des faibles champs magnétiques, le régime des champs moyens et les hauts champs magnétiques. Le but du projet consiste à étudier et comprendre les diverses structures, apparaissant dans le gap supraconducteur en fonction du champ magnétique, dans le NbSe[indice inférieur 2]. Pour le régime des faibles champs, des vortex sont présents avec des quasiparticules localisées en leur centre. Des filaments qui partent d'un coeur de vortex apparaissent à une énergie nulle et tournent en fonction de l'énergie. Enfin, le régime supraconducteur est présent dans la majorité du matériau. Pour le régime des champs moyens, le contraste dans la conductance devient de plus en plus faible entre les régions supraconductrices et les régions normales. Le pic de conductance à l'énergie nulle, présent pour H= 1 T, disparait pour H= 2, 5 T. Les filaments ne sont plus visibles et le paramètre d'ordre est de moins en moins présent pour la gamme d'énergies du gap supraconducteur. Finalement, pour le régime des hauts champs magnétiques, le comportement supra-conducteur est détruit. Sur toutes les gammes de champs magnétiques étudiées dans nos expériences à savoir jusqu'à H= 10 T, il est possible d'observer une structure que plusieurs chercheurs associent au gap de l'onde de densité de charge. Le matériau, à haut champ magnétique, possède donc une onde de densité de charge tout en ayant perdu le caractère supraconducteur.

Le système immunitaire végétal se base sur la présence de récepteurs intracellulaires de type NB-LRR afin de se défendre contre les pathogènes. Un NB-LRR active la réponse immunitaire suite à la détection de protéines d’origine pathogénique nommées effecteurs. Les NB-LRR se divisent en différents groupes selon le domaine N-terminal qu’ils possèdent soit un CC, un TIR ou un CC[indice inférieur R]. Les CC[indice inférieur R]-NB-LRR forment une famille atypique de NB-LRR qui se divise elle-même en deux groupes, les ADR1-like et les NRG1-like. Contrairement aux NB-LRR dits classiques, les CC[indice inférieur R]-NB-LRR ne détectent pas d’effecteurs provenant des pathogènes. En fait, les CC[indice inférieur R]-NB-LRR seraient des NB-LRR auxiliaires nécessaires à la cascade de signalisation de la réponse immune, enclenchée suite à la détection d’un effecteur par un NB-LRR classique. Les CC[indice inférieur R]-NB-LRR se distinguent également des NB-LRR classiques de par leur niveau de conservation chez les végétaux : chaque plante possède au minimum un type de CC[indice inférieur R]-NB-LRR. Alors qu’ADR1-like est ubiquitaire chez les monocotylédones et les dicotylédones, NRG1-like est absent du génome des monocotylédones et de quelques dicotylédones. L’absence de NRG1-like corrèle avec l’absence de TIR-NB-LRR dans ces génomes et propose un lien fonctionnel exclusif entre les NRG1-like et les TIR-NB-LRR. L’omniprésence du groupe ADR1-like et des CC-NB-LRR suggère aussi un lien fonctionnel entre ces deux groupes. Il est toutefois possible que la fonction de NB-LRR auxiliaire des groupes ADR1-like et NRG1-like soient partiellement redondante, ou additive, pour la réponse immune. Afin de confirmer la nécessité des CC[indice inférieur R]-NB-LRR pour les réponses de défenses médiées par les NB-LRR et pour en plus discriminer les besoins entre les groupes ADR1-like et NRG1-like, des mutants adr1 ou nrg1 ont été testés quant à leur capacité à compléter la réponse de défense initiée par différents NB-LRR classiques. Les résultats préliminaires suggèrent que le groupe ADR1-like n’est pas nécessaire pour les réponses de défense médiée par les TIR-NB-LRR RPS6 chez Arabidopsis thaliana et N chez Nicotiana benthamiana. L’absence de l’un des deux représentants NRG1-like d’Arabidopsis thaliana, soit NRG1.1 ou NRG1.2, n’affecte aucune réponse de défense médiée par un TIR-NB-LRR ou un CC-NB-LRR. L’homologie élevée de 73% entre ces deux protéines indique possiblement une fonction redondante. Un double mutant nrg1 a été produit afin de poursuivre l’investigation de la fonction du groupe NRG1-like dans les réponses de défense. Puisque les gènes NRG1.1 et NRG1.2 sont arrangés en tandem dans le génome d’Arabidopsis thaliana, une méthode optimisée permettant de sélectionner un événement de recombinaison méiotique rare entre deux allèles mutantes nrg1.1 et nrg1.2 a été choisie pour produire le double mutant. Avec une méthode indirecte, il a été démontrée que la lignée AB possède un évènement de recombinaison entre ces deux allèles mutantes puisqu’une plante double mutant nrg1 homozygote a été récupérée dans sa progéniture. Les résultats préliminaires obtenus avec cette plante double mutant nrg1 homozygote suggèrent que le groupe NRG1-like serait nécessaire pour la réponse de défense médiée par le TIR-NB-LRR RPS4 et suggèrent également qu’une plante dépourvue de NRG1-like aurait un phénotype de croissance retardée ou ralentie, en plus d’une morphologie foliaire distincte. Il est également connu que le domaine N-terminal CC[indice inférieur R] des CC[indice inférieur R]-NB-LRR d’Arabidopsis thaliana peut à lui seul induire une réponse de défense lorsque surexprimé chez N.benthamiana. Afin de trouver des protéines interagissant avec ce domaine et de caractériser sa localisation cellulaire, des plantes d’Arabidopsis thaliana transgéniques surexprimant le domaine CC[indice inférieur R] de NRG1.1 couplé à la eYFP:HA ont été produites. Le matériel obtenu permettra spécialement de poursuivre la caractérisation du groupe NRG1-like sur lequel peu d’information est disponible à ce jour. Il sera également possible de déterminer le niveau de redondance entre les deux groupes de CC[indice inférieur R]-NB-LRR quant à leur nécessité pour les réponses de défenses médiées par les NB-LRR suite à la production d’un quintuple mutant adr1/nrg1 d’Arabidopsis ne possédant plus aucun CC[indice inférieur R]-NB-LRR.

Les besoins énergétiques de la population mondiale ne cessent de croître, cette croissance est beaucoup plus attribuée à la venue de nouveaux consommateurs des pays émergents. Les réserves de gisement de pétrole fossile, principale source d’énergie de notre civilisation ne suivant pas la demande, la recherche de nouvelles sources d’énergie ou compléments énergétiques de ceux classiques demeure un challenge important pour l’avenir de notre société. Les batteries au lithium demeurent une réponse dite énergie renouvelable pour la lutte que se livrent les pays du globe pour limiter l’échéance de la fin des énergies nécessaires à la survie de notre système économique. Cette batterie offre des performances énergétiques plus grandes que celle alcaline par exemple. Ce travail s’inscrit dans la lignée de l’amélioration continue de la technologie des batteries lithium- ion. Cette amélioration passe par l’optimisation des différentes composantes des piles au lithium comme les électrodes (anode et cathode) et les électrolytes (solvants et ion principal à base de lithium). Ainsi, ce travail comporte trois parties. Dans un premier temps, nous avons investigué de nouveaux solvants dits liquides ioniques à base de phosphonium, ces solvants étant tous des précurseurs respectifs de tri-n-buthylphosphine et tri-n-éthylphosphine (TBPhexTFSI, TBPmetTFSI, TBPhoxTFSI, TBPmetOetTFSI, TEPhexTFSI et TEPhoxTFSI, voir la liste des abréviations). Le choix de ces liquides ioniques à base de phosphonium a été fait dans l’optique de la recherche de ceux ayant les meilleures propriétés chimico-physiques et électrochimiques. De ce fait, les mesures de ces propriétés physico-chimiques comme leur conductivité, viscosité, stabilité thermique ont été effectuées. La supériorité des liquides à base de phosphonium ayant des cations à chaîne oxygénée sur ceux non oxygénées a été démontrée. La conductivité du TBPhoxTFSI respectivement supérieure à celle du TBPhexTFSI et la viscosité de TBPhoxTFSI est inférieure à celle du TBPhexTFSI). Cette étude a aussi démontré l’importance d’avoir des liquides ioniques de phosphonium à cation asymétrique de petite dimension pour bénéficier des meilleures propriétés chimico-physiques, notamment les conductivités des TEPhexTFSI et TEPhoxTFSI étant meilleures que celle du TBPhexTFSI et TBPhoxTFSI. Les études électrochimiques, notamment la voltampérométrie cyclique à balayage, ont permis d’étudier les fenêtres de potentiel électrochimique de certains de ces liquides ioniques. Il a été démontré que les liquides ioniques ayant un cation à chaîne carbonylée asymétrique courte et non oxygénée ont des fenêtres de potentiel électrochimique plus large (respectivement 5 et 5,5V pour le TBPmetTFSI et TEPhexTFSI). Notre étude s’est basée seulement sur deux liquides ioniques ayant pour précurseur la tri-n-buthylphosphine : le TBPmetTFSI et le TBPhoxTFSI. Le choix de ces deux liquides ioniques de phosphonium découle aussi des études effectuées sur leurs propriétés chimico-physiques intéressantes. Dans l’amélioration des composantes des batteries lithium-ion, la recherche des meilleures électrodes demeure aussi un enjeu stratégique important dans cette technologie. Les cathodes à plus grande capacité énergétique sont dans cette logique. Les cathodes des piles rechargeables au lithium sont composées de matériaux du type oxydes mixtes des métaux de transition. Un des facteurs importants du choix de ces matériaux est la diffusion rapide du lithium dans leur structure interne c’est-à-dire la vitesse des réactions d’intercalations et de désintercalations des ions de lithium pendant le fonctionnement de ces types de piles. Les matériaux dits à structure cristalline olivine type LiFePO[indice inférieur 4] ont eu une grande percée il y a environ 10 ans. De nos jours ils sont encore présents, mais de façon améliorée par l’ajout des additifs de carbone généralement dans un pourcentage de 7 à 10% en poids et prennent le nom de LiFePO[indice inférieur 4]/C. Nous avons ainsi réussi à synthétiser par approche sol-gel le LiFePO[indice inférieur 4]/C ; ce matériau a ensuite été caractérisé par diffraction à rayon-X, par microscope électronique à balayage (MEB) et comparé à ce matériau de LiFePO[indice inférieur 4] commercial de la compagnie MTI Corporation. Deux conditions expérimentales ont été utilisées pour les caractérisations électrochimiques de ces cathodes de LiFePO[indice inférieur 4] commercial et LiFePO[indice inférieur 4]/C, soit dans les électrolytes classiques 1M LiPF[indice inférieur 6]–EC-DMC (3/7 vol) et dans les électrolytes mixtes 1M LiPF[indice inférieur 6]–EC-DMC (3/7 vol.) + x TBPmetTFSI ou TBPhoxTFSI. Les voltampérogrammes cycliques obtenus dans ces conditions classiques et mixtes ont démontré que les liquides ioniques TBPmetTFSI et TBPhoxTFSI pouvaient être utilisés comme additifs aux solvants classiques jusqu’à des concentrations de 50% en volume de ceux classiques comme EC-DMC (3/7 vol.) tout en favorisant les processus d’intercalation et dedésintercalation du lithium durant le cycle de fonctionnement des batteries lithium-ion. La quasi-réversibilité des pics redox dans ces proportions des liquides ioniques est un indice de bon fonctionnement des batteries lithium-ion avec des électrolytes mixtes composés de solvants classiques et de liquides ioniques à base de phosphonium.

Depuis quelques décennies, le syndrome d'immunodéficience acquise a causé la mort de millions de personnes. La recherche des dernières années a permis de caractériser l'agent causal, le virus de l'immunodéficience humaine, d'identifier des cibles thérapeutiques ainsi que de développer des drogues permettant de contrôler la réplication de ce virus. Toutefois, nous constatons l'émergence de souches virales résistantes à un ou plusieurs des médicaments disponibles. De plus, bien qu'elle permette de bien contrôler la réplication du virus, la thérapie actuelle ne permet pas son éradication et il n'existe aucun vaccin efficace pour la prévention de l'infection. Le virus persiste ainsi dans certaines cellules infectées, lesquelles formeront un réservoir viral. Les monocytes représentent une population cellulaire favorable à la formation d'un tel réservoir viral. Leur dissémination et leur accumulation dans les ganglions lymphatiques constitueraient une étape critique dans la persistance du virus. Les mécanismes menant à la migration des monocytes vers les ganglions lymphatiques sont actuellement méconnus. Les travaux réalisés dans le cadre de cette thèse avaient pour objectif de mieux comprendre les évènements immunologiques et moléculaires contrôlant la migration des monocytes vers les ganglions lymphatiques. Dans un premier temps, nous avons démontré le rôle de la prostaglandine E[indice inférieur 2], une cytokine produite massivement au cours de l'infection, dans le contrôle de l'expression du récepteur de chimiokine CCR7 chez les monocytes. Ce récepteur est responsable de la migration des leucocytes vers les ganglions lymphatiques sous l'action chimiotactique des chimiokines CCL19 et CCL21. Nous avons démontré qu'une exposition des monocytes à la prostaglandine E[indice inférieur 2] entraînait une augmentation de leur migration vers ces chimiokines. Nous avons caractérisé les voies de signalisation intracellulaire activées par la prostaglandine E[indice inférieur 2] menant à l'expression de CCR7 chez les monocytes. Nous avons ainsi établi que la synthèse d'AMPc résultant de l'activation des récepteurs EP[indice inférieur 2] et EP[indice inférieur 4] entraînait l'expression de CCR7 chez les monocytes. Nous avons ensuite démontré l'implication des kinases PKA, ERK et p38 dans ce processus. Dans un second temps, nous avons vérifié l'effet de l'infection par le virus de l'immunodéficience humaine sur l'expression et la fonctionnalité du récepteur CCR7 chez les monocytes exposés à la prostaglandine E[indice inférieur 2]. Notre modèle expérimental démontre que l'exposition des monocytes au virus de l'immunodéficience humaine diminue le niveau de surface ainsi que la fonctionnalité du récepteur CCR7. Toutefois, la prostaglandine E[indice inférieur 2] augmente l'expression de CCR7 à la surface des monocytes exposés au virus, ce qui résulte en une augmentation de la sensibilité des monocytes pour la chimiokine CCL19. Nos résultats suggèrent que lors de la transmission mucosale du virus de l'immunodéficience humaine, l'exposition des monocytes au virus ainsi qu'à la prostaglandine E[indice inférieur 2] pourrait favoriser la dissémination du virus vers les ganglions lymphatiques. Une meilleure compréhension de la pathogenèse du virus ainsi que des mécanismes menant à la dissémination virale pourrait conduire à l'amélioration de l'approche thérapeutique actuelle.

Security is a key aspect in information systems (IS) development. One cannot build a bank IS without security in mind. In medical IS, security is one of the most important features of the software. Access control is one of many security aspects of an IS. It defines permitted or forbidden execution of system's actions by an user. Between the conception of an access control policy and its effective deployment on an IS, several steps can introduce unacceptable errors. Using formal methods may be an answer to reduce errors during the modeling of access control policies. Using the process algebra EB[superscript 3], one can formally model IS. Its extension, EB[superscript 3]SEC, was created in order to model access control policies. The ASTD notation combines Harel's Statecharts and EB[superscript 3] operators into a graphical and formal notation that can be used in order to model IS. However, both methods lack tools allowing a designer to prove or verify security properties in order to validate an access control policy. Furthermore, the implementation of an access control policy must correspond to its abstract specification. This thesis defines translation rules from EB[superscript 3] to ASTD, from ASTD to Event-B and from ASTD to B. It also introduces a formal architecture expressed using the B notation in order to enforce a policy over an IS. This modeling of access control policies in B can be used in order to prove properties, thanks to the B prover, but also to verify properties using ProB, a model checker for B. Finally, a refinement strategy for the access control policy into an implementation is proposed. B refinements are proved, this ensures that the implementation corresponds to the initial model of the access control policy.

La vitesse de propagation des ondes de cisaillement, V[indice inférieur s], est une propriété caractéristique du sol dans le domaine élastique. Elle est directement reliée au module de cisaillement maximal en ne faisant intervenir uniquement que sa masse volumique. V[indice inférieur s] est mesurée à très petites déformations et en conséquence, il s'agit d'un paramètre qui permet de caractériser le sol d'un point de vue mécanique, sans affecter ses propriétés. L'intérêt de l'utilisation de V[indice inférieur s] comme paramètre de caractérisation géotechnique devient de plus en plus important, surtout avec le développement des méthodes de mesures in situ de ce paramètre, notamment celles utilisant les ondes de surface, qui s'effectuent sans intrusion. Or, pour tirer pleinement avantage des mesures de V[indice inférieur s] in situ, il est essentiel de caractériser en laboratoire les sols en termes de V[indice inférieur s] en fonction des propriétés géotechniques plus usuelles comme par exemple l'indice des vides, la résistance au cisaillement, la contrainte de préconsolidation, etc. Les principales méthodes de mesures de V[indice inférieur s] en laboratoire sont revues.La popularité des bilames piézoélectriques s'explique par la simplicité apparente du concept et de l'appareillage, et par la possibilité d'utiliser ces dispositifs dans la plupart des essais usuels. Les limitations associées à l'utilisation de ces dispositifs sont par ailleurs abordées, tant du point de vue des équipements que de l'interprétation des mesures qui se traduisent par des imprécisions importantes, inacceptables dans une perspective de caractérisation. Il est donc apparu pertinent de proposer une configuration originale d'éléments piézoélectriques et nécessaire d'établir une nouvelle méthode d'interprétation. Des modélisations numériques de même que neuf essais de consolidation dans une cellule oedométrique spécialement équipée d'anneaux piézoélectriques ont permis de développer le concept et de tester différentes méthodes d'interprétation.La méthode d'interprétation proposée reconnaît l'existence d'un déphasage qui doit être pris en compte.La performance du nouveau système est démontrée à l'aide de modélisations numériques et de deux essais additionnels en laboratoire impliquant plusieurs séquences de chargement/déchargement sur deux échantillons argileux différents. Le système proposé permet de mesurer V[indice inférieur s] avec plus de précision et de fiabilité sur un échantillon très court, soit environ 1,5 cm de hauteur, comme ceux normalement utilisés dans un essai de consolidation sur l'argile. Des mesures de V[indice inférieur s] pourront être examinées notamment en fonction de l'état de densité du sol, dans une perspective de valorisation de ce paramètre pour fins de caractérisation.