Les travaux exposés dans cette thèse se situent à l’interface des mathématiques discrètes, des corps finis et de la cryptographie symétrique.Les 'boîtes-S’ sont des fonctions non-linéaires de petites tailles qui constituent souvent la partie de confusion, indispensable, des chiffrements par blocs ou des fonctions de hachages.Dans la première partie de cette thèse, nous nous intéressons à la construction de boîtes-S bijectives résistantes aux attaques différentielle. Nous étudions l’inverse pour la composition des monômes de permutations optimaux vis-à-vis du critère différentiel. Nous explorons ensuite des classes spécifiques de polynômes creux. Enfin, nous construisons des boîtes-S à partir de leurs dérivées discrètes.Dans la deuxième partie, nous portons notre attention sur la cryptanalyse différentielle impossible. Cette cryptanalyse à clairs choisis très performante pour attaquer des chiffrements par blocs itératifs, exploite la connaissance d’une différentielle de probabilité zéro pour écarter les clés candidates. Elle est très technique, et de nombreuses erreurs ont été repérées dans des travaux passés, invalidant certaines attaques. Le but de ces travaux est de formaliser et d’automatiser l’évaluation des complexités d’une telle attaque afin d’unifier et d’optimiser les résultats obtenus. Nous proposons aussi de nouvelles techniques réduisant les complexités cette cryptanalyse. Nous démontrons enfin l’efficacité de notre approche en fournissant les meilleures cryptanalyses différentielles impossibles contre les chiffrements CLEFIA, Camellia, LBlock et Simon. / The work I have carried out in this thesis lie between discrete mathematics, finite fields theory and symmetric cryptography. In block ciphers, as well as in hash functions, SBoxes are small non-linear and necessary functions working as confusion layer.In the first part of this document, we are interesting in the design of bijective SBoxes that have the best resistance to differential attacks. We study the compositional inverse of the so-called Almost Perfect Nonlinear power functions. Then, we extensively study a class of sparse permutation polynomials with low differential uniformity. Finally, we build functions, over finite fields, from their discrete derivatives.In the second part, we realize an automatic study of a certain class of differential attacks: impossible differential cryptanalysis. This known plaintexts attack has been shown to be very efficient against iterative block ciphers. It exploits the knowledge of a differential with probability zero to occur. However this cryptanalysis is very technical and many flaws have been discovered, thus invalidating many attacks realized in the past. Our goal is to formalize, to improve and to automatize the complexity evaluation in order to optimize the results one can obtain. We also propose new techniques that aims at reducing necessary data and time complexities. We finally prove the efficiency of our method by providing some of the best impossible differential cryptanalysis against Feistel oriented block ciphers CLEFIA, Camellia, LBlock and Simon.

Les progrès réalisés dans les domaines des réseaux de capteurs disséminées, de l'identification radiofréquence ou des communications millimétriques présagent l'apparition de petits objets, intelligents, autonomes et communiquant par le biais de transmissions radiofréquences. Dans ce contexte, les orientations aléatoires et variables des dispositifs les uns par rapport aux autres engendrent de fortes variations du bilan de transmission en raison de l'anisotropie de rayonnement ainsi que des désadaptations de polarisation entre antennes. Il existe donc un besoin pour de petites antennes bas coût aux caractéristiques de rayonnement optimisées pour une transmission indépendante de leurs orientations relatives. La première partie de ce travail a consisté à proposer un nouveau critère, appelé fonction de couverture isotrope, permettant de caractériser rigoureusement les performances des antennes dans un tel contexte. Cette méthode a permis de comparer diverses antennes de la littérature et d'étudier les effets de leurs propriétés de rayonnement. L'influence de l'environnement de propagation a également été étudiée. La seconde partie a consisté à proposer deux nouvelles antennes répondant à cette problématique tout en prenant en compte les fortes contraintes d'intégration et de miniaturisation. Un prototype a été réalisé et valide l'approche de conception suivie. Finalement, un dernier développement envisage le cas des multi antennes. Une extension de la méthode de caractérisation est proposée. L'une des structures précédentes est développée en deux versions à deux accès et illustre le principe d'une antenne isotrope à double polarisation orthogonale aux performances optimales.

