L'abstraction, la fragmentation et d'autres modes de destruction de l'image ou du discours ont caractérisé l'art de la deuxième moitié du XX siècle. L'absence d'éléments narratifs ou référentiels dans les oeuvres de cette période indique une vide de signification qui, en même temps, est expression ou manifestation du sacré. Cette recherche établit les liens entre la radicalité de ces propositions et l'expérience mystique ou l'expérience du néant. Dans ce but, nous avons analysé "Boîtes métaphysiques", de Jorge Oteiza, et "Trois leçons de ténèbres", de José Ángel Valente. / Abstraction, fragmentation, and other ways of image or speech destruction have characterized the art of the second half of the 20th century. The absence of narrative or referential elements in the artworks of this period points to a condition of absolute emptiness of meaning, which, in turn, constitutes the expression or manifestation of the sacred. This investigation is aimed at establishing links between these radical artworks (o, is prefieres, between the radicalness of these artworks) and mystic experience. To that end, I have analyzed two important works of 20th century art, namely, “Metaphysical Boxes” by the Basque sculptor Jorge Oteiza and “Three Lessons of Darkness” by the Galician poet José Ángel Valente.

Les Components-Off-The-Shelf (COTS) sont utilisés pour le développement rapide et efficace de logiciels tout en limitant le coût. Il est important de tester le fonctionnement des composants dans le nouvel environnement. Pour les logiciels tiers,le code source des composants, les spécifications et les modèles complets ne sont pas disponibles. Dans la littérature de tels systèmes sont appelés composants “boîte noire”. Nous pouvons vérifier leur fonctionnement avec des tests en boîte noire tels que le test de non-régression, le test aléatoire ou le test à partir de modèles. Pour ce dernier, un modèle qui représente le comportement attendu du système sous test(SUT) est nécessaire. Ce modèle contient un ensemble d’entrées, le comportement du SUT après stimulation par ces entrées et l’état dans lequel le système se trouve.Pour les systèmes en boîte noire, les modèles peuvent être extraits à partir des traces d’exécutions, des caractéristiques disponibles ou encore des connaissances des experts. Ces modèles permettent ensuite d’orienter le test de ces systèmes.Les techniques d’inférence de modèles permettent d’extraire une information structurelle et comportementale d’une application et de la présenter sous forme d’un modèle formel. Le modèle abstrait appris est donc cohérent avec le comportement du logiciel. Cependant, les modèles appris sont rarement complets et il est difficile de calculer le nombre de tests nécessaires pour apprendre de façon complète et précise un modèle.Cette thèse propose une analyse et des améliorations de la version Mealy de l’algorithme d’inférence L* [Angluin 87]. Elle vise à réduire le nombre de tests nécessaires pour apprendre des modèles. La version Mealy de L* nécessite d’utiliser deux types de test. Le premier type consiste à construire les modèles à partir des sorties du système, tandis que le second est utilisé pour tester l’exactitude des modèles obtenus. L’algorithme utilise ce que l’on appelle une table d’observation pour enregistrer les réponses du système.Le traitement d’un contre-exemple peut exiger d’envoyer un nombre conséquent de requêtes au système. Cette thèse aborde ce problème et propose une technique qui traite les contre-exemples de façon efficace. Nous observons aussi que l’apprentissage d’un modèle ne nécessite pas de devoir remplir complètement ces tables. Nous proposons donc un algorithme d’apprentissage qui évite de demander ces requêtes superflues.Dans certains cas, pour apprendre un modèle, la recherche de contre-exemples peut coûter cher. Nous proposons une méthode qui apprend des modèles sans demander et traiter des contre-exemples. Cela peut ajouter de nombreuses colonnes à la table d’observation mais au final, nous n’avons pas besoin d’envoyer toutes les requêtes. Cette technique ne demande que les requêtes nécessaires.Ces contributions réduisent le nombre de tests nécessaires pour apprendre des modèles de logiciels, améliorant ainsi la complexité dans le pire cas. Nous présentons les extensions que nous avons apportées à l’outil RALT pour mettre en oeuvre ces algorithmes. Elles sont ensuite validées avec des exemples tels que les tampons, les distributeurs automatiques, les protocoles d’exclusion mutuelle et les planificateurs. / Components-Off-The-Shelf (COTS) are used for rapid and cost effective developmentof software systems. It is important to test the correct functioning of COTS in new environment. For third party software components source code, completes pecifications and models are not available. In literature such systems are referred as black box software components. Their proper functioning in new environment can be tested with black box testing techniques like, comparison testing, fuzz testing, Model based testing. For Model based software testing, software models are required, which represent the desired behavior of a system under test (SUT). A software model shows that a certain set of inputs are applicable to the SUT and how it behaves when these inputs are applied under different circumstances. For software black box systems, models can be learned from behavioral traces, available specifications, knowledge of experts and other such sources. The software models steer the testing of software systems. The model inference algorithms extractstructural and design information of a software system and present it as a formal model. The learned abstract software model is consistent with the behavior of the particular software system. However, the learned models are rarely complete and it is difficult to calculate the number of tests required to learn precise and complete model of a software system. The thesis provides analysis and improvements on the Mealy adaptation of the model inference algorithm L* [Angluin 87]. It targets at reducing the number oftests required to learn models of software systems. The Mealy adaptation of thealgorithm L* requires learning models by asking two types of tests. First type oftests are asked to construct models i.e. output queries, whereas the second type is used to test the correctness of these models i.e. counterexamples. The algorithm uses an observation table to record the answers of output queries. Processing a counterexample may require a lot of output queries. The thesis addresses this problem and proposes a technique which processes the counterexamples efficiently. We observe that while learning the models of software systems asking output queries for all of the observation table rows and columns is not required. We propose a learning algorithm that avoids asking output queries for such observationtable rows and columns. In some cases to learn a software model, searching for counterexamples may govery expensive. We have presented a technique which learns the software models without asking and processing counterexamples. But this may add many columns to the observation table and in reality we may not require to ask output queries for all of the table cells. This technique asks output queries by targeting to avoid asking output queries for such cells. These contributions reduce the number of tests required to learn software models, thus improving the worst case learning complexity. We present the tool RALT which implements our techniques and the techniques are validated by inferring the examples like buffers, vending machines, mutual exclusion protocols and schedulers.

