Spelling suggestions: "subject:"implicit""
61 |
L'implicite dans "A la recherche du temps perdu" : étude sur un aspect du discours proustien / The implicit in "In search of lost ime" : study on an aspect of proustien speechSalman, Lubna Hussein 17 June 2013 (has links)
L'implicite se définit comme un contenu présent dans le discours sans être formellement exprimé. Le présupposé et le sous-entendu forment les deux concepts fondamentaux de cette notion. Ils agissent comme des informations impliquées dans le discours, dont on peut saisir ou décrypter l’essence à l'aide des théories de la pragmatique et de la linguistique énonciative. Le discours proustien fait un usage remarquable de cette notion et de ses concepts. Ce travail est entièrement consacré à la recherche de l'implicite dans À la recherche du temps perdu de Marcel Proust. Le développement de cette notion, dans cette œuvre, se dessine d'une part, à travers l'interaction verbale des personnages proustiens, et d'autre part, à travers le discours du narrateur qui s'oriente vers une nouvelle tendance, celle d'un narrateur et d'un narrataire implicites. L'intérêt de cette étude consiste à catégoriser l'implicite proustien et à mettre en lumière son statut linguistique, puis la façon dont il est employé. / The implicit is defined as content present in speech without being formally expressed. Presupposition and implied content are the two fundamental elements of this concept. They act as information implied in speech whose essence the speaker can grasp or decrypt using the theories of pragmatics and enunciative linguistics. Proustian speech constitutes a remarkable example of the use of the implicit and its concepts. The present work is entirely devoted to the search for the implicit in Proust’s In Search of Lost Time. In our work, the development of this concept emerges especially in the verbal interaction between Proust's characters, also, through the speech of the narrator who opts for a new trend that of an implicit narrator and his narratee. The interest of this study consists in categorizing the Proustian implicit and clarifying its linguistic status and use.
|
62 |
Learning with and without consciousness: empirical and computational explorations / Apprentissage avec et sans consciencePasquali, Antoine 12 September 2009 (has links)
Is it possible to learn without awareness? If so, what can learn without awareness, and what are the different mechanisms that differentiate between learning with and without consciousness? How can best measure awareness?<p><p>Here are a few of the many questions that I have attempted to investigate during the past few years. The main goal of this thesis was to explore the differences between conscious and unconscious learning. Thus, I will expose the behavioral and computational explorations that we conducted during the last few years. To present them properly, I first review the main concepts that, for almost a century now, researchers in the fields of neuroscience have formulated in order to tackle the issues of both learning and consciousness. Then I detail different hypotheses that guided our empirical and computational explorations. Notably, a few series of experiments allowed identification of several mechanisms that participate in either unconscious or conscious learning. In addition we explored a computational framework for explaining how one could learn unconsciously and nonetheless gain subjective access to one’s mental events. After reviewing the unfolding of our investigation, I detail the mechanisms that we identified as responsible for differences between learning with and without consciousness, and propose new hypotheses to be evaluated in the future.<p> / Doctorat en Sciences Psychologiques et de l'éducation / info:eu-repo/semantics/nonPublished
|
63 |
Application d'une formulation explicite en vitesse à la modélisation numérique du forgeageTeodorescu, Mihaela 03 May 2002 (has links) (PDF)
Ce travail apporte une contribution à la modélisation numérique du forgeage à chaud à grande vitesse. Dans ce cadre, une formulation dynamique partiellement explicite en accélération/pression est proposée. Tout d'abord, plusieurs formulations implicites vitesse/pression (quasi-statique et dynamique) sont présentées et discutées. Leur solution est considérée comme référence par la suite. La formulation dynamique partiellement explicite est ensuite présentée dans le contexte viscoplastique. La vitesse courante étant supposée connue, le traitement du comportement non-linéaire du matériau est évité. Ainsi, le système associé au problème est linéaire. La discrétisation éléments finis est basée sur le mini-élément P1 + /P1. Son application à une approche dynamique mixte accélération/pression est examinée et quelques approximations sont effectuées afin de simplifier la formulation. Cette nouvelle approche a été implémentée avec succès dans une version du code FORGE2. Des comparaisons avec les approches implicites de référence ont été réalisées pour des tests de traction et de compression et prouvent la pertinence de notre approche. Une amélioration concernant la perte de volume est constatée. De plus, une réduction du CPU d'au moins 20% est obtenue lorsque le même pas de temps est utilisé dans les cas implicite et partiellement explicite. La procédure est généralisée au cas élasto-viscoplastique. Afin de simplifier la résolution du problème, une nouvelle stratégie est explorée. Elle consiste à résoudre un système linéaire uniquement en pression. L'accélération est calculée ensuite explicitement en fonction de la pression. Les estimations réalisées nous font envisager des gains significatifs de temps de calcul en 2D et en 3D. La formulation partiellement explicite proposée représente donc une alternative pour la simulation du forgeage à chaud.
|
64 |
Schéma implicite pour la résolution d'un système hyperbolique d'équations aux dérivées partiellesMichaud, Matthieu January 2002 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
65 |
Exposition sélective et prévention du tabagisme : apport d'une mesure d'attitude implicite dans le renouvellement du paradigme expérimental / Selective exposure and smoking prevention : contribution of an implicit measure of attitude for the renewal of the paradigm of selective exposureBardin, Brigitte 29 November 2013 (has links)
Les campagnes de prévention reposent sur le postulat que l’individu prend connaissance des messages qui lui sont proposés. Or, l’un des moyens les plus simples pour résister à la persuasion est de ne pas s’y confronter. A suivre la théorie de la dissonance cognitive (Festinger, 1957), les individus ont tendance à s’exposer aux informations en accord avec leurs opinions et à éviter celles susceptibles de les remettre en cause. Les recherches menées dans ce domaine ne permettent pas de mettre systématiquement en évidence un évitement de l’information inconsistante avec les comportements et/ou les attitudes. Une première explication relève de problèmes méthodologiques dans le paradigme expérimental classiquement utilisé (Brock & Balloun, 1967). Ainsi, utiliser des mesures discrètes (Olson & Zanna,1979) et commencer par mesurer l’exposition avant l’attitude semble permettre la manifestation de l’effet (Lavoie & Thompson, 1972, Olson & Zanna, 1979). Une seconde explicitation tient dans la manière dont est mesurée l’exposition à l’information. Il semble nécessaire que l’individu soit réellement confronté à l’information (ou pense l’être) (Brock & Balloun, 1967). Une troisième explication renvoie à la mesure de l’attitude. Dans le paradigme expérimental traditionnellement utilisé, l’exposition sélective est étudiée au regard d’un comportement et/ou d’une attitude auto-rapportée. Or, d’une part un comportement n’est pas forcément consistant avec une attitude, et, d’autre part, les mesures explicites de l’attitude sont limitées par la désirabilité sociale et les facultés réduites d’introspection. L’objectif majeur de cette thèse consiste en la conception de protocoles expérimentaux permettant de mettre en évidence de l’exposition sélective envers l’information de prévention du tabagisme. Dans cet objectif, un outil de mesure implicite de l’attitude (Single Category Association Test Personalized, SC-IAT-P, Bardin, Perrissol, Py, Launay & Escoubès, en révision) a été spécialement développé. Les résultats obtenus attestent de l’utilité d’une telle mesure dans la mise en évidence du phénomène d’exposition sélective. Ils soulignent également, comme facteur de son émergence, l’engagement des individus dans leur comportement. De plus, concernant le tabagisme, seule la mesure implicite de l’attitude permet de prédire d’une part, un changement de comportement et, d’autre part, une exposition à l’information de prévention. / Preventive campaigns are based on the assumption that individual deals with this type of persuasive messages. However, one of the easiest ways to resist to the persuasion is to avoid these messages. According with the theory of cognitive dissonance (Festinger, 1957), individuals tend to expose themselves to information in accordance with their opinions and avoid all those likely to challenge them. The results of various experiments in this area do not permit to identify a systematic avoidance of information inconsistent with the attitudes of individuals. A first explanation is methodological problems in the traditional experimental paradigm used (Brock and Balloun, 1967). Thus, the use of discrete measures (Olson & Zanna, 1979) and to begin the experimentation by measuring exposure before the attitude seems to produce results more in line with the postulates of the theory (Lavoie & Thompson, 1972, Olson & Zanna, 1979). A second explanation could be the measurement of the exposure to information. It seems necessary that the individual should be actually confronted with the information (or thinks he will be) (Brock & Balloun, 1967). A third explanation could be the use of self-reported measures of attitude and/or behavior. However, on the one hand, the behavior of an individual is not necessarily consistent with his attitude, and, secondly, explicit measures of attitude are limited by social desirability as well as reduced capacity of introspection from individuals. The main goal of this thesis is to design an experimental protocol for studying the phenomenon of selective exposure especially toward smoking. To this aim, a test to measure implicit attitudes (Single Category Implicit Association Test Personalized, Bardin, Perrissol, Py, Launay & Escoubès, under review) has been specially developed. The results demonstrate the usefulness of this measure in the highlighting of selective exposure. It also points out the commitment of individuals in their behavior as a factor in its emergence. Furthermore, smoking, only the measure of implicit attitude predicts a behavioral change and an exposure to preventive information.
|
66 |
Boosting implicit learning with temporal regularities / Stimuler l'apprentissage implicite avec des régularités temporellesSelchenkova, Tatiana 29 November 2013 (has links)
L'apprentissage implicite est une acquisition d'information complexe sans intention d'apprendre. Le but de cette thèse est de déterminer comment des régularités temporelles peuvent influencer l'apprentissage implicite d'une grammaire artificielle basée sur des structures de hauteur des notes. Selon la théorie de l'attention dynamique (Jones, 1976), il y a une synchronisation entre des régularités temporelles des événements externes et des oscillateurs internes qui guide l'attention à travers le temps et aide à développer les attentes perceptives et temporelles. Notre hypothèse est que des structures métriques fortes pourront stimuler l'apprentissage implicite. Nous faisons l'hypothèse que le fait de présenter des hauteurs de notes avec des structures métriques fortes permet de développer des attentes temporelles par rapport à l'arrivée du prochain évènement. Ces attentes facilitent le traitement de hauteur des notes et ensuite «boostent» l'apprentissage implicite de la grammaire artificielle. Trois études ont été réalisées pendant cette thèse. L'étude 1 était une étude comportementale dans laquelle nous avons étudié l'influence d'une présentation temporelle régulière (avec une métrique forte) vs. irrégulière sur l'apprentissage implicite d'une grammaire artificielle basée sur des structures de hauteur des notes. Les résultats ont montré que la présentation temporelle influence l'apprentissage implicite et que la présentation temporelle régulière représente un avantage pour l'apprentissage implicite par rapport à la présentation temporelle irrégulière. Dans une étude électrophysiologique (L'étude 2) nous avons étudié quelle présentation temporelle de la grammaire artificielle, rythmique avec une métrique forte ou isochrone, serait plus efficace pour apprendre implicitement la grammaire des hauteurs des notes. Les résultats électrophysiologiques ont montré que les structures métriques apportent un bénéfice supplémentaire à l'apprentissage implicite. Dans l'étude 3 nous avons étudié comment des structures métriques fortes permettent d'améliorer les capacités d'apprentissage implicite chez des patients avec des lésions dans le cortex frontal inférieur qui ont été décrits comme déficitaires pour apprendre des structures artificielles. Les résultats comportementaux et électrophysiologiques ont montré que les patients atteints de lésions dans le cortex frontal inférieur sont capables d'apprendre une nouvelle grammaire artificielle malgré leurs lésions et leur déficit syntaxique. Il pourrait être utile d'exploiter cet avantage de la présentation métrique chez les patients, pour qui un déficit de l'apprentissage implicite a été montré avec des matériaux non-métriques et non musicaux / The thesis aims to investigate how temporal regularities can influence the implicit learning of artificial pitch structures. Implicit learning refers to the acquisition of structure knowledge by mere exposure. According to the Dynamic Attending Theory proposed by Jones (Jones, 1976), internal attentional oscillators synchronize with external temporal regularities, helping to guide attention over time and to develop temporal and perceptual expectations about future events. We made the hypothesis that strongly metrical structures might boost implicit learning, and in particular, that the strongly metrical presentation of pitch structures helps listeners to develop temporal expectations about the occurrence of the next event and thus benefits to the processing of the pitch dimension, leading to better learning of the artificial material. Three studies were realized during this PhD thesis. In Study 1, we used a behavioral approach to investigate how regular and irregular temporal presentations of an artificial pitch grammar influence implicit learning. The data revealed that both types of temporal presentations can influence implicit learning, but that the regular presentation leads to an advantage over the irregular presentation. In Study 2, we used behavioral and electrophysiological methods to investigate which type of regular temporal presentation of the artificial grammar, i.e. strongly metrical or isochronous, leads to better implicit learning of pitch structures. Electrophysiological results showed that the metrical framework provided an additional benefit for the pitch structure learning. In Study 3, we investigated whether the strongly metrical presentation allows patients with left inferior frontal lesions (with previously reported deficits for implicit learning) to learn the artificial pitch grammar. Behavioral and electrophysiological results showed that patients with left inferior frontal gyrus lesions acquired the new artificial grammar despite their lesions and despite previously reported deficits in implicit learning and syntax processing of natural language. It might be useful to exploit the potential benefit of the strongly metrical presentation further in patients for who impaired IL has been shown with non-musical and non-metrical materials
|
67 |
L'apprentissage implicite d'une grammaire artificielle chez l'enfant avec et sans retard mental : rôle des propriétés du matériel et influence des instructions / Artificial grammar implicit learning in children with and without mental retardation : role of the material's properties and influence of the instructionsWitt, Arnaud 24 September 2010 (has links)
Cette thèse investigue l'apprentissage implicite d'une grammaire artificielle chez l'enfant avec et sans retard mental à travers le rôle des propriétés de surface du matériel (répétitions adjacentes ou non-adjacentes) et l'influence des instructions en phase test (tests de génération implicite ou explicite). Un des objectifs est de départager quatre des principaux modèles de l'apprentissage implicite en examinant la sensibilité aux propriétés de surface saillantes du matériel présenté à des enfants d'âges différents. La robustesse des capacités d'apprentissage implicite face au développement et au niveau intellectuel est également testée en rapport avec la perméabilité des instructions en phase test aux influences explicites. Enfin, ces travaux étudient l'appréhension des stimuli d'entraînement et l'adaptation comportementale progressive en fonction de l'âge des sujets et des caractéristiques perceptives et statistiques du matériel. Les résultats révèlent une sensibilité aux propriétés de surface spécifiques aux séquences d'entraînement plutôt qu'à la structure grammaticale à partir de laquelle elles ont été construites. Les Expériences 1 et 3 montrent que l'apprentissage est invariant face à l'âge et au niveau intellectuel lorsque les consignes limitent les contaminations explicites. En revanche, malgré une phase d'apprentissage identique aux Expériences 1 et 3, les Expériences 2 et 4 indiquent l'émergence d'effets d'âge et une altération des performances chez les enfants présentant un retard mental, lorsque les instructions délivrées en test sollicitent des processus intentionnels de récupération de l'information. L'Expérience 5 montre que différents types de saillances (perceptive, positionnelle et statistique) guident l'appréhension du matériel lors de la phase d'étude et ce, de manière concurrentielle, avant de conduire à la formation progressive d'unités plus complexes. Cette thèse apporte des éléments en faveur d'un apprentissage spécifique des stimuli, basé sur le traitement attentionnel de leurs propriétés de surface et la mise en œuvre de mécanismes associatifs de base. Elle confirme également les postulats de robustesse propres aux processus implicites et précise les précautions méthodologiques nécessaires à l'étude des capacités d'apprentissage implicite, telles que la neutralité des procédures aux influences explicites ou l'emploi d'un groupe contrôle. / This thesis investigates artificial grammar implicit learning in mentally retarded and typically developing children through the role of the surface features (adjacent or non-adjacent repetitions) of the material and the influence of test instructions (implicit or explicit generation tests). One of the aims is to differentiate between four of the main implicit learning models by examining the sensitivity to the perceptually salient features of the material presented to children of different ages. The robustness of implicit learning capacities in the face of development and intellectual level is equally tested according to the permeability of the test instructions to explicit influences. Finally, these experiments study the apprehension of the training stimuli and the progressive behavioural adaptation as a function of the age of the participants and the perceptual and statistical characteristics of the material. The results reveal sensitivity to the specific surface features of the training sequences rather than to the grammatical structure from which they were built. On the one hand, Experiments 1 and 3 show that implicit learning is invariant with age and intellectual level when the test instructions limit the explicit contaminations. On the other hand, despite the same training phase used in Experiments 1 and 3, Experiments 2 and 4 indicate age effects and a performance impairment in children with mental retardation, when the test instructions elicit intentional information retrieval processes. Experiment 5 shows that different types of saliencies (perceptual, positional and statistical) guide the apprehension of the material during the training phase operating concurrently, before leading to the progressive formation of more complex units. This thesis brings elements in favour of a stimuli-specific learning, based on the attentional processing of their surface features and the involvement of basic associative mechanisms. It also confirms the postulates of robustness of implicit processes and states the methodological precautions that are necessary to the study of implicit learning capacities, such as the neutrality of the procedures to explicit influences or the use of a control group.
|
68 |
Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation / Linearity : an analytic tool in the study of complexity and semantics of programming languagesGaboardi, Marco 12 December 2007 (has links)
Dans la première partie, on propose un système de type pour le lambda-calcul, dans le style du calcul des séquents, nomme « Soft Type Assignment » (STA) qui est inspiré par la logique linéaire « soft ». STA a la propriété de réduction du sujet et est correct et complète pour les calculs en temps polynomial. Par la suite on propose un déduction naturelle, STA_N. Ce système est simple mais il a le désavantage que les variables dans le sujet peuvent être explicitement renommées. Pour résoudre ce problème, on propose le système STA_M, où les contextes sont des multi-ensembles, donc les règles pour renommer les variables peuvent être interdit. L’inférence de type pour STA_M ne semble pas décidable. On propose un algorithme qui pour chaque lambda-terme rend l’ensemble de contraintes que doivent être satisfait pour que le terme soit type. Pi est correct et complet. Ensuite on étend le lambda-calcul par des constantes booléennes et on propose le système STA_B. La particularité de STA_B est que la règle du conditionnel utilise les contextes de façon additive. Chaque programme de STA_B peut être exécuté, par une machine abstraite, en espace polynomial. De plus le système est aussi complet pour PSPACE. Dans la deuxième partie, on propose une restriction de PCF, nommée SlPCF. Ce langage est équipé avec une sémantique opérationnelle qui mélange l’appelle par nom et l’appelle par valeur et peut être interprèté en mode standard dans les espaces cohérents linéaires. SlPCF est complet pour les fonctions récursives, mais il n’est pas complet et donc il n’est pas fully abstract pour les espaces cohérents linéaires / In the first part, we propose, inspired by Soft Linear Logic, a type assignment system for lambda-calculus in sequent calculus style, named Soft Type Assignment (STA). STA enjoys the subject reduction property. and is correct and complete for polynomial time computations. Then, we propose a natural deduction named STA_N. While simple, STA_N has the disadvantage of allowing the explicit renaming of variables in the subject. To overcome to this problem, we propose another natural deduction system, named STA_M, where contexts are multisets, hence rules renaming variables can be avoided. The type inference for STA_M seems in general undecidable. We propose an algorithm Pi returning, for every lambda-term, a set of constraints that need to be satisfied in order to type the term. Pi is correct and complete. We extend the lambda-calculus by basic boolean constants and we propose the system STA_B. The peculiarity of STA_B is that the conditional rule treats the contexts in an additive way. Every STA_B program can be executed, through an abstract machine, in polynomial space. Moreover, STA_B is also complete for PSPACE. In the second part we propose a restriction of PCF, named SlPCF. The language is naturally equipped with an operational semantics mixing call-by-name and call-by-value parameter passing and it can be interpreted in linear coherence space in a standard way. SlPCF is recursive complete, but it is not complete, and thus not fully abstract, with respect to linear coherence spaces
|
69 |
Systèmes producteurs de confiance : ouverture de droit à des services par apprentissage dynamique du comportement des utilisateurs du système d'information / Design of a right-to-service system by dynamic learning of the information service users' behaviourDia, Diyé 17 March 2016 (has links)
Résumé indisponible. / Résumé indisponible.
|
70 |
Continuous formulation of implicit structural modeling discretized with mesh reduction methods / Formulation continue du problème de modélisation implicite de structures géologiques discrétisée avec des méthodes de réduction de maillageRenaudeau, Julien 24 April 2019 (has links)
La modélisation structurale consiste à approximer les structures géologiques du sous-sol en un modèle numérique afin d'en visualiser la géométrie et d'y effectuer des calculs d'estimation et de prédiction. L'approche implicite de la modélisation structurale utilise des données de terrain interprétées pour construire une fonction volumétrique sur le domaine d'étude qui représente la géologie. Cette fonction doit honorer les observations, interpoler entre ces dernières, et extrapoler dans les zones sous-échantillonnées tout en respectant les concepts géologiques. Les méthodes actuelles portent cette interpolation soit sur les données, soit sur un maillage. Ensuite, le problème de modélisation est posé selon la discrétisation choisie : par krigeage dual sur les points de donnée ou en définissant un critère de rugosité sur les éléments du maillage. Dans cette thèse, nous proposons une formulation continue de la modélisation structurale par méthodes implicites. Cette dernière consiste à minimiser une somme de fonctionnelles arbitraires. Les contraintes de donnée sont imposées avec des fonctionnelles discrètes, et l'interpolation est contrôlée par des fonctionnelles continues. Cette approche permet de (i) développer des liens entre les méthodes existantes, (ii) suggérer de nouvelles discrétisations d'un même problème de modélisation, et (iii) modifier le problème de modélisation pour mieux honorer certains cas géologiques sans dépendre de la discrétisation. Nous portons également une attention particulière à la gestion des discontinuités telles que les failles et les discordances. Les méthodes existantes nécessitent soit la création de zones volumétriques avec des géométries complexes, soit la génération d'un maillage volumétrique dont les éléments sont conformes aux surfaces de discontinuité. Nous montrons, en explorant des méthodes sans maillage locales et des concepts de réduction de maillage, qu'il est possible d'assurer l'interpolation des structures tout en réduisant les contraintes liées à la gestion des discontinuités. Deux discrétisations de notre problème de minimisation sont suggérées : l'une utilise les moindres carrés glissants avec des critères optiques pour la gestion des discontinuités, et l'autre utilise des fonctions issues de la méthode des éléments finis avec le concept de nœuds fantômes pour les discontinuités. Une étude de sensibilité et une comparaison des deux méthodes sont proposées en 2D, ainsi que quelques exemples en 3D. Les méthodes développées dans cette thèse ont un grand impact en termes d'efficacité numérique et de gestion de cas géologiques complexes. Par exemple, il est montré que notre problème de minimisation au sens large apporte plusieurs solutions pour la gestion de cas de plis sous-échantillonnés et de variations d'épaisseur dans les couches stratigraphiques. D'autres applications sont également présentées tels que la modélisation d'enveloppe de sel et la restauration mécanique. / Implicit structural modeling consists in approximating geological structures into a numerical model for visualization, estimations, and predictions. It uses numerical data interpreted from the field to construct a volumetric function on the domain of study that represents the geology. The function must fit the observations, interpolate in between, and extrapolate where data are missing while honoring the geological concepts. Current methods support this interpolation either with the data themselves or using a mesh. Then, the modeling problem is posed depending on these discretizations: performing a dual kriging between data points or defining a roughness criterion on the mesh elements. In this thesis, we propose a continuous formulation of implicit structural modeling as a minimization of a sum of generic functionals. The data constraints are enforced by discrete functionals, and the interpolation is controlled by continuous functionals. This approach enables to (i) develop links between the existing methods, (ii) suggest new discretizations of the same modeling problem, and (iii) modify the minimization problem to fit specific geological issues without any dependency on the discretization. Another focus of this thesis is the efficient handling of discontinuities, such as faults and unconformities. Existing methods require either to define volumetric zones with complex geometries, or to mesh volumes with conformal elements to the discontinuity surfaces. We show, by investigating local meshless functions and mesh reduction concepts, that it is possible to reduce the constraints related to the discontinuities while performing the interpolation. Two discretizations of the minimization problem are then suggested: one using the moving least squares functions with optic criteria to handle discontinuities, and the other using the finite element method functions with the concept of ghost nodes for the discontinuities. A sensitivity analysis and a comparison study of both methods are performed in 2D, with some examples in 3D. The developed methods in this thesis prove to have a great impact on computational efficiency and on handling complex geological settings. For instance, it is shown that the minimization problem provides the means to manage under-sampled fold structures and thickness variations in the layers. Other applications are also presented such as salt envelope surface modeling and mechanical restoration.
|
Page generated in 0.0604 seconds