ATLAS est l'une des quatre expériences qui fonctionneront auprès du LHC, le futur collisionneur à protons du CERN. Cet accélérateur, dont le démarrage est prévu en 2007, permettra de prolonger les études menées auprès de ses prédécesseurs, telles que les recherches du boson de Higgs du modèle standard ou de signatures d'une nouvelle physique. Ces études seront facilitées par la puissance du LHC : énergie de 14 TeV dans le centre de masse et luminosité intégrée annuelle de 10 fb-1 durant les trois premières années, puis de 100 fb-1.<br> Dans le cadre de la collaboration ATLAS, le Centre de Physique des Particules de Marseille a en charge, entre autre, la construction de la moitié des modules qui composent le bouchon du calorimètre électromagnétique. La description de ce sous-détecteur et les étapes de sa construction, en particulier les tests électriques qui permettent la validation du montage de chaque module, sont présentées dans ce document. Les résultats de ces tests, obtenus pour les cinq premiers modules de série, sont analysés.<br> Les performances d'un module de pré-série (module 0), testé sous faisceau au CERN en 1999, sont également exposées. Les études menées sur l'uniformité de la réponse du détecteur ont permis d'effectuer des améliorations importantes sur les constituants du calorimètre. Un terme constant global de 0.6% a été déterminé dans la partie (roue) interne du bouchon.

L’objet de ces recherches est d’étudier un moyen d’expression, de communication, de résistance, de mobilisation, de contestation, de revendication et d’affirmation identitaire, qui, dans une Algérie aux multiples facettes et aux diverses attaches où le substrat culturel est massivement investit par l’oralité, a constitué pour une grande partie de la population algérienne, durant les années 1990, un exutoire indispensable au maintient d’un équilibre individuel et collectif fortement compromis par un déferlement de violence sans précédent dans l’histoire de l’Algérie indépendante, une possibilité non négligeable d’affirmation de soi mais aussi et surtout une tribune d’où s’est élevé un discours populaire de substitution au discours dominant du pouvoir et celui dominateur des extrémistes religieux : la chanson. En effet, charriant les sentiments et les ressentiments d’une population prise en étau entre terrorisme et répression et dont la parole est exclue des circuits officiels, transgressant les interdits, réfutant l’uniformisation culturelle officiellement imposée en revendiquant une culture et une identité plurielles, les chansons algériennes des années 1990 se présentent comme un vecteur majeur de contestation et de diversité, un moyen de communication à part entière qu’il s’agit d’appréhender en le reliant à l’ensemble du système dont il participe. / The object of those researches is to study in a country where the cultural substratum is massively invested by the oral character, a way of expression, of communication, of resistance, of mobilization, of contestation, of claiming and affirmation of their identity, that was constituted by a great part of the Algerian population, an indispensable outlet to the maintenance of an individual and collective equilibrium strongly compromised, but also and mostly a non negligible possibility of self affirmation : the song. In deed, carrying feelings and resentments of a population taken between terrorism and repression and whose speech is excluded of the official circuits, denouncing the violence of the religious extremism like the abuses and the deficiencies of the power in place, transgressing the interdicts and the taboos, claiming a plural culture and identity, the Algerian songs of the 1990 are a vector of contestation and diversity, a real way of communication that we have to apprehend by linking it to the whole system of which it participates.

Un code de simulation de plasma à deux dimensions électrostatique à coordonnées cartésiennes Particle-in-cell/ Monte Carlo Collision (PIC/MCC) est présenté, incluant un nouveau traitement de l'équilibre des charges aux limites diélectriques. Il est utilisé pour simuler un plasma dans le gaz Ar dans un réacteur à plaques parallèles à couplage capacitif à radiofréquence a géométrie symétrique avec une paroi latérale diélectrique épaisse. La paroi latérale diélectrique protège efficacement le plasma du champ électrique augmenté au niveau de la jonction entre l'électrode alimentée et l'électrode à la masse, dont on a montré précédemment qu'elle produisait une augmentation localise de la densité de plasma. Néanmoins, un réchauffement accru des électrons est observé dans une région adjacente à la limite diélectrique, conduisant à des maxima de le taux d'ionisation, de la densité du plasma et du flux ionique vers les électrodes dans cette région. Les différents composants du chauffage électronique sont dérivés des simulations PIC/MCC et montrent que cette augmentation du chauffage électronique provient d'un chauffage ohmique accru dans la direction axiale lorsque la densité électronique diminue vers la paroi latérale. Nous avons étudié la validité de différentes formules analytiques pour estimer le chauffage ohmique en les comparant aux résultats PIC. Le chauffage des électrons à composantes x a proximité des coins a été observé aux fréquences d'excitation plus élevées, provenant d'un champ RF oscillant important dans la direction x. / A Cartesian-coordinate two-dimensional electrostatic Particle-in-cell/Monte-Carlo Collision (PIC/MCC) plasma simulation code is presented, including a new treatment of charge balance at dielectric boundaries. It is used to simulate an Ar plasma in a symmetric radiofrequency capacitively-coupled parallel-plate reactor with a thick dielectric side-wall. The dielectric side-wall effectively shields the plasma from the enhanced electric field at the powered-grounded electrode junction, which has previously been shown to produce locally enhanced plasma density. Nevertheless, enhanced electron heating is observed in a region adjacent to the dielectric boundary, leading to maxima in ionization rate, plasma density and ion flux to the electrodes in this region. The electron heating components are derived from the PIC/MCC simulations and show that this enhanced electron heating results from increased Ohmic heating in the axial direction as the electron density decreases towards the side-wall. We investigated the validity of different analytical formulas to estimate the Ohmic heating by comparing them to the PIC results. The x component electron heating near the corners was observed at higher driving frequency, which is caused by a significant RF oscillating field in the x direction.