Cette thèse a pour sujet la diffusion spectrale dans les boîtes quantiques. Engendrée par les fluctuations de l'environnement électrostatique, elle affecte les spectres d'émission de ces boîtes. Notre étude s'appuie sur l'analyse de l'évolution en température et en puissance de pompage des spectres de photoluminescence, obtenus par spectrométrie par transformée de Fourier. Nous constatons que la diffusion spectrale est généralement dans un régime de rétrécissement par le mouvement et peut sortir de ce régime pour une augmentation de température ou de puissance. Par cette étude, nous sondons les mécanismes à l'origine des fluctuations de l'environnement électrostatique. Ceci nous permet de proposer un modèle microscopique pour les sources de la diffusion spectrale. A l'aide de cette modélisation, nous avons pu imaginer un protocole de contrôle et d'amplification du rétrécissement par le mouvement en utilisant un champ électrique. Cette méthode est alors validée par nos résultats.

Cette thèse porte sur des calculs numériques des propriétés électroniques et optiques des boîtes quantiques avec des confinements non-usuels tels que des boîtes de InGaN/GaN, des tétrapodes de CdSe,...<br /><br />Après avoir présenté les méthodes de calculs numériques utilisées tout au long de cette thèse, nous commençons par étudier théoriquement un super-réseau des boîtes quantiques InAs/GaAs avec une petite périodicité. Cette petite périodicité entraîne l'alignement vertical des boîtes quantiques. Nous montrons que l'état fondamental ne couple qu'avec les états du continuum qui ont presque la même extension dans le plan pour les excitations avec la polarisation suivant la direction de croissance (z). En conséquence de ces couplages particuliers, les photo-réponses en polarisation z ne changent pas quand un champ magnétique est appliqué parallèle à z malgré la présence de nombreux états de quasi-Landau dans le continuum. Nous montrons ensuite qu'une absorption lié-continuum forte en polarisation dans le plan peut être obtenue si l'on réduit la taille latérale des boîtes. Ces résultats sont utilisés pour expliquer les résultats expérimentaux obtenus à Vienne. Dans ce travail effectué en collaboration, nous étudions théoriquement et expérimentalement les photo-détecteurs basés sur des boîtes quantiques InAs/GaAs insérées dans un super-réseau, sans ou avec les barrières de AlAs. Nous montrons que ces structures périodiques peuvent être utilisées pour fabriquer des photo-détecteurs dans la gamme infrarouge lointain. Les spectres de photo-courant sont en bon accord avec les spectres d'absorption optique obtenus par nos calculs.<br /><br />Nous nous intéressons aussi à des hétéro-structures à base de nitrure. Ces semi-conducteurs présentent des propriétés physiques originales comme des grandes masses effectives, de grands offsets de bande, un champ piézo-électrique colossal, ... Nous nous focalisons sur les hétéro-structures InGaN/GaN sur lesquelles de nombreuses applications opto-électroniques sont basées. Nous montrons que les effets du désordre ainsi que les grandes valeurs physiques rendent l'Approximation du Cristal Virtuel non valable dans ces systèmes. Enfin, nous effectuons des calculs des structures électroniques des tétrapodes de CdSe. Nous montrons que les quatre premiers états sont confinés en grande partie dans le corps sphérique, ce qui est cohérent avec les spectres expérimentaux.

Nous proposons une méthode afin de prédire le bruit rayonné en hautes fréquences par une structure qui vibre en basses fréquences. Cette méthode est qualifiée d'hybride car elle couple deux méthodes valables dans des domaines fréquentiels distincts. Le cas d'application traité est celui d'une boîte de vitesses au sein d'un compartiment moteur. Le comportement vibratoire du carter est induit par une excitation interne générée par le processus d'engrènement, l'erreur statique de transmission. Il est prédit par la méthode spectrale itérative qui repose sur une technique originale de résolution des équations à coefficients périodiques. Des sources équivalentes sont introduites afin de reproduire le bruit rayonné par le carter en champ libre. Chaque source est la somme des contributions d'une source de pression, d'une source de vitesse et d'une source d'intensité. Des formulations analytiques pour l'amplitude et la directivité de ces sources sont proposées. Elles sont ensuite utilisées dans la méthode du transfert radiatif qui s'inspire de l'écriture des échanges radiatifs en thermique et conduit au champ acoustique au sein du compartiment moteur. Cette méthode a été étendue dans ce travail par l'introduction de la diffraction acoustique. La méthode hybride a été validée pour une plaque simple bafflée et pour une plaque raidie dont les champs de vitesse et de pression pariétaux sont évalués expérimentalement, par comparaison avec la méthode des éléments finis de frontière. Enfin, l'application à une boîte de vitesses intégrée à un groupe motopropulseur placé au sein d'un encapsulage moteur de véhicule poids lourd a été résolue. L'intérêt de la méthode hybride est de permettre le couplage d'une méthode vibratoire dédiée aux basses fréquences à une méthode acoustique dédiée aux hautes fréquences qui conduit à des temps de calcul réduits par rapport aux méthodes d'éléments finis de frontière.

L'un des principaux accomplissements scientifiques du siècle dernier est sans doute le développement de la Physique Quantique. Parallèlement, notre société est entrée dans l'ère de l'information. Aujourd'hui, théorie de l'information et théorie quantique se recoupent sous un champ d'activité émergent : le traitement de l'information quantique. Ce domaine propose de tirer parti des corrélations subtiles entre états quantiques pour effectuer des opérations de communication ou de logique. Ces travaux de thèse s'inscrivent dans ce contexte. Ils visent la génération d'états quantiques de la lumière, pour tester les prévisions contre-intuitives de la mécanique quantique, mais aussi pour l'ingénierie de dispositifs de traitement de l'information quantique. Ces états quantiques sont des photons uniques indiscernables, rayonnés par des boîtes quantiques uniques. S'il est bien connu aujourd'hui que ces nano-émetteurs émettent des photons uniques, des processus rapides de décohérence propres à la physique du solide détériore l'indiscernabilité entre photons successivement émis. Pour restaurer l'indiscernabilité entre photons, le processus d'émission est accéléré en couplant la boîte au mode d'une microcavité optique (un micropilier), de sorte que les photons sont émis avant qu'ils ne soient marqués par les processus déphasants. Ainsi, nous avons pu produire des photons uniques avec un degré d'indiscernabilité supérieur à 75%. Ces photons sont alors sujets à des phénomènes d'interférence peu communs : lorsque deux photons sont incidents sur les deux ports d'entrée d'une lame séparatrice, les deux photons ressortent de la lame toujours sur le même port de sortie

L'effet Kondo naît du couplage tunnel entre une impureté magnétique et une mer de Fermi. L'essence de cet état de fortes corrélations électroniques trouve son origine dans la nature non perturbative du couplage d'échange entre le moment local et les électrons de conduction, et qui conduit à la formation d'un état fondamental non magnétique à température nulle. Dans le régime Kondo, toutes les propriétés physiques du système (impureté+réservoir d'électrons) s'expriment en fonction d'une unique échelle d'énergie, la température Kondo TK . Ce caractère universel a été observé dans des métaux contenant une grande quantité d'impuretés magnétiques ainsi que dans des impuretés artificielles comme les boîtes quantiques. Pour être mis en évidence expérimentalement, l'élément tunnel connectant le moment local et le réservoir de Fermi doit être large et l'on réfère souvent au problème Kondo comme à un problème de couplage fort. Les boîtes quantiques latérales offrent de grandes possibilités d' étudier plus en détail l'effet Kondo. En particulier, contraindre la mer de Fermi à une région finie de l'espace et comprendre comment cela influence l'écrantage du moment local, est une question cruciale du problème Kondo. Nous présenterons des mesures de transport à travers une double boîte quantique où une boîte quantique de petite taille jouant le rôle d'impureté magnétique sera couplée à une boîte quantique de grande taille jouant le rôle de réservoir fini. Différentes expériences effectuées dans le régime de couplage fort entre boîtes nous confronterons à la nature multi-niveaux de la grande boîte quantique et montrerons l'importance de considérer l'hybridation de multiples niveaux d'énergie. De plus, nous présenterons des données où le transport à travers le système est médié par des mécanismes de types Kondo impliquant un niveau hybridé entre boîtes. A la dégénérescence de charge des boîtes quantiques, une amplification de la température Kondo résultant de la réduction de l'énergie de charge du système, permet de révéler un singulet Kondo à température finie. En analysant les différentes configurations de spin possibles, nous discuterons la compétition entre deux singulets pouvant être stabilisés dans le système, un singulet de type Kondo et un singulet entre boîtes où les effets à multiples niveaux jouent un rôle important. Nous pensons que la réduction du couplage d'échange entre boîtes due au faible écart entre niveaux d'énergie dans la grande boite quantique explique l'invariance du phénomène observé en ce qui concerne l'occupation de cette même boîte, et ceci à la température électronique de base de notre expérience.

La présence de lésions sur l'ADN contribue à déstabiliser sa structure, bloquant certains processus vitaux pour la cellule. Ces altérations peuvent cependant avoir un intérêt thérapeutique, par exemple dans le cas de l'utilisation d'anticancéreux tels que les dérivés du platine. Les adduits volumineux qu'ils génèrent, s'ils ne sont pas réparés, entraînent la cellule vers l'apoptose. La compréhension de la réponse à ces anticancéreux passe par l'étude des protéines qui interagissent directement avec les dommages, et dont l'ensemble constitue l'interactome des lésions de l'ADN. Ce travail de thèse présente le développement d'outils destinés à compléter la liste des protéines associées aux adduits du platine. Dans un premier temps, nous avons utilisé un piège à protéines (ligand fishing) constitué de plasmides lésés fixés sur des billes magnétiques. Trois dérivés du platine ont été sélectionnés pour générer les lésions : le cisplatine (molécule princeps), l'oxaliplatine, et le satraplatine. Ce piège a permis d'obtenir, à partir d'extraits nucléaires issus de cellules cancéreuses HeLa et grâce à une identification par protéomique, une liste de candidats comprenant des protéines déjà connues (HMGB1, hUBF, complexe FACT), mais aussi 29 nouveaux membres de l'interactome. Parmi ceux-ci, nous avons relevé PNUTS, TOX4 et WDR82, qui constituent les sous-unités du complexe PTW/PP, très récemment découvert. La présence de ce complexe a été également validée sur un modèle d'adénocarcinome mammaire MDA MB 231, et les conséquences biologiques de son interaction avec les adduits du platine devront maintenant être précisées. Dans un second temps, nous avons mis au point une biopuce permettant d'étudier les interactions ADN lésé/protéine par SPRi. Les affinités respectives d'HMGB1 et du nouveau candidat TOX4 pour les adduits des trois dérivés du platine ont pu être ainsi confirmées. Dans un dernier temps, nous avons étudié le rôle de DDB2 (acteur de la reconnaissance des photoproduits UV) dans la prise en charge des adduits platinés. Les expérimentations menées sur les cellules MDA MB 231 exprimant DDB2 de façon différentielle nous ont permis de vérifier que cette protéine ne participe pas à la réparation des adduits du cisplatine, contribuant plutôt à potentialiser l'action cytotoxique de cet agent. Dans le futur, nos microsystèmes pourront être adaptés à l'étude de l'interactome d'autres lésions de l'ADN.

Nous avons étudié la dynamique de spins de Mn dans des boîtes et des puits quantiques magnétiques II-VI, et mis en évidence que la dynamique complexe de ces Mn est régie par leur couplage avec les différentes excitations du solide. L'influence de l'environnement a notamment été explorée en fonction de la dimensionnalité des structures étudiées, de leur concentration en Mn ou du champ magnétique appliqué. Nous avons montré qu'en fonction de la valeur de ces variables, le couplage d'une des excitations du solide avec les Mn prend généralement le pas sur les autres. Grâce à des études de micro-spectroscopie magnéto-optique de boîtes quantiques magnétiques, nous avons d'abord mis en exergue l'influence des porteurs photocréés au voisinage des boîtes sur la dynamique des Mn. Ces porteurs génèrent un effet de chauffage des Mn via un mécanisme de flip-flop entre porteurs et Mn, contrôlé par une boucle de rétroaction positive. De plus, cet effet est d'autant plus important que le champ magnétique et la concentration en Mn sont faibles et que les dimensions du système sont petites. Ensuite, le développement expérimental d'une technique de "fort" champ magnétique pulsé nous a permis de sonder optiquement la dynamique des Mn dans des puits quantiques magnétiques. Ceci a permis d'observer une dynamique très rapide des Mn, en champ magnétique nul ou au voisinage, et à faible concentration en Mn. Cette dynamique, encore mal comprise, semblerait être liée à l'évolution, pendant l'impulsion de champ, de Mn isolés dont la structure énergétique interne est complexe à cause de l'interaction hyperfine et des contraintes.

Lorsqu'un émetteur est placé dans une cavité, il existe deux régimes de couplage lumière-matière : dans le régime dit de couplage faible, la cavité a pour effet de modifier le taux d'émission spontanée de l'émetteur. Cet effet perturbateur de la cavité est connu sous le nom d'effet Purcell. Dans le régime dit de couplage fort, l'interaction dipolaire électrique n'est plus perturbative ; les états-propres du système couplé sont des états mixtes lumière-matière. Dans le domaine temporel, ce couplage se traduit par le fait que l'émission spontanée devient réversible : le photon émis spontanément par l'émetteur dans le mode de cavité peut à nouveau être ré-absorbé par l'émetteur, puis ré-émis,...donnant ainsi lieu à un cycle d'oscillations de Rabi. Dans le domaine spectral, le couplage se manifeste par une levée de dégénerescence (ou doublet de Rabi) lorsqu'émetteur et mode de cavité sont mis en résonance. L'objet de cette thèse est la démonstration expérimentale du couplage fort entre un exciton confiné par une boîte quantique naturelle de GaAs et un mode de galerie d'un microdisque semi-conducteur.<br />Les paramètres-clefs pour atteindre ce régime sont, pour ce qui est de l'émetteur, sa force d'oscillateur ainsi que sa largeur spectrale, gouvernée par l'interaction avec l'environnement. Un chapitre est consacré à chacune de ces 2 notions-clefs. Concernant la cavité, les 2 figures de mérite pertinentes pour le renforcement de l'interaction lumière-matière sont le facteur de qualité et le volume modal. Nous présentons la réalisation technologique et la caractérisation des microdisques de GaAs (sur air et sur AlOx) les plus prometteurs en terme de facteur de qualité et volume modal.<br />Enfin, nous présentons la première démonstration expérimentale du régime de couplage fort pour une boîte quantique naturelle de GaAs en microdisque.