• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 649
  • 256
  • 79
  • 7
  • 6
  • 2
  • 1
  • Tagged with
  • 973
  • 346
  • 213
  • 190
  • 176
  • 164
  • 153
  • 118
  • 108
  • 105
  • 98
  • 98
  • 93
  • 87
  • 84
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
81

Des liquides surfondus aux verres : étude des corrélations à et hors équilibre / From supercooled liquids to glasses : a study of correlations in and out of equilibrium

Brun, Coralie 28 September 2011 (has links)
Lorsqu’un liquide est refroidit suffisamment vite, la cristallisation peut être évitée. On a alors un liquide surfondu dont le temps de relaxation augmente fortement quand la température diminue vers la température de transition vitreuse Tg. En-dessous de Tg, le systèmeest dans l’état vitreux. Il vieillit : son temps de relaxation augmente au cours du temps. L’existence d’une longueur de corrélation croissante associée au ralentissement de la dynamique des liquides surfondus (ou des verres) est une des grandes questions toujours ouvertes dans la physique de la transition vitreuse. Des arguments théoriques très généraux ont montré que la mesure de la susceptibilité alternative non linéaire d’ordre trois des liquides surfondus (ou des verres) donnait directement accès à la longueur de corrélation dynamique. Nous avons mis au point une expérience à haute sensibilité permettant d’accéder à deux susceptibilités diélectriques non linéaires d’ordre trois près de Tg. Nos résultats obtenus sur du glycrol surfondu sont quantitativement en très bon accord avec les prédictions théoriques. Ils montrent que la longueur de corrélation dynamique augmente lorsque T diminue vers Tg. En dessous de Tg, l’étude du vieillissement d’une des susceptibilités non linéaires nous a permis de mettre en évidence que la longueur de corrélation dynamique augmente au cours du temps. Ces résultats renforcent le scénario selon lequel la transition vitreuse serait liée à un point critique sous-jacent, ce qui expliquerait l’ubiquité du comportement vitreux dans la nature. / Upon fast enough cooling, a liquid avoids crystallization and enters in a supercooled state. The relaxation time of this supercooled liquid increases extremely fast when the temperature decreases towards the glass transition temperature Tg. Below Tg, the system is in the glassy state. It ages : the relaxation time increases with time. The existence of a growing correlation length associated to the slowing down of supercooled liquids (or of glasses) is one of the main open issues in the physics of the glass transition. On very general theoretical arguments, it has been shown that the third order a.c. nonlinear susceptibility around Tg gives direct access to the dynamical correlation length. We have developped a high sensibility experiment to measure, close to Tg, two nonlinear dielectric susceptibilities of the third order. Our results performed on supercooled glycerol are quantitatively in very good agreement with theoretical predictions. They show that the dynamical correlation length increases when T decreases towards Tg. Below Tg, aging experiments of one of the nonlinear susceptibilities reveal that the dynamical correlation length increases with time. These results clearly evidence the collective character of glassy dynamics and reinforce the picture of an underlying critical point, which would explain the ubiquity of the glass transition in Nature.
82

Automates Cellulaires Probabilistes : mesures stationnaires, mesures de Gibbs associées et ergodicité

LOUIS, Pierre-Yves 23 September 2002 (has links) (PDF)
Utilisés dans de nombreux domaines scientifiques, les Automates Cellulaires Probabilistes, usuellement abrégés en PCA, de l'anglais "Probabilistic Cellular Automata", constituent, au sein des dynamiques aléatoires à temps discret, une classe de systèmes infinis de particules, c'est à dire de processus stochastiques markoviens à valeurs dans un espace infini S^G où S désigne un ensemble fini et G est un graphe infini. On considère ici toujours le cas où G=Z^d. La particularité de ces dynamiques est l'évolution en parallèle, ou synchrone, de chacune des coordonnées ou composants élémentaires en interaction. Nous nous intéressons dans un premier temps à l'existence et à l'unicité des mesures stationnaires pour les dynamiques PCA non dégénérées i.e. dont le comportement local n'est jamais déterministe, ainsi qu'à la caractérisation de ces états d'équilibre en tant que mesures gibbsiennes. Nous fondant sur les résultats de Dai Pra, Kozlov, Künsch, Lebowitz, Vasilyev et al., nous précisons, pour la classe des dynamiques PCA réversibles, les relations existant entre les mesures stationnaires, les mesures réversibles et les mesures de Gibbs associées à un potentiel dont le lien avec la dynamique est explicité. Pour une famille paramétrée de dynamiques PCA réversibles, nous démontrons l'existence d'un phénomène de transition de phase et explicitons dans ce cas le comportement de différentes mesures de Gibbs sous l'action de ces dynamiques. En particulier, nous exhibons des mesures de Gibbs non-stationnaires. Dans un second temps, nous étudions l'ergodicité, i.e. la convergence vers l'équilibre des dynamiques PCA qui sont de plus attractives. Nous construisons à cet effet un couplage de ces dynamiques préservant l'ordre stochastique. En nous référant aux travaux de Martinelli et Olivieri pour les dynamiques de Glauber, nous établissons qu'en l'absence de transition de phase, dès que l'unique mesure de Gibbs vérifie une condition de faible mélange, il y a ergodicité et convergence à vitesse exponentielle vers cet unique état d'équilibre, améliorant en cela grandement les critères d'ergodicité pour les PCA existant dans la littérature. Enfin, nous illustrons ces résultats par la réalisation de simulations numériques de certaines des dynamiques réversibles précédemment étudiées, et présentons un algorithme parallèle convergeant vers les mesures de Gibbs extrémales du modèle d'Ising.
83

Détection de communautés dynamiques dans des réseaux temporels

Cazabet, Rémy 26 March 2013 (has links) (PDF)
La détection de communautés dans les réseaux est aujourd'hui un domaine ayant donné lieu à une abondante littérature. Depuis les travaux de Girvan et Newman en 2002, des centaines de travaux ont été menés sur le sujet, notamment la proposition d'un nombre important d'algorithmes de plus en plus élaborés. Cependant, la majorité de ces travaux portent sur des communautés statiques dans des réseaux statiques. Or, beaucoup de réseaux de terrains sont en fait dynamiques, ils évoluent au cours du temps. L'apport principal de cette thèse est donc la conception d'un algorithme de détection de communautés dynamiques sur des réseaux temporels. Le manuscrit est découpé en quatre sections : La première est un état de l'art, où sont passés en revu les méthodes existantes pour la détection de communauté, statiques, dynamiques, avec et sans recouvrement. La seconde est la présentation de la solution que nous proposons : iLCD, un framework pour la détection de communautés dynamiques dans les réseaux temporels, ainsi que deux implémentations de ce framework. La troisième partie présente les travaux effectués pour valider iLCD sur le plan statique, c'est à dire valider que les communautés trouvées sont pertinentes comparées à d'autres algorithmes existant sur des réseaux statiques. Pour ce faire, nous proposons des idées originales, afin de pouvoir comparer des méthodes sur des graphes réels. Enfin, la dernière partie est consacrée à la validation de l'aspect dynamique d'iLCD. En effet, la dynamique introduit des données supplémentaires : l'apparition et la disparition de communautés, leur évolution en continue, ainsi que des opérations complexes, telles que la fusion ou la division de communautés au cours du temps. Ce sont ces aspects qui sont validés ici, en étudiant en détail les résultats obtenus sur des réseaux réels.
84

Analyse de sûreté de procédés multi-modes par des méthodes à base d'intervalles

Shahriari, Kyarash 03 May 2007 (has links) (PDF)
Lorsqu'un système physique est en fonctionnement, un des objectifs d'une analyse de sûreté est d'être sûr que les variables caractérisant l'état du système suivent une certaine trajectoire ou restent dans une zone donnée compte tenu de toutes les perturbations et les incertitudes sur les paramètres et les mesures du système. Une solution originale pour ce problème est proposée dans ce document à l'aide d'une approche ensembliste qui consiste à calculer l'ensemble des trajectoires possibles générées en présence des perturbations dues à l'environnement du système et à la méconnaissance des modèles du système se traduisant par des incertitudes sur la valeur de certains de ses paramètres. Dans le cas de notre problème, les incertitudes peuvent porter sur les valeurs des paramètres, l'état initial ou les mesures du système. Pour garantir le résultat de l'analyse de sûreté, toutes les trajectoires doivent être envisagées, pour toutes les perturbations et les incertitudes considérées. Pour représenter le comportement d'un système complexe (un système multi mode ou un système non-linéaire), au lieu d'utiliser un modèle avec une structure complexe, une approche standard est de diviser le régime opératoire du système en zones locales est de représenter chaque zone par un modèle linéaire avec une structure simple.On essaie dans ce travail de thèse d'apporter une solution au problème d'identification de systèmes incertains dans un premier temps par un modèle mono-mode et ensuite par un modèle multi-mode pour un objectif d'analyse de sûreté de système. Ce document est constitué de cinq chapitres. Dans le premier chapitre, la problématique du travail est détaillée. Dans le deuxième chapitre, un état de l'arc sur la problématique étudiée est donné. On traite ensuite du problème d'identification et de simulation d'un modèle ensembliste (intervalle) dans le chapitre trois. Pour améliorer la qualité de lé modélisation et augmenter la précision de la prédiction, une approche méthodologique est proposée dans le chapitre quatre pour identifier et pour simuler ce modèle intervalle. Dans le dernier chapitre, une conclusion est apportée sur l'ensemble de ce travail de thèse.
85

Analyse et contrôle des systèmes dynamiques polynomiaux

Ben Sassi, Mohamed Amine 15 April 2013 (has links) (PDF)
Cette thèse présente une étude des systèmes dynamiques polynomiaux motivée à la fois par le grand spectre d'applications de cette classe (modèles de réactions chimiques, modèles de circuits électriques ainsi que les modèles biologiques) et par la difficulté (voire incapacité) de la résolution théorique de tels systèmes. Dans une première partie préliminaire, nous présentons les polynômes multivariés et nous introduisons les notions de forme polaire d'un polynôme (floraison) et de polynômes de Bernstein qui seront d'un grand intérêt par la suite. Dans une deuxième partie, nous considérons le problème d'optimisation polynomial dit POP. Nous décrivons dans un premier temps les principales méthodes existantes permettant de résoudre ou d'approcher la solution d'un tel problème. Puis, nous présentons deux relaxations linéaires se basant respectivement sur le principe de floraison ainsi que les polynômes de Bernstein permettant d'approcher la valeur optimale du POP. La dernière partie de la thèse sera consacrée aux applications de nos deux méthodes de relaxation dans le cadre des systèmes dynamiques polynomiaux. Une première application s'inscrit dans le cadre de l'analyse d'atteignabilité : en effet, on utilisera notre relaxation de Bernstein pour pouvoir construire un algorithme permettant d'approximer les ensembles atteignables d'un système dynamique polynomial discrétisé. Une deuxième application sera la vérification et le calcul d'invariants pour un système dynamique polynomial. Une troisième application consiste à calculer un contrôleur et un invariant pour un système dynamique polynomial soumis à des perturbations. Dans le contexte de l'invariance, on utilisera la relaxation se basant sur le principe de floraison. Enfin, une dernière application sera d'exploiter les principales propriétés de la forme polaire pour pouvoir étudier des systèmes dynamiques polynomiaux dans des rectangles.
86

Analyse et commande des systèmes non linéaires complexes : application aux systèmes dynamiques à commutation

Ben Salah, Jaâfar 03 December 2009 (has links) (PDF)
Ce mémoire de thèse présente deux nouvelles approches pour l'analyse et la commande des systèmes non-linéaires complexes, comme les systèmes dynamiques à commutation de la classe des convertisseurs d'énergie électrique. Ces systèmes ont plusieurs modes de fonctionnement et ont un point de fonctionnement désiré qui, en général, n'est le point d'équilibre d'aucun des modes. Dans cette classe de systèmes, la commutation d'un mode de fonctionnement à un autre est commandée selon une loi qui doit être synthétisée. Par conséquent, la synthèse de commande implique l'étude des conditions qui permettent à un cycle limite stable de s'établir au voisinage du point de fonctionnement désiré, puis de la trajectoire de commande qui permet de l'atteindre en respectant les contraintes physiques de comportement (courant maximum supporté par les composants,. . .) ou les contraintes de temps (durée minimum entre deux commutations,. . .). Le cycle limite sera qualifié d'hybride car il est composé de plusieurs dynamiques(deux dans ces travaux).La première méthode développée s'appuie sur les propriétés géométriques des champs de vecteurs et est une extension d'une partie des travaux de thèse de Manon au LAGEP. Une condition nécessaire et suffisante d'existence et de stabilité d'un cycle limite hybride composé d'une séquence de deux modes de fonctionnement dans IR2 est présentée. Ce cycle définit la région finale à atteindre par le système depuis son état initial, par une trajectoire déterminée de manière optimale selon un critère donné (durée totale, énergie dépensée, . . .). La méthode proposée est appliquée aux convertisseurs d'énergie Buck et Buck-Boost alimentant une charge résistive. Une extension à IRn a été proposée et démontrée. Elle est illustrée sur un système non-linéaire dans IR3.La deuxième méthode est développée dans IR2 et basée sur la théorie de Lyapunov, bien connue en automatique pour étudier la stabilité des systèmes non-linéaires et concevoir des commandes stabilisantes.Il s'agit de déterminer par une approche géométrique, une fonction de Lyapunov quadratique commune aux deux modes de fonctionnement du système, qui permette d'obtenir un cycle limite hybride stable le plus proche possible du point de fonctionnement désiré et une commande stabilisante directe des interrupteurs
87

Essays in international economics / Essais en économie internationale

Haidar, Jamal Ibrahim 23 November 2015 (has links)
Cette thèse de doctorat est composée de trois chapitres indépendants. Dans le premier chapitre, je découvre l'existence, l'étendue, et le mécanisme de déviation des exportations, qui a suivi la destruction des exportations, après l'imposition de sanctions contre les exportations des exportateurs iraniens. En utilisant des données très désagrégées sur les exportations non-pétrolières iraniennes, je conclus que les sanctions sur les exportations peuvent être moins efficaces dans un monde globalisé, les exportateurs peuvent détourner leurs exportations d'une destination à une autre. Dans le deuxième chapitre, je montre que (I) les effets de pairs existent à travers les exportateurs aux marges intensives et extensives dans le commerce international et (II) les explorateurs ne sont pas nécessaires des exploiteurs. Ces résultats suggèrent un rôle aux décideurs politiques pour inciter les exportateurs à internaliser les externalités créées par l'exploration du marché, de manière à exploiter (non seulement explorer) ces marchés ainsi que survivre plus longtemps et de se développer plus rapidement dans ces marchés. Dans le troisième chapitre, je vérifie si l'effet de la langue sur le commerce provient de l'ethnicité et de la confiance ou de la facilité de communication. Je montre que (I) la facilité de canal de communication est beaucoup plus importante que l'origine ethnique et le canal de confiance au sein de l'effet de la langue sur le commerce; (II) la plupart des exportateurs sont capables de traverser quelques barrières linguistiques seulement, limitant leur capacité à pénétrer de nouveaux marchés; et (III) un effet de langage acquis parlé en commun existe entre les marchés séquentiels à quoi les exportateurs entrent, suggérant que les exportateurs pénètrent de nouveaux marchés de manière systématique. Du point de vue politique à prévoir, comme plusieurs pays sont actuellement en train de remodeler leurs institutions, ces résultats mettent en évidence les avantages économiques - par la voie du commerce potentiel - d'encourager l'apprentissage des langues étrangères. / This Ph.D. thesis is composed of three independent chapters. In the first chapter, I uncover the existence, extent, and mechanism of exports deflection, which followed exports destruction, after the imposition of exports sanctions against Iranian exporters. Using highly disaggregated data about Iranian non-oil exports, I conclude that exports sanctions may be less effective in a globalized world as exporters can deflect their exports from one export destination to another. In the second chapter, I show that (i) peer-effects exist across exporters at the intensive and extensive margins in international trade and (ii) explorers are not necessary exploiters. These findings suggest a role for policy makers to provide incentives for exporters to internalize externalities created by market exploration in a way to exploit (not only explore) these markets as well as survive longer and grow faster in them. In the third chapter, I investigate whether the language effect on trade comes from ethnicity and trust or from ease of communication. I show that (i) the ease of communication channel is much more important than ethnicity and trust channel within the language effect on trade; (ii) most exporters are able to cross few linguistic barriers only, limiting their ability to enter new markets; and (iii) a common spoken acquired language effect exists between sequential markets that exporters enter to, suggesting that exporters enter new markets in a systematic manner. From a policy perspective, given various countries are currently re-shaping their institutions, these results highlight economic benefits - through the potential trade channel - of encouraging foreign language learning.
88

Feições eólicas quaternárias e vulnerabilidades agrícolas em áreas de arenização no Pampa brasileiro / Dépôts éoliens quaternaires et vulnérabilité concernant les activités agricoles en zones d'arenização dans la Pampa brésilienne / Quaternary sand deposits and vulnerability to agricultural activities in areas of Arenizaçao in brazilian pampa

Gomes, Tania Cristina 04 July 2019 (has links)
Dans le Sud-Ouest de l’État du Rio Grande do Sul, la Pampa brésilienne comprend des taches de sable (areal) enclavées dans le paysage.Elles sont en lien avec des dépôts éoliens stabilisés et/ou instables, hérités d’un climat plus sec que l’actuel et constituent des indicateurs importants pour la compréhension de ce paysage. L’objectif de la thèse est d’identifier la dynamique de l’érosion à partir des traits géomorphologiques principaux du milieu (forme, matériaux superficiels). Les procédures méthodologiques comprennent des travaux de terrain et en laboratoire. Les prospections de terrain ont conduit à la cartographie et permis également de déterminer des points pour le prélèvement des échantillons de sédiments en vue des analyses granulométriques, morphoscopiques et de la datation des matériaux par la méthode de LOS - Protocole SAR. Au plan sédimentologique, les matériaux sont composés notamment par des sables quartzeux, de classe modale Sable Fin. Les caractéristiques morphologiques et optiques des grains de sable renseignent sur la compétence éolienne et sur le transport. La distribution des traits géomorphologiques, associée aux unités de relief, indique que les dépôts éoliens ont lieu substantiellement sur les sommets des collines, suivis par les vallées sèches. D’après l’occupation du sol on note une augmentation significative de la superficie destinée aux cultures annuelles au détriment de celle destinée aux prairies. La Pampa possède comme aptitude l’élevage, mais la conversion des pâturages en parcelles cultivées a intensifié la pression sur les ressources hydriques, la végétation herbacée et sur les sols sableux. / In southern Brazil exposes sand spots embedded in Brazilian Pampa landscape. Both stable and/or unstable wind deposits represent the inheritance of a drier climate than the current one and provide important paleoclimatic evidences for understanding this landscape. The objective of this thesis is to identify, associations between the current geomorphological features and the quaternary surface formations, as well as the erosive/depositional dynamics acting on these features, in the context of an area historically submitted to agricultural pressure. Methodological procedures included field, cabinet and laboratory work steps. Field observations led to the initial interpretations on the morphological evolution of stable and/or unstable eolian deposits, as well as to the survey of the four points of collection of sedimentary material, for both granulometric and morphological analyzes and for absolute dating, which was established by optically stimulated luminescence method (SAR protocol). The sediments are predominantly composed by quartz sands, of Fine sand modal class, varying to lesser fractions of Medium sand and Very fine sand. Both morphological and optical characteristics of the sediments clarify the eolic competence over the particles and their mobilization, demonstrating a certain degree of selection. The geomorphological features distribution associated to the relief units shows that the eolic deposits occur substantially on the tops of hills, followed by dry valleys. In relation to land uses, which was mapped between 1982 and 2016, there is a significant increase in the area devoted to crops, in detriment to the field one. The Pampas has livestock as its primary aptitude, but the conversion of land use, especially from pasture fields to crop, intensifies the pressure on water resources, on herbaceous vegetation and on sandy soils, which are particularly sensitive to erosion. / O Sul do Brasil expõe manchas de areia encravadas na paisagem do Pampa brasileiro. Os depósitos eólicos estáveis e/ou instáveis representam a herança de um clima mais seco do que o atual e fornecem evidências paleoclimáticas importantes para a compreensão dessa paisagem. O objetivo deste estudo é identificar associações entre as feições geomorfológicas atuais e as formações superficiais quaternárias, assim como as dinâmicas erosivas/deposicionais atuantes nessas feições, no contexto de uma área submetida historicamente à pressão agrícola. Os procedimentos metodológicos incluíram etapas de trabalho de campo, de gabinete e de laboratório. A observação de campo conduziu interpretações sobre a evolução morfológica dos depósitos eólicos e o levantamento dos quatro pontos de coletas de material sedimentar eólico, para análises granulométrica, morfoscópica e para a realização de datação absoluta pelo método LOE. Os sedimentos são compostos predominantemente por areias quartzosas, de classe modal Areia Fina. As características morfológicas e ópticas dos sedimentos esclarecem quanto à competência eólica sobre as partículas e sobre seu transporte, demostrando certo grau de selecionamento. A distribuição das feições geomorfológicas, associada às unidades de relevo mostra que os depósitos eólicos ocorrem substancialmente sobre os topos de colinas, seguido de vales secos. Os usos da terra, há um aumento significativo da superfície destinada à Lavoura, em detrimento à de Campo. O Pampa possui, como aptidão a pecuária, mas a conversão de uso em lavoura, intensifica a pressão sobre os recursos hídricos, vegetação herbácea e solos francamente arenosos, sensíveis à erosão.
89

L'école communautaire à la Commission scolaire de Montréal étude des logiques d'action

Lemaire, France January 2010 (has links)
Cette étude visait à identifier et à circonscrire les rapports à l'école communautaire qui sous-tendent les dynamiques relationnelles qui prennent place au sein d'établissements primaires de la Commission scolaire de Montréal, de milieu socioéconomique faible. Dans plusieurs régions du Québec, en éducation, ont été instaurés, au niveau national, régional et local, divers programmes, mesures et incitatifs visant la réussite des élèves et articulés autour de la nécessité d'établir des collaborations entre les acteurs du milieu dans le but de répondre aux besoins de la clientèle scolaire. Notre étude se fonde sur le postulat que les projets éducatifs et les plans de réussite des écoles seraient vecteurs de pratiques collaboratives qui mettent en relation les milieux scolaire, familial et communautaire. Cette recherche, tout en dressant un portrait des logiques d'action au sein d'établissements qui valorisent le développement de l'école communautaire, met en lumière des pistes de réflexion qui concernent les dynamiques relationnelles qui s'ancrent au sein d'une communauté éducative regroupant l'école, la famille et la communauté.
90

Méthode du potentiel adaptée à la commande autonome d'un satellite sous contraintes dynamiques et directionnelles

Maignan, Simon January 2014 (has links)
La demande de réduire les coûts de conception et d'exploitation amène aujourd’hui à la recherche de plus d’autonomie à bord des satellites. On souhaite par exemple réduire les frais d'opération en employant moins de main-d'œuvre pour le calcul des trajectoires ou en optimisant l’utilisation des actionneurs. On désire également augmenter la performance des satellites pour obtenir de meilleurs résultats. Cependant, l’apport d’autonomie au sein des satellites ne peut se faire au détriment de la fiabilité. Par ailleurs, la présence de charges utiles sensibles à certains éléments dangereux entourant le satellite (Soleil, Terre...) ou la complexité des missions de mesure ou de pointage demande un apport important en manœuvrabilité directionnelle des satellites. L’apport de l’autonomie impose donc la prise en charge des directions dangereuses qui étaient normalement évitées par les commandes issues de la station au sol. On retrouve donc un besoin d’autonomie de manœuvre auquel il faut ajouter une autonomie d’évitement de directions dangereuses. La méthode du potentiel apparait comme une technique de guidage qui permettrait de combler ces deux besoins. Elle a notamment déjà fait ses preuves dans le domaine d’évitement d’obstacle des robots mobiles autonomes et des robots manipulateurs. C’est une démarche caractérisée par sa simplicité d’utilisation et qui se base sur le principe de forces virtuelles appliquées au véhicule. Les obstacles exercent des forces répulsives et la cible une force attractive. À partir de ces affectations, un champ de potentiel est créé et le vecteur vitesse du véhicule est déterminé par le gradient de ce dernier. L’application de la méthode du potentiel au domaine de l’aérospatiale n’a jamais complètement abouti. En effet, quelques auteurs ont démontré la faisabilité théorique de la méthode, mais sans pour autant tenir compte des contraintes réelles d’une application. Ce projet portera donc sur l'adaptation de cette approche afin de la rendre réalisable sur un satellite en mission.

Page generated in 0.0566 seconds