Le lambda-calcul avec ressources est une variante du lambda-calcul fondée sur la linéarité : les lambda-termes avec ressources sont aux lambda-termes ce que sont les polynômes aux fonctions réelles, c'est à dire des approximations multi-linéaires. En particulier les réductions dans le lambda-calcul avec ressources peuvent être vues comme des approximations des beta-réductions, mais la contrainte de linéarite a des conséquences importantes, notamment la forte normalisation de la réduction avec ressources. Pour ainsi dire, la beta-réduction est obtenue par passage à la limite des réductions avec ressources qui l'approximent. Cette thèse étudie les aspects combinatoires, très riches, du lambda-calcul avec ressources. On commence par définir précisément la notion de réduction avec ressource associée à une beta-réduction: étant donné un lambda-terme $t$, un approximant $s$ de celui-ci et $t'$ une beta-réduction de $t$, on lui associe une réduction avec ressources (appelée gamma-réduction) de $s$ qui réduit les «mêmes» redex que celle de $t$ et produit un ensemble $S'$ d'approximants de $t'$. Cette définition permet de retrouver une preuve légèrement plus intuitive de l'un des théorèmes fondamentaux de la théorie, qui permet également de le généraliser. Dans un second temps on étudie les relations «familiales» entre termes avec ressources, la question centrale étant de caractériser le fait que deux termes avec ressources sont des réduits d'un même terme. Ce problème central et difficile n'est pas pleinement résolu, mais la thèse présente plusieurs résultats préliminaires et développe les bases d'une théorie pour arriver à cette fin. / The resource lambda-calculus is a variant of lambda-calculus based on linearity: resource lambda-terms are to lambda-terms as polynomials are to real functions. In particular reductions in resource lambda-calculus can be viewed as approximations of beta-reductions. But the linearity constraint has important consequences, especially the strong normalisation of resource reduction. So to speak, beta-reduction is obtained by passage to the limit of resource reduction which approximates it. This thesis is a study of the combinatory aspect of resource lambda-calculus. First, we define precisely the notion of resource reduction associated to beta-reduction: let t be a lambda-term, s an approximant of t and t' a beta-reduction of t, we associate a resource reduction (called gamma-reduction) of s which reducts the "same" redex as the beta-reduction of t and this generates a set S' of approximants of t'. This definition allows to find a new proof (who is more intuitive) of one of the fundamental theorems of this theory and it also allows to generalize it. Then we study the "family" relations between resource lambda-terms. The main question is to characterize the resource lambda-terms which are reducts of same term. This central problem is hard and not completely resolved, but this thesis exhibits several preliminary results and lays the foundations of a theory aimed at resolving it.

No description available.

Cette thèse apporte des solutions théoriques et pratiques à deux problèmes soulevés par la photographie numérique en présence de mouvement, et par la photographie infrarouge. La photographie d'objets en mouvement semblait ne pouvoir se faire qu'avec des temps d'exposition très courts, jusqu'à ce que deux travaux révolutionnaires proposent deux nouveaux types de caméra permettant un temps d'exposition arbitraire. Le flutter shutter de Agrawal et al. crée en effet un flou inversible, grâce à un obturateur aux séquences d'ouverture-fermeture bie{\it n choisies. Le motion invariant photography de Levin et al. obtient ce même effet avec une accélération constante de la caméra. Les deux méthodes suivent ainsi un nouveau paradigme, la computational photography, selon lequel les caméras sont repensées, car elles incluent un traitement numérique sophistiqué. Cette thèse propose une méthode pour évaluer la qualité image des nouvelles caméras. Le fil conducteur de l'analyse est donc l'évaluation du SNR (signal to noise ratio) de l'image obtenue après déconvolution. La théorie fournit des formules explicites pour le SNR, soulève deux paradoxes de ces caméras, et les résout. Elle permet d'obtenir le modèle de mouvement sous-jacent à chaque flutter shutter, notamment tous ceux qui sont brevetés. Une seconde partie plus brève aborde le problème de qualité principal en imagerie vidéo infrarouge, la non-uniformité. Il s'agit d'un bruit évolutif et structuré en colonnes causé par le capteur. La conclusion des travaux est qu'il est non seulement possible mais également efficace et robuste d'effectuer la correction sur une seule image. Cela permet de contourner le problème récurrent des "ghost artifacts"résultant d'une incohérence du traitement par rapport au modèle d'acquisition. / This thesis provides theoretical and practical solutions to two problems raised by digital photography of moving scenes, and infrared photography. Until recently photographing moving objects could only be done using short exposure times. Yet, two recent groundbreaking works have proposed two new designs of camera allowing arbitrary exposure times. The flutter shutter of Agrawal et al. creates an invertible motion blur by using a clever shutter technique to interrupt the photon flux during the exposure time according to a well chosen binary sequence. The motion-invariant photography of Levin et al. gets the same result by accelerating the camera at a constant rate. Both methods follow computational photography as a new paradigm. The conception of cameras is rethought to include sophisticated digital processing. This thesis proposes a method for evaluating the image quality of these new cameras. The leitmotiv of the analysis is the SNR (signal to noise ratio) of the image after deconvolution. It gives the efficiency of these new camera design in terms of image quality. The theory provides explicit formulas for the SNR. It raises two paradoxes of these cameras, and resolves them. It provides the underlying motion model of each flutter shutter, including patented ones. A shorter second part addresses the the main quality problem in infrared video imaging, the non-uniformity. This perturbation is a time-dependent noise caused by the infrared sensor, structured in columns. The conclusion of this work is that it is not only possible but also efficient and robust to perform the correction on a single image. This permits to ensure the absence of ``ghost artifacts'', a classic of the literature on the subject, coming from inadequate processing relative to the acquisition model.

Le transport international de marchandises par mer met en présence des opérateurs du commerce international qui ont une forte demande de sécurité juridique. L'uniformité du droit devrait pouvoir la satisfaire. L'observation du phénomène de création des règles applicables à cette activité montre que les Etats ont cherché à les unifier par la voie conventionnelle sans y parvenir. La thèse, par une étude de l'élaboration, de l'adoption puis de la mise en œuvre du droit applicable au transport international de marchandises par mer constatera une dissonance entre le désir d'uniformité et sa réalité. En effet, les Conventions applicables à cette matière se contredisent, se superposent ou sont vidées de leur sens par des interprétations « nationalisantes ». Face à cet échec, le monde maritime invente des outils d'uniformisation de ce droit. Il en est ainsi par exemple de ses contrats-types et autres juridictions arbitrales. De telles pratiques ne contribuent-elles pas à l'uniformité du droit ?

Le procédé thermique rapide (RTP : Rapid Thermal Process) est très utilisé dans la fabrication des composants de microélectronique. Il correspond à plusieurs étapes clés comme les recuits d'implantation, de siliciuration, d'oxydation, de nitruration et le dépôt de couches minces par CVD (Chemical Vapor Deposition). Il consiste à chauffer un nombre restreint de substrats de silicium par des lampes infrarouges permettant ainsi des durées de traitement très courtes. L'enjeu majeur est d'obtenir une température uniforme à la surface du substrat.Le but de cette étude est de mieux comprendre les relations entre le chauffage par les lampes infrarouges et le profil de température d'un substrat de silicium dans un système thermique rapide, le système AS-One 150, en vue d'améliorer l'uniformité de la température du substrat de silicium. La modélisation du système est réalisée en deux et trois dimensions. La modélisation approfondie d'une lampe infrarouge est aussi effectuée pour mieux cerner les paramètres des lampes à entrer dans les modèles en deux et trois dimensions. Les modélisations ont été réalisées à l'aide du logiciel CFD'ACE. Les équations de conservation de la masse et de la chaleur ont été considérées et l'équation de transfert radiatif est résolue selon un schéma utilisant la méthode Monte-Carlo. Les modèles sont validés en confrontant les profils de température du substrat et les températures des filaments à des mesures expérimentales. Des simulations avec le modèle en deux dimensions sont par la suite réalisées pour mettre en évidence l'influence du hublot en quartz sur le profil de température du substrat et inversement. Différents paramètres du modèle sont modifiés comme les propriétés radiatives du substrat et du hublot ou la diffusivité. Cette corrélation est ensuite expliquée par les propriétés d'émission, d'absorption, de réflexion et de transmission du substrat de silicium et du hublot en quartz et par l'influence des parois froides du réacteur à 300 K. Les différents phénomènes expliquant la forme du profil de température du substrat sont alors posés dans un schéma en quatre phases. La discussion de ce schéma permet d'aboutir à deux idées pour améliorer l'uniformité de la température du substrat. Ces dernières consistent à modifier les propriétés radiatives au niveau de la surface inférieure du hublot pour laisser passer le rayonnement des lampes et éviter l'absorption du rayonnement émis par le substrat de silicium selon deux configurations. Ces idées sont alors vérifiées par des simulations numériques en deux dimensions. Une future mise en œuvre expérimentale est finalement envisagée.