Spelling suggestions: "subject:"wang"" "subject:"yang""
61 |
Analyse des interactions entre les racines d'hévéa (Hevea brasiliensis Muel. Arg.) et de cultures intercalaires dans les jeunes plantations du Nord-Est de la ThaïlandeGonkhamdee, Santimaitree 01 July 2010 (has links) (PDF)
Pour d'évidentes raisons agronomiques et environnementales, être en mesure de concevoir et mettre en place des systèmes de culture dans lesquels les plantes accèdent aux ressources de manière optimale revêt une importance cruciale pour tous les intervenants impliqués dans la production agricole. Les techniques d'intensification telles que la mise en place de cultures d'inter-rang et l'agro-foresterie visent à accroître la productivité globale des terres tout en assurant la durabilité des agro-écosystèmes, via une optimisation de l'utilisation des ressources environnementales (lumière, eau et nutriments) par les plantes et une préservation des cycles géochimiques. En théorie, les moyens d'atteindre ces objectifs sont nombreux mais en pratique, les interactions souterraines sont complexes et difficiles à mesurer, de sorte que les progrès réalisés dans la conception d'agro-écosystèmes améliorés et durables demeurent modestes. Dans ce contexte, l'objectif de ce travail a été d'évaluer, au travers de mesures racinaires detaillées en rhizotron et au champ, les effets des cultures d'inter-rang sur la croissance des jeunes hévéas. La dynamique des interactions souterraines a été étudiée, tant au niveau de la racine individuelle qu'à celui du système racinaire entier, sur la base, notamment, de descriptions numériques détaillées. Une telle approche a permis de proposer, en outre, une voie novatrice pour l'analyse de la dynamique racinaire à l'echelle du systeme racinaire entier, à savoir l'analyse des trajectoires de croissance. Dans le cas de l'association maïs-hévéa, les expérimentations en rhizotron ont permis de mettre en evidence que les interactions souterraines entre ces deux plantes peuvent induire des modifications de la croissance de leurs racines, à la fois à l'échelle de la racine individuelle et à celle du système racinaire entier. Toutefois, une telle coordination des dynamiques racinaires des plantes associées n'a pas pu être confirmée dans le cas des traitements manioc-hévéa et arachide- hévéa. Les expérimentations au terrain ont fourni, de manière assez prévisible, une image complexe des interactions souterraines entre hévéa et cultures d'inter-rang. Toutefois, un premier résultat obtenu par le biais de la mise en place de 'pièges à racines' dans un traitement niébé-hévéa, a été de montrer que ces deux plantes n'avaient pas un comportement compétitif marqué l'une vis-à-vis de l'autre. Il est également apparu que les hévéas paraissent 'investir' dans des racines 'coûteuses', car de faible longueur spécifique, probablement pour assurer une certaine durabilité de ces organes, tandis que les cultures d'inter-rang favorisent l'allocation des assimilâts vers des racines de longueur spécifique élevée, de construction moins 'coûteuses', probablement en réponse a un impératif de croissance plus rapide (suggéré par les taux d'élongation racinaire mesurés au cours des expérimentations en rhizotron). Enfin, excepté le cas du manioc, l'introduction de cultures d'inter-rang telles que le maïs et l'arachide n'a pas eu d'impact significatif sur le développement des jeunes hévéas, comme en attestent l'évolution de leur circonférence, hauteur et développement foliaire. Ce résultat de terrain est compatible avec les résultats des expérimentations en rhizotron qui n'ont démontré aucun effet inhibiteur des cultures d'inter-rang sur le développement de la partie aérienne des hévéas. Bien que les travaux présentés dans ce rapport, ne permettent pas, à eux seuls de conclure de manière définitive sur la façon dont les espèces cultivées en association peuvent se compléter mutuellement sur le plan fonctionnel, ils apportent des éléments de réponse préliminaires à cette question complexe ainsi que des méthodes permettant de les obtenir. Au total, ce travail représente donc une contribution à la conception des agro-écosystèmes durables qui deviennent de plus en plus indispensables dans le contexte d'une demande mondiale croissante en produits alimentaires et matières premières. En outre, certains des résultats obtenus dans le cadre de cette thèse ouvrent des perspectives pour des recherches plus approfondies, avec une finalité agronomique appliquée
|
62 |
Contribution à l'apprentissage statistique à base de modèles génératifs pour données complexes.Jacques, Julien 28 November 2012 (has links) (PDF)
Ce mémoire synthétise les activités de recherche que j'ai menées de 2005 à 2012, sur la thématique de l'apprentissage statistique des données complexes, abordée par le biais de modèles probabilistes paramétriques génératifs. Plusieurs types de données complexes sont considérées. Les données issues de populations différentes ont été abordées en proposant des modèles de lien paramétriques entre populations, permettant d'adapter les modèles statistiques d'une population vers l'autre, en évitant une lourde collecte de nouvelles données. Les données de rang, définissant un classement d'objets selon un ordre de préférence, les données ordinales, qui sont des données qualitatives ayant des modalités ordonnées, et les données fonctionnelles, où l'observation statistique consiste en une ou plusieurs courbes, ont également été étudies. Pour ces trois types de données, des modèles génératifs probabilistes ont été définis et utilisés en classification automatique de données multivariées. Enfin les données de grande dimension, que l'on rencontre lorsque le nombre de variables du problème dépasse celui des observations, ont été étudiées dans un cadre de régression. Deux approches, fruits de deux thèses de doctorat que je co-encadre, sont proposés: l'une utilisant des algorithmes d'optimisation combinatoire pour explorer de façon efficace l'espace des variables, et l'autre définissant un modèle de régression regroupant ensemble les variables ayant un effet similaire.
|
63 |
Propriétés algébriques des structures menues ou minces, rang de Cantor Bendixson, espaces topologiques généralisésMilliet, Cédric 10 December 2009 (has links) (PDF)
Les structures menues apparaissent dans les années 1960 de paire avec la conjecture de Vaught, dont elles sont les seuls contre-exemples possibles. Les structures minces sont introduites par Belegradek, et englobent à la fois les structures minimales et menues. Il est bien connu que les ensembles définissables d'une structure mince sont rangés par le rang de Cantor-Bendixson, lorsque l'on fixe un ensemble fini de paramètres. L'étude de ces structures est rendue difficile par le fait que si l'on augmente cet ensemble de paramètres, le rang croît, et on ne sait maîtriser sa croissance. Nous présentons des propriétés de calcul de ce rang, une condition de chaîne descendante locale sur les groupes définissables (par des formules faisant intervenir des paramètres de la clôture algébrique d'un ensemble fini), ainsi qu'une notion de presque stabilisateur local. Nous en déduisons des propriétés algébriques des structures minces : un corps mince de caractéristique positive est localement de dimension finie sur son centre (une réponse au problème 6.1.5 de Wagner, Simple Theories), et un groupe mince infini a un sous groupe abélien infini (cela répond en particulier à la question 2.8 de Wagner, "Groups in simple theories"). Nous nous intéressons ensuite aux structures menues infiniment définissables, et montrons que les groupes d'arité finie infiniment définissables (par des formules n'utilisant que les paramètres d'un ensemble fini) sont l'intersection de groupes définissables (réponse au problème 6.1.14 du livre de Wagner). Nous étendons le résultat aux demi-groupes, anneaux, corps, catégories et groupoïdes infiniment définissables (toujours avec un nombre fini de paramètres), et donnons des résultats de définissabilité locale pour les groupes et corps simples et menus, infiniment définissables sur un ensemble quelconque de paramètres. Enfin, nous réintroduisons le rang de Cantor dans son contexte topologique et montrons que la dérivée de Cantor peut être vue comme un opérateur de dérivation dans un semi-anneau d'espaces topologiques. Dans l'idée de trouver un rang de Cantor global pour les théories stables, nous essayons de nous débarrasser du mot dénombrable omniprésent lorsque l'on fait de la topologie, en le remplaçant par un cardinal régulier k. Nous développons une notion d'espace k-métrique, de k-topologie, de k-compacité etc. et montrons un k-analogue du lemme de métrisabilité d'Urysohn, et du théorème de Cantor-Bendixson.
|
64 |
Fiscalité carbone et progrès social. Application au cas françaisCombet, Emmanuel 09 April 2013 (has links) (PDF)
La thèse revisite les débats sur les conséquences socioéconomiques et le choix des modalités d'une fiscalité carbone. Un diagnostic est d'abord tiré de l'examen d'un échec français (la taxe carbone de N. Sarkozy, 2009-2010). Il distingue les problèmes d'acceptabilité politique, des limites de l'analyse économique pour définir les dispositifs. Il souligne l'importance de la discussion sur l'usage des recettes de la taxe, car ce point cristallise les difficultés politiques et conditionne la cohérence économique et juridique du projet au regard des objectifs recherchés (environnement, équité, compétitivité). Il montre que les outils d'analyse peuvent être améliorés pour accompagner cette discussion. Un outil de simulation numérique est ensuite proposé et construit. Il permet de comparer les performances de dispositifs sur divers indicateurs (émissions de CO2, activité, emploi, inégalités, pauvreté, endettement), de décrire plusieurs points de vue sur le fonctionnement de l'économie (actuelle et future), et de lier dans une démarche prospective le dossier climatique aux autres dossiers de réforme des prélèvements obligatoires (maîtrise des déficits, financement des retraites). L'outil est enfin utilisé pour revisiter les controverses, clarifier les arbitrages et identifier les meilleures pistes de compromis. Il apparaît qu'une fiscalité carbone peut offrir des co-bénéfices socioéconomiques (pour l'activité et l'emploi, la réduction des inégalités, la maîtrise des déficits). Mais cela n'est pas automatique, des choix politiques sensibles doivent être faits ; ces dernier portent, au-delà du seul dossier 'climat', sur la gestion d'une réforme générale des finances publiques.
|
65 |
Inégalités de von Neumann sous contraintes, image numérique de rang supérieur et applications à l'analyse harmoniqueGaaya, Haykel 05 December 2011 (has links) (PDF)
Cette thèse s'inscrit dans le domaine de la théorie des opérateurs. L'un des opérateurs qui m'a particulièrement intéressé est l'opérateur modèle noté S(Φ) qui désigne la compression du shift unilatéral S sur l'espace modèle H(Φ) où Φ est une fonction intérieure. L'étude du rayon numérique de S(Φ) semble être importante comme l'illustre bien un résultat dû à C. Badea et G. Cassier qui ont montré qu'il existe un lien entre le rayon numérique de tels opérateurs et l'estimation des coefficients des fractions rationnelles positives sur le tore. Nous fournissons une extension de leur résultat et nous trouvons une expression explicite du rayon numérique de S(Φ) dans le cas particulier où Φ est un produit de Blaschke fini avec un unique zéro. Dans le cas général où Φ est un produit de Blaschke fini quelconque, une estimation du rayon numérique de S(Φ) est aussi donnée. Dans la deuxième partie de cette thèse on s'est intéressé à l'image numérique de rang supérieur Λk(T) qui est l'ensemble de tous les nombres complexes λ vérifiant PTP = λP pour une certaine projection orthogonale P de rang k . Cette notion a été introduite récemment par M.-D. Choi, D. W. Kribs, et K. Zyczkowski et elle est utilisée pour certains problèmes en physique. On montre que l'image numérique de rang supérieur du shift n-dimensionnel coïncide avec un disque de rayon bien déterminé
|
66 |
Évaluer le coût des politiques climatiques : de l'importance des mécanismes de second rangGuivarch, Céline 22 October 2010 (has links) (PDF)
La thèse montre comment des mécanismes "de second rang" (rigidités des marchés du travail, imperfection des anticipations) et des mécanismes considérés de court-terme(inertie du capital installé, chômage) induisent que (i) les coûts de l'atténuation sont des coûts de transition, si tant est que des politiques de réorientation des investissements sont mises en place de façon précoce pour éviter des lock-ins sur des chemins de développement carbonés ; (ii) ces coûts peuvent être élevés, en particulier pour les pays émergents et en développement. Dès lors, la représentation des rigidités du monde réel dans les modèles des interfaces économie-énergie-environnement a des implications importantes pour l'analyse des politiques climatiques. L'égalisation des prix du carbone n'est plus la politique minimisant les coûts de l'atténuation lorsque l'on se place dans un monde de second-rang. La thèse illustre ainsi que le paquet "prix du carbone mondial plus transferts compensatoires" ne peut conduire, par lui-même, à un accord acceptable pour les pays émergents et en développement. Elle insiste sur la nécessité de concevoir des politiques alternatives ouvrant la palette des variables de contrôle (investissements publics, infrastructures, réformes fiscales) et passant par des politiques spécifiques au niveau local
|
67 |
Structuration de bases multimédia pour une exploration visuelle / Structuring multimedia bases for visual explorationVoiron, Nicolas 18 December 2015 (has links)
La forte augmentation du volume de données multimédia impose la mise au point de solutions adaptées pour une exploration visuelle efficace des bases multimédia. Après avoir examiné les processus de visualisation mis en jeu, nous remarquons que ceci demande une structuration des données. L’objectif principal de cette thèse est de proposer et d’étudier ces méthodes de structuration des bases multimédia en vue de leur exploration visuelle.Nous commençons par un état de l’art détaillant les données et les mesures que nous pouvons produire en fonction de la nature des variables décrivant les données. Suit un examen des techniques de structuration par projection et classification. Nous présentons aussi en détail la technique du Clustering Spectral sur laquelle nous nous focaliserons ensuite.Notre première réalisation est une méthode originale de production et fusion de métriques par corrélation de rang. Nous testons cette première méthode sur une base multimédia issue de la vidéothèque d’un festival de films. Nous continuons ensuite par la mise au point d’une méthode de classification supervisée par corrélation que nous testons avec les données vidéos d’un challenge de la communauté multimédia. Ensuite nous nous focalisons sur les techniques du Clustering Spectral. Nous testons une technique de Clustering Spectral supervisée que nous comparons aux techniques de l’état de l’art. Et pour finir nous examinons des techniques du Clustering Spectral semi-supervisé actif. Dans ce contexte, nous proposons et validons des techniques de propagation d’annotations et des stratégies permettant d’améliorer la convergence de ces méthodes de classement. / The large increase in multimedia data volume requires the development of effective solutions for visual exploration of multimedia databases. After reviewing the visualization process involved, we emphasis the need of data structuration. The main objective of this thesis is to propose and study clustering and classification of multimedia database for their visual exploration.We begin with a state of the art detailing the data and the metrics we can produce according to the nature of the variables describing each document. Follows a review of the projection and classification techniques. We also present in detail the Spectral Clustering method.Our first contribution is an original method that produces fusion of metrics using rank correlations. We validate this method on an animation movie database coming from an international festival. Then we propose a supervised classification method based on rank correlation. This contribution is evaluated on a multimedia challenge dataset. Then we focus on Spectral Clustering methods. We test a supervised Spectral Clustering technique and compare to state of the art methods. Finally we examine active semi-supervised Spectral Clustering methods. In this context, we propose and validate constraint propagation techniques and strategies to improve the convergence of these active methods.
|
68 |
Assimilation de données pour les problèmes non-Gaussiens : méthodologie et applications à la biogéochimie marine / Data assimilation for non Gaussian problems : methodology and applications to biogeochemistryMetref, Sammy 27 November 2015 (has links)
L'assimilation de données pour les géosciences est une discipline cherchant à améliorer notre connaissance d'un système physique en se basant sur l'information issue de modèles numériques simulant ce système et sur l'information issue des mesures observant ce système. Les méthodes d'assimilation de données traditionnellement utilisées (e.g. le 4DVar ou les filtres de Kalman d'ensemble) reposent sur des hypothèses de Gaussianité des probabilités en jeu et de linéarité des modèles. Avec la complexification des modèles et des réseaux d'observations, ces hypothèses sont de plus en plus injustifiées et donc pénalisantes. Cette complexification est particulièrement forte en océanographie couplée à la biogéochimie marine.Les objectifs de cette thèse sont de mieux comprendre l'apparition des non-Gaussianités dans un problème d'estimation, d'envisager une méthode d'assimilation de données adaptée aux problèmes fortement non-Gaussiens et, dans le cadre du couplage de la dynamique océanique et de la biogéochimie marine, d'explorer la pertinence de l'utilisation de méthodes non-Gaussiennes.Dans un premier temps, une étude méthodologique est conduite. Cette étude, appuyé par des illustrations avec le modèle de Lorenz à trois variables, permet de mettre en évidence les limitations des méthodes traditionnellement utilisées, face à des problèmes non-Gaussiens. Cette étude aboutit sur le développement d'un filtre d'assimilation de données d'ensemble entièrement non-Gaussien : le Multivariate Rank Histogram Filter (MRHF).Il est montré que le MRHF est performant dans des régimes fortement non-Gaussiens (notamment dans un régime bimodal) pour un nombre de membres relativement faible.Dans un second temps, une étude numérique est conduite. Cette étude est réalisée aux travers d'expériences jumelles basées sur un modèle vertical 1D, ModECOGeL, couplant la dynamique et la biogéochimie en mer Ligure. Nous simulons différents réseaux d'observations combinant des profils in situ et des données satellites. Plusieurs méthodes d'assimilation sont alors comparées à l'aide de diagnostics d'évaluation d'ensemble avancés.Nos expériences montrent l'impact du réseau d'observations et des variables de contrôle, sur le degré de non-Gaussianité d'un problème d'estimation. Le contrôle de la partie dynamique du modèle par des observations de la dynamique à différentes fréquences est un problème quasi-Gaussien, qu'un filtre aux moindres carrés, tel l'Ensemble Transform Kalman Filter, résout bien. En revanche pour ces mêmes observations, le contrôle de la biogéochimie s'avère être un problème non-Gaussien et nécessite l'utilisation d'un filtre non-Gaussien.Enfin, il est montré que l'assimilation de la couleur de l'eau, pour le contrôle mixte de la dynamique et de la biogéochimie, est améliorée par des méthodes adaptées aux non-Gaussianités, tel l'Ensemble Kalman Filter anamorphosé. De plus, l'augmentation de la fréquence d'observation de la couleur de l'eau rend incontournable l'utilisation de filtres fondamentalement non-Gaussiens comme le MRHF. / Data assimilation for Geosciences is a discipline seeking to improve our knowledge of a physical system based on the information from numerical models simulating this system and the information from the measures observing this system. The data assimilation methods traditionally used (eg the 4DVAR or the ensemble Kalman filters) are based on assumptions of Gaussianity of the probabilities involved and linearity of the models. With the increasing complexity of models and observation networks, these assumptions are increasingly unjustified and therefore penalizing. This complexity is particularly strong in oceanography coupled with marine biogeochemistry.The objectives of this thesis are to understand the appearance of non Gaussianity in an estimation problem, to think out a data assimilation method adapted to highly non Gaussian problems and, in the coupling of ocean dynamics and marine biogeochemistry, to explore the relevance of the use of non Gaussian methods.At first, a methodological study is conducted. This study, supported by illustrations with the three variable Lorenz model, allows to highlight the limitations of traditional methods when facing non Gaussian problems. This study led to the development of a fully non Gaussian data assimilation filter : the Multivariate Rank Histogram Filter (MRHF).It is shown that the MRHF is efficient in highly non Gaussian regimes (including in a bimodal regime) for a relatively small number of members.Secondly, a numerical study is conducted. This study is conducted with twin experiments based on a 1D vertical model, ModECOGeL, coupling dynamics and biogeochemistry in the Ligurian Sea. We simulate different observation networks combining in situ profiles and satellite data. Several data assimilation methods are then compared using advanced ensemble evaluation diagnoses.Our experiments show the impact of observation networks and controled variables on the degree of non Gaussianity in an estimation problem. The control of the dynamic part of the model by observations of the dynamics at different frequencies is a quasi Gaussian problem, which a least squared filter such as the Ensemble Transform Kalman Filter solves well. In contrast, for the same observations, the control of biogeochemistry proves to be a non Gaussian problem and requires the use of a non Gaussian filter. Finally, it is shown that assimilation of ocean color data, for the joint control of the dynamic and the biogeochemistry, is improved by methods adapted for non Gaussianities such as the Anamorphosed Ensemble Kalman Filter. In addition, increasing the ocean color observation frequency makes unavoidable the use of fundamentally non Gaussian filters such as the MRHF.
|
69 |
Conception de Machines Polyphasées à Aimants et Bobinage Concentré à Pas Fractionnaire avec Large Plage de Vitesse / Design of Multiphase PM Machine with Fractional Slot Concentrated-Windings and Wide Speed RangeAslan, Bassel 29 October 2013 (has links)
L'objectif de la thèse est la conception d'une machine électrique dédiée à des applications Mild-Hybrid. En assurant certaines fonctionnalités, cette machine permet de réduire la consommation de carburant dans le véhicule et par conséquent réduire la quantité des gaz rejetés. Les contraintes exigées par un tel domaine à la fois pour le couple et la puissance nous amène à étudier les machines synchrone polyphasée à aimants avec un bobinage concentré autour des dents. Cette technologie de bobinage permet d'obtenir des machines de rendement élevé qui sont faciles à fabriquer, réparer et recycler, mais avec un certain niveau d'effets parasites. Afin de trouver un compromis entre ces effets et la capacité à fournir de couple, la thèse concerne l'étude des topologies de bobinage à pas dentaire avec différentes combinaisons Encoches/Pôles. Un modèle analytique constituant un outil permettant de comparer les pertes d'aimants entre les différentes combinaisons est développé. De nombreuses configurations sont comparées afin de faire le choix le plus adéquat pour minimiser les effets parasites. Les topologies rotoriques qui permettent à la machine de présenter une large plage de vitesse sont examinées, mais en tenant compte également de la nécessité de protéger leurs aimants contre des harmoniques nocifs de FMM. Enfin, l'exploitation du degré de liberté offert par une structure à 5 phases est abordée montrant que, le couple peut être significativement boosté en modifiant la structure de rotor. La cohérence de toutes les études analytiques menées dans la thèse est corroborée par des modèles en éléments finis et des mesures effectuées sur un prototype. / The aim of this thesis is to design an electrical machine dedicated for Mild-Hybrid applications. By providing certain functionalities, this machine can reduce fuel consumption in the vehicle and therefore reduce the amount of released gases. The challenges imposed by such application on both torque and power lead us to study the multiphase PM machines with concentrated windings. This windings technology provides efficient machines which are easy to manufacture, repair and recycle, but accompanied with a certain level of parasitic effects. In order to find a compromise between these effects and the ability to provide torque, the thesis concerns the study of winding topologies with different Slots/Poles combinations. An analytical model constituting a tool to compare magnet losses between various combinations is developed. Many configurations are compared in order to make the most appropriate choice which minimizes parasitic effects. The rotor topologies that allow the machine to provide a wide speed range are examined, taking into account their role in magnets protection against MMF harmful harmonics. Finally, the exploitation of freedom degree offered by a 5-phases structure is discussed, showing that the torque can be significantly boosted by modifying the rotor structure. The consistency of all analytical studies presented in the thesis is corroborated by finite element models and a prototype measurement.
|
70 |
Étude de quelques liens entre les groupes de rang de Morley fini et les groupes algébriques linéaires / On links between finite Morley and algebraic groupsTindzogho Ntsiri, Jules 25 June 2013 (has links)
Cette thèse traite essentiellement des liens qui peuvent exister entreles groupes de rang de Morley fini et les groupes algébriques linéaires. Eneffet, nous y établissons quelques propriétés algébriques aux K-groupes ;d'ailleurs une étude de linéarité sur ces groupes est dressée et permeten particulier d'obtenir une généralisation du théorème de Levi sur ladécomposition des groupes algébriques. Ensuite, nous étudions dans ununivers de rang de Morley fini, une action définissable de SL2(K) surun groupe abélien SL2(K)-minimal V où K est un corps définissable decaractéristique positive p > 0. À cet effet, nous montrons que le rang deMorley rk(V ) de V est pair et multiple de rk(K). Enfin, nous analysonssous quelles conditions, étant donné G un groupe algébrique sur un corpsalgébriquement clos de caractéristique non nulle, le quotient G=Z(G) estdéfinissablement linéaire.Par ailleurs, nous montrons sous certaines hypothèses le groupe desautomorphismes définissables d'un K*-groupe simple est interprétable. / This thesis essentially focuses on relationships that may exist betweengroups of finite Morley rank and linear algebraic groups. Indeed, weestablish some algebraic properties to K-groups; while a linearity studyon these groups is drawn and allows in particular to obtain an analogueto Levi decomposition theorem of algebraic groups. Next, in a univers offinite Morley rank, we study a definable action of SL2(K) on an abeliangroup V such as V is SL2(K)-minimal, where K is an definable field ofnonzero characteristic. For that purpose, we show that Morley rank ofV denoted rk(V ) is even and multiple of rk(K). Finally, we analyze theconditions under which, given an algebraic group G over an algebraicallyfield of nonzero characteristic, the quotient G=Z(G) is definably linear.Besides, we show under certain assymptions that the group of definable automorphism of a simple K*-group is interpretable.
|
Page generated in 0.3562 seconds