Dans ce mémoire, on s'intéresse à des briques utiles à la cryptographie asymétrique et principalement au problème du logarithme discret. Dans une première partie, nous présentons un survol de différentes notions algorithmiques de couplages sur des jacobiennes de courbes de genre 2 et décrivons les détails d'une implémentation soigneuse. Nous faisons une comparaison à niveau de sécurité équivalent avec les couplages sur les courbes elliptiques. Une deuxième partie est dévolue à la recherche de modèles efficaces pour les courbes elliptiques et les surfaces de Kummer non-ordinaires en caractéristique 2. Pour le genre 1, nous obtenons que le modèle d'Edwards binaire se déduit du modèle d'Edwards classique en caractéristique zéro. Pour le genre $2$, nous utilisons des techniques de "déformation" qui consistent à considérer une famille de jacobiennes sur un anneau des séries formelles, telle que la fibre générique soit ordinaire et la fibre spéciale soit la jacobienne considérée. Il s'agit alors de montrer que la loi de groupe sur la fibre générique s'étend à tout le modèle. Nous comparons les lois de composition ainsi obtenues avec celles déjà connues.

La sécurité prouvée est une branche relativement jeune de la cryptologie dont l'objectif est d'analyser formellement le but ultime des schémas cryptographiques: la sécurité. Elle ne cherche pas à atteindre la sécurité absolue mais plutôt à identifier les conditions suffisantes, au sens de la théorie de la complexité, pour garantir la sécurité. La sécurité prouvée est en étroite relation avec les trois principaux mouvements de la cryptographie: la formalisation des notions de sécurité; la construction des schémas formellement prouvés sûrs et la recherche de nouvelles fonctionnalités pour la cryptographie. Dans cette thèse, nous abordons dans un premier temps l'analyse des notions de sécurité, à la fois pour le chiffrement asymétrique et pour le chiffrement symétrique. D'une part, nous étudions en détails les modèles d'attaque et les relations entre eux pour le chiffrement asymétrique. D'autre part, pour le chiffrement par bloc, nous mettons en évidence la relation entre la notion traditionnelle du chiffrement par bloc, i.e. permutation (super) pseudo–aléatoire, et avec la notion de base de la confidentialité, i.e. sécurité sémantique. Dans un deuxième temps, nous proposons de nouveaux schémas efficaces et prouvés sûrs pour la cryptographie asymétrique dans le modèle de l'oracle aléatoire (de nouveaux paddings pour le chiffrement et des paddings universels pour le chiffrement et la signature). Nous présentons, de plus, une nouvelle catégorie de schémas prouvés sûrs: les schémas de chiffrement sans redondance. Jusqu'à présent, la redondance était nécessaire pour prouver la sécurité. Nous proposons, dans la troisième partie, une nouvelle fonctionnalité du traçage de pirates pour la diffusion des données chiffrées: la traçabilité publique. Nous présentons aussi un schéma satisfaisant cette propriété. Ce schéma est ensuite généralisé à un schéma quasi optimal selon le critère du taux entre de la taille des données chiffrés et celle des données originelles.

Ce travail avait pour objectif d'évaluer la perception catégorielle de la parole (PC) et les liens qu'elle entretient avec l'apprentissage de la lecture et les difficultés de cet apprentissage. Les études ont porté sur des continua de voisement (VOT) et de lieu d'articulation (transitions de F2 et F3). Trois critères ont été utilisés pour évaluer la PC : la perception catégorielle relative, l'effet de frontière phonémique et la précision catégorielle. Cinq études ont été effectuées, 3 sur le voisement (études 1, 2 et 3), 1 sur le lieu d'articulation (étude 4) et 1 sur voisement et lieu (étude 5). L'étude 1, dans laquelle ont été suivis de 6 à 8 ans des enfants qui étaient non lecteurs à 6 ans, a permis de relever un effet de l'âge et/ou de l'apprentissage de la lecture sur la PC. L'effet du niveau de lecture sur la PC a été également relevé dans l'étude 2, qui a permis de constater que des dyslexiques de 10 ans, comparativement à des normolecteurs de même âge, présentaient un déficit de PC, et plus spécifiquement un mode de perception allophonique. L'étude 3 a en plus mis en relief le fait que le déficit de PC était persistant, étant donné qu'il a été observé chez des dyslexiques relativement âgés (17 ans). Les travaux sur le trait de voisement suggèrent que la perception allophonique résulterait d'un déficit de couplage entre prédispositions phonétiques au cours du développement perceptif. Nous avons confirmé cette hypothèse pour le trait de lieu d'articulation dans l'étude 4, qui a porté sur des adultes. Dans la dernière étude, nous avons proposé à des dyslexiques de 8 à 10 ans des entraînements qui avaient pour objectif de « corriger » leur déficit de perception allophonique. Cette tentative a échoué, ce qui indique que ce déficit est résistant à la remédiation. Ces résultats suggèrent que la perception allophonique serait à l'origine des difficultés de lecture des dyslexiques, ce mode de perception entravant l'établissement des correspondances graphèmes-phonèmes, condition sine qua non de l'apprentissage de la lecture.

Depuis 2000 les couplages sont devenus un très bon outil pour la conception de nouveaux protocoles cryptographiques. Les signatures courtes et le chiffrement basé sur l'identité sont devenus réalisables grâce aux couplages. Les travaux réalisés dans cette thèse comprennent deux aspects complémentaires. Une partie consiste en l'implémentation optimisée de couplages sur différentes courbes elliptiques, en fonction des protocoles visés. Une implémentation sur des courbes supersingulières en grande caractéristique et sur des courbes de Barreto-Naehrig est détaillée. La bibliothèque développée au Laboratoire Chiffre de Thales est utilisée avec des courbes de Barreto-Naehrig dans un protocole de diffusion chiffrée. La seconde application évalue la différence de temps de calcul pour des protocoles utilisant les couplages sur des courbes d'ordre composé (un large module RSA) et la traduction de ces protocoles qui utilise plusieurs couplages sur des courbes plus habituelles. Les résultats montrent une différence d'un facteur de 30 à 250 en fonction des étapes des protocoles, ce qui est très important. Une seconde partie porte sur deux familles de courbes de genre deux. Les jacobiennes de ces courbes sont isogènes au produit de deux courbes elliptiques sur une extension de corps de petit degré. Cette isogénie permet de transférer les propriétés des courbes elliptiques vers les jacobiennes. Le comptage de points est aisé et ne requiert qu'un comptage de points sur une des courbes elliptiques isogènes, plus quelques ajustements. On présente aussi la construction de deux endomorphismes à la fois sur les jacobiennes et sur les courbes elliptiques. Ces deux endomorphismes permettent des multiplications scalaires efficaces en suivant la méthode de Gallant, Lambert et Vanstone, ici en dimension quatre.

Les cyclopropanes sont rencontrés dans de nombreux produits naturels ou synthétiques bioactifs. Les travaux réalisés portent sur le développement de couplages catalysés par le palladium permettant d'accéder à des cyclopropanes diversement substitués. Des couplages de Suzuki-Miyaura impliquant les cis- et trans-2-benzyloxy-cyclopropyltrifluoroborates de potassium ont pu être mis au point après un important travail d'optimisation. L'accès à des aminocyclopropanes par des couplages de type Hartwig Buchwald impliquant des iodures cyclopropaniques s'est révélé beaucoup plus difficile à mettre en œuvre. Leur faisabilité a été démontrée avec un exemple, en version intramoléculaire, mais les résultats n'ont pas pu être généralisés. Les premiers exemples de couplages de Sonogashira entre des iodures cyclopropaniques diversement substitués et des alcynes terminaux ont été décrits. Les alcynylcyclopropanes correspondants sont obtenus avec d'excellents rendements et rétention de configuration. Les cis-2-alcynylcyclopropanecarboxamides préparés par cette méthode peuvent subir une cyclisation 5 exo-dig en milieu basique et conduire à des énamides incorporant un motif 3-azabicyclo[3.1.0]hexane. En milieu acide, ces composés engendrent des ions N-acyliminiums bicycliques pouvant être impliqués dans des réductions ioniques ou des cyclisations de Pictet-Spengler menant à une grande diversité de composés hétérocycliques azotés originaux de manière totalement diastéréosélective.

Les critères de localisation et d'endommagement sont généralement basés sur un cadre dissipatif et ce travail s'intéresse aux couplages thermomécaniques accompagnant les micromécanismes de déformation. Il repose en partie sur des données expérimentales obtenues précédemment dans le laboratoire par Bodelot pour un polycristal d'acier A316L. Ce travail tire profit d'une combinaison de techniques différentes, en particulier de mesures in situ de champs cinématiques et thermiques ainsi que de l'Orientation Imaging Microscopy, de la profilométrie et d'une micrographie de surface. Différents outils ont été développés afin (1) d'identifier automatiquement les systèmes de glissement activés, (2) d'estimer l'émissivité de la surface permettant ainsi une détermination des champs thermiques avec une précision de 30 mK, (3) de projeter les champs bruts expérimentaux sur la microstructure et (4) de permettre la modélisation du polycristal et de ses conditions aux limites thermomécaniques réelles dans un cadre de plasticité cristalline dans le code EF Abaqus. Il a notamment été montré que les variations de température fournissent une estimation précise et aisée de la limite d'élasticité macroscopique ainsi que la détermination de la contrainte de cisaillement critique à l'échelle granulaire. En outre, les mesures cinématiques ont permis l'identification des systèmes de glissement activés. Des bilans énergétiques expérimentaux et numériques ont été réalisés et une grande influence de l'hétérogénéité polycristalline sur les mécanismes de stockage d'énergie a été soulignée. Les méthodes proposées contribueront à améliorer les critères d'endommagement basés sur un cadre dissipatif

Alors qu'initialement utilisés pour résoudre le Problème du Logarithme Discret (DLP) dans le groupe de points d'une courbe elliptique, les couplages sont très à la mode en cryptographie ces années car ils permettent de construire de nouveaux protocoles cryptographiques. Cependant, le calcul efficace du couplage dépend de l'arithmétique du modèle de courbe elliptique choisi et du corps sur lequel cette courbe est définie. Dans cette thèse, nous calculons le couplage sur deux modèles de Jacobi de courbes elliptiques puis nous introduisons et étudions l'arithmétique d'un nouveau modèle d'Ewards de courbe elliptique défini en toutes caractéristiques. Plus précisément, Nous utilisons l'interprétation géométrique de la loi de groupe sur l'intersection des quadriques de Jacobi pour obtenir pour la première fois dans la littérature, les formules explicites de la fonction de Miller pour le calcul du couplage de Tate sur cette courbe. Pour un calcul de couplage avec un degré de plongement pair, nous définissons la tordue quadratique pour obtenir des étapes de doublement et d'addition efficaces dans l'algorithme de Miller. Ensuite nous utilisons un isomorphisme entre la quartique spéciale de Jacobi Ed: Y²=dX⁴+Z⁴ et le modèle de Weierstrass pour obtenir la fonction de Miller nécessaire au calcul du couplage de Tate. Pour un degré de plongement divisible par 4, nous définissons la tordue d'ordre 4 de cette courbe pour obtenir un résultat meilleur du calcul du couplage de Tate par rapport aux courbes elliptiques sous forme de Weierstrass. Notre résultat améliore en même temps les derniers résultats obtenus sur cette courbe. Ce résultat est donc le meilleur connu à ce jour, à notre connaissance, pour le calcul du couplage de Tate sur les courbes possédant des tordues d'ordre 4. En 2006, Hess et al. introduisent le couplage Ate, qui est une version améliorée du couplage de Tate. Nous calculons ce couplage et ses variantes sur la même quartique. Nous y obtenons encore des résultats meilleurs. Notre troisième contribution est l'introduction d'un nouveau modèle d'Edwards de courbe elliptique d'équation 1+x²+y²+x²y²=Xxy. Ce modèle est ordinaire sur les corps de caractéristique 2 et nous montrons qu'il est birationnellement équivalent au modèle original d'Edwards x²+y²=c²(1+x²y²) en caractéristique différente de 2. Pour ce faire, nous utilisons la théorie des fonctions thêta et un modèle intermédiaire que nous appelons modèle thêta de niveau 4. Nous utilisons les relations de Riemann des fonctions thêta pour étudier l'arithmétique de ces deux courbes. Nous obtenons d'une part une loi de groupe complète, unifiée et en particulier compétitive en caractéristique 2 et d'autre part nous présentons les meilleures formules d'addition différentielle sur le modèle thêta de niveau 4.

Le refroidissement électronique de jonctions tunnel Supraconducteur - Isolant - métal Normal (S-I-N) a lieu grâce la bande d'énergie interdite du supraconducteur, qui agit tel un filtre laissant passer les électrons les plus énergétiques par effet tunnel. Cependant, l'efficacité de tels refrigérateurs électroniques est habituellement plus faible que les prédictions théoriques. Après l'introduction des équations basiques décrivant le refroidissement électronique dans une jonction tunnel, nous présentons les différentes limitations fondamentales, parmi elles les couplages thermiques entre bains thermiques d'électrons ou de phonons et la relaxation des quasi-particules. Afin d'avoir une meilleure compréhension des différents couplages thermiques en jeu, nous avons mis au point une expérience permettant de mesurer indépendamment la température des électrons et des phonons. Un réfrigérateur hors équilibre est ainsi étudié dans les régimes de refroidissement et de chauffage. Les résultats sont interprétés en utilisant un modèle thermique qui tient compte des transferts de chaleur entre électrons, phonons et photons. En particuliers, le canal photonique de chaleur lié au bruit thermique dans les résistances du circuit apporte une contribution de chaleur supplémentaire dépendant de la transmission du circuit de couplage. Enfin nous nous sommes intéressées à l'amélioration du refroidissement électronique sous champ magnétique, facilitant la relaxation des quasi-particules dans le supraconducteur. Enfin nous avons développer un procédé de fabrication permettant d'obtenir de large jonctions S-I-N-I-S avec un ilôt métallique suspendu totalement découplé du substrat.

La Réaction Sulfatique Interne (RSI) est une pathologie du béton pouvant affecter les matériaux soumis à un échauffement au-delà de 65°C. Elle consiste en une formation d'ettringite dans le matériau durci et conduit à son gonflement. Il s'en suit une fissuration et une dégradation des performances mécaniques pouvant poser des problèmes d'intégrité structurelle à l'instar de la Réaction Alcali-Granulat (RAG) à laquelle elle est fréquemment couplée in situ. Lorsqu'un ouvrage est atteint, il convient de poser un diagnostic, évaluer son aptitude au service, prédire son évolution et mettre en uvre des méthodes de réparation. Ceci nécessite une compréhension fine des effets de la RSI à l'échelle microscopique et à l'échelle de l'ouvrage. De nombreuses études expérimentales et théoriques ont été menées pour déterminer les mécanismes mis en uvre et les paramètres influençant la RSI. Toutefois, la complexité des phénomènes rend délicate la transposition de ces connaissances à l'échelle de la structure. Les approches macroscopiques semblent donc plus adaptées à ce type de problème. Pour mettre au point ces approches, il est nécessaire de comprendre en détail les effets de la pathologie à l'échelle du matériau et de la structure. Cette thèse décrit les résultats d'une étude de laboratoire basée sur des essais sur éprouvettes pour caractériser les couplages entre les gonflements et l'humidité, la température et l'état de contraintes. Ces travaux ont également été l'occasion d'étudier les couplages entre RAG et RSI. En parallèle, des suivis dimensionnels et hydriques de poutres soumises à des conditions d'exposition à l'humidité contrôlées ont permis de constituer une base de données des effets structurels de la RSI. La confrontation de ces essais menés conjointement à l'échelle du matériau et de la structure fournit des données permettant de mettre au point des méthodes de re-calcul des ouvrages et de les valider en confrontant leurs prédictions aux résultats expérimentaux

Afin de corriger la suractivation de la voie de signalisation Raf/MEK/ERK observée dans 30 % des cancers,nous avons choisi d’inhiber la kinase Raf-1. Les inhibiteurs potentiels de Raf-1 ont été conçus avec un cyclecentral original 4-azaindolique. Pour apporter de la diversité fonctionnelle au niveau des sommets C-2 et C-5lors de la synthèse, nous avons optimisé deux méthodes à partir du synthon 5-méthoxy-4-azaindole-Nphénylsulfonyle.La première est une réaction de lithiation du sommet C-2 suivie de la condensation dedifférents électrophiles et la deuxième est la C-arylation ou N-arylation du sommet C-5 à partir du dérivétriflate en 5 via des réactions de couplage pallado-catalysées de type Suzuki et Buchwald, respectivement.Ces deux méthodes ont permis d’aboutir à 2 séries de composés : une première série fonctionnalisée enposition N-1 et C-5 du noyau 4-azaindole et une deuxième série substituée en position C-5 et C-2.Pour tester les nouveaux inhibiteurs synthétisés et un inhibiteur naturel appelé PEBP, nous avons mis aupoint des tests d’activité in vitro sur l’ensemble de la cascade Raf/MEK/ERK et sur chacune des 3 kinases.Les tests ont été développés avec 2 méthodes de TR-FRET, Lance UltraTM et LanthascreenTM, et ont étévalidés avec des inhibiteurs commerciaux et comparés par rapport à la méthode radioactive PFBA.Au total, 30 produits finaux ont été évalués in vitro sur la kinase Raf-1. Grâce aux plateformes duCancéropôle GO, les produits ont aussi été testés sur 6 lignées de cellules cancéreuses et sur les kinasesdu cycle cellulaire DYRK1A, GSK3 et CDK5. Plusieurs molécules ont montré une activité antitumoraleencourageante de l’ordre du μM et un composé a été identifié comme inhibiteur de Raf-1 avec une valeurd’IC50 de 9,8 μM et une cytotoxicité sélective vis-à-vis des cellules du foie Huh7 (IC50 = 3 μM). / Considering the implication of the Raf/MEK/ERK pathway deregulation in 30 % of human cancers, wedecided to synthesize potential Raf-1 inhibitors. They were synthesized using the original 4-azaindole as thecentral core. To introduce various types of substituents in C-2 and C-5, we developed two methodologiesfrom the building block N-benzenesulfonyl-5-methoxy-4-azaindole. The first one is the C-2 lithiation followedby the addition of various electrophiles. The second methodology is the C-5 C-arylation or the N-arylationusing palladium-catalysed cross-couplings from the C-5 triflate derivative through Suzuki or Buchwald crosscoupling reactions, respectively. The two methodologies ended up to the synthesis of two series ofcompounds. The first one is functionalized in N-1 and C-5 of the 4-azaindole core. The second one issubstituated in C-2 and C-5.In order to test the newly synthesized inhibitors as well as the natural inhibitor PEBP, we have developedseveral tests to measure in vitro the effect of inhibitors on the activity of the complete cascade Raf/MEK/ERKand also on the activities of each individual kinase. The assays were developed by using 2 TR-FRETmethods, Lance UltraTM and LanthascreenTM, and were validated with commercially available inhibitors andcompare to the radioactive PFBA method.Finally, 30 compounds were evaluated through in vitro Raf-1 assays. By using the facilities offered by theCanceropôle GO platforms, the compounds were also tested on six different tumor cell lines and on thekinases DYRK1A, GSK3 and CDK5. Several compounds displayed encouraging antitumoral activity and onecompound was identified as a Raf-1 inhibitor with an IC50 value of 9.8 μM and a selective cytotoxicity activitytowards liver tumor cells Huh7 (IC50 = 3 μM).