Nous décrivons l'environnement et la méthode Symsched dédiée à la conception conjointe dite AAA (adéquation algorithme architecture) prenant en compte les différents compromis performance énergie admissibles pour un système embarqué. Nous traduisons les descriptions des différents composants (exigences de l'application et capacités de l'architecture) en un système d'équations et inéquations composé de variables entières qui modélisent les aspects temporels et de variables booléennes qui modélisent les différentes alternatives de placement des tâches. Ce problème est ensuite soumis à un outil de résolution automatique de type SMT (SAT Modulo Theories). Notre objectif est d'étudier le passage à l'échelle de telles méthodes et donc le compromis entre le niveau de description et l'expressivité portant sur les différents aspects nécessaires à la modélisation. Nous appliquons ensuite cette technique à des problèmes d'ordonnancement abstraits, réalistes et réels. / We describe the Symsched methodology and environment for AAA design (Application Architecture Adequation). It allows to evaluate the energy/performance balance for a given embedded system. We translate the different components of the problem (application requirements et architecture provisions) in a system of equations and inequations made of integer variables for the modeling of temporal aspects and boolean variables for the modeling of admissible task mapping and resource states. We then submit this problem to an automatic search engine SMT solver (SAT Modulo Theories). We study the scalability of this methodology and its compromises with models expressiveness. We then study synthetic, realistic and real scheduling problems using this approach.

This thesis is based on fieldwork on the Greek island of Fourni in the Aegean, in which the main focus was women's position in social organization and in symbolic systems. After a general description of the island (history, politics, economy, social stratification), the thesis deals with three major topics: gender roles, the idiom of honour and shame, and women in religion and magic.;1. Women's economic roles and the constraints on their involvement imposed by their reproductive roles are considered. In the realm of kinship, the most intriguing feature is matrifocality. Similarly, domestic organization is matrifocal, which has significant implications for male-female power dynamics in the domestic domain. Ideological aspects of gender roles are also considered, and the antagonism inherent in the relation between the sexes and their conceptualisation of each other. Women in Fourni are by no means restricted within the domestic domain; they have important roles in the structuring of social relations that make for community cohesion and social reproduction; kinship networks, friendship between families, local trade contacts, public service transactions.;2. The Fourni material on honour and shame is very different from what has been reported from elsewhere in the Mediterranean, and questions Mediterraneanists' assumptions of cultural unity in the moral code. There is great cultural emphasis on sex, which constitutes a major topic of discussion between the sexes in everyday life and on ritual Occasions. The concept of honour is not confined to males, and the concept of shame is not confined to females. Differences in the constraints on sexual virtue and in the moral code between men and women are slight. There is a high incidence of adultery, women play a major role in resolving violations of the code and are viewed as the guardians of their own sexual virtue.;3. To discuss the Greek Orthodox religion I make use of the distinctions between Great and Little Traditions; elements of both traditions are described, as is the realm of magic, in enough detail to provide a map on which women's role and involvement can be discussed. It is not the universalistic features of the Great Tradition but the particularistic features of the Little Tradition that have been elaborated in the community and are the focus of symbolic conceptualizations of Fourni social relations, but the symbolic structures of the Little Tradition do not reveal much differentiation between male and female. The sexual division of labour in religion seems to follow the division of practical labour. It is suggested that women's greater involvement in religion and magic than men is an extension of their greater involvement in social organization, social reproduction, and the maintenance of social cohesion.

L'auteur n'a pas fourni de résumé en français / L'auteur n'a pas fourni de résumé en anglais

Comment les frontières sont-elles redéfinies par les territorialités qui les traversent ? Par qui les territorialités transfrontalières sont-elles investies ? Quelle est la place laissée à l’Etat, lorsque des autorités frontalières mobilisent une culture indigène, préexistante à la nation, pour (re)construire un territoire ? Les dynamiques récentes de coopération transfrontalière aymara entre le Chili, le Pérou et la Bolivie interrogent les reconfigurations politiques et territoriales qui affectent une institution étatique élémentaire : la frontière. Ce travail de thèse analyse l’action publique transfrontalière des maires ruraux aymaras depuis la perspective de long terme de construction de l’Etat chilien. En abordant l’Etat par ses périphéries, politiques, sociales et territoriales, il questionne les jeux d’acteurs qui contribuent aux transformations du gouvernement du territoire. Les continuités dans les pratiques politiques et administratives sur la frontière et les usages de rôles institutionnels hérités, dans un contexte de reconnaissance des droits des populations indigènes, démontrent que l’Etat, au-delà de son prétendu affaiblissement, connait un redéploiement paradoxal prenant la forme d’un processus complexe de sécurisation d’un espace transfrontalier diplomatiquement disputé. / How are the borders redefined by the “territorialities” which cross them? Which actors use these cross-border territorialities? What room is left to the state, when the local authorities living on the border refer to an indigenous culture, which preexisted to the nation, to (re)build a territory? The recent dynamics of the Aymara cross-border co-operation between Chile, Peru and Bolivia question the political and territorial reconfigurations which affect a fundamental state institution: the border. This doctoral thesis analyzes the cross-border public policies led by Aymaras rural mayors, according to a long-term approach of the construction of the Chilean state. By comprehending the state through its political, social and territorial peripheries, we study the networks of actors who take part in the transformations of the governance of the territory. The permanence of political and administrative actions on the border on one hand, the uses of inherited institutional roles on the other, show that beyond its alleged weakening, the state is paradoxically strengthened, through a complex securitization process of a diplomatically disputed cross-border area.

Le projet de recherche présente un travail monographique sur l'architecte français Maurice Novarina, originaire de Haute-Savoie, qui a réalisé, tout au long du XXe siècle, d'importantes commandes publiques ; des églises – pour lesquelles il est le plus connu – et plus de 30 000 logements conçus lors des grandes opérations d'urbanisme des Trente Glorieuses. Son œuvre, répartie sur le territoire français et localisée majoritairement en Rhône-Alpes, en région parisienne et en Normandie, illustre l'évolution des commandes, des conceptions et des mises en œuvre architecturales et urbaines. Maurice Novarina fait partie des architectes qui ont marqué le XXe siècle par une production importante en quantité, et remarquée, hier comme aujourd'hui en qualité. En effet, nombreuses de ses réalisations sont considérées comme patrimoine puisqu'elles concernent certains monuments historiques, des bâtiments « Label XXe », ou intégrés dans des chartes patrimoniales et paysagères. Ce travail cherche donc à repositionner l'architecte dans l'histoire de l'architecture et de l'urbanisme du XXe siècle, à préciser le contexte politique, économique et social dans lequel sont nés les projets, et à questionner son œuvre en lumière des théories de la modernité. L'œuvre de Maurice Novarina reprend les caractéristiques architecturales et urbaines de la doctrine moderne : l'influence du compagnon de la modernité qu'est Auguste Perret est sensible dans les projets de reconstruction d'après-guerre, alors que celle de Le Corbusier et de la Charte d'Athènes irradie l'ensemble des projets d'urbanisme, plus particulièrement les ZUP. Ces modèles forts, les architectes les interprètent, les réduisent ou les améliorent. La production de Maurice Novarina, comme celle de nombreux de ses contemporains, concerne alors une architecture ordinaire, qui s'impose dans les réalisations du XXe siècle et se révèle omniprésente dans la presse architecturale de l'époque, alors qu'elle est finalement peu évoquée par l'Histoire. Ces architectures perdurent comme héritage du XXe siècle et résultent, non pas de la banalité, mais d'une forme d'application de la modernité corbuséenne, qui au-delà des grandes théories, a marqué les esprits et formaté notre regard contemporain. Partant de l'hypothèse que les principes architecturaux et urbains de la modernité peuvent prendre des formes de l'ordinaire, nous verrons comment, chez Maurice Novarina, l'architecture relie les deux entités contraires (modernité / ordinaire) et que le processus complexe d'élaboration des projets, reposant sur des associations d'acteurs, des commanditaires récurrents et des équipes pluridisciplinaires, participent également à la richesse des œuvres. / L'auteur n'a pas fourni de résumé en anglais.

Notre thèse a pour objectifs d'observer et d'identifier les éléments importants lors du processus de compréhension de l'oral en chinois langue étrangère par les apprenants francophones. Elle s'attachera aussi à déterminer les modalités pédagogiques adéquates qui permettront d'améliorer la formation hybride proposée qui est destinée à renforcer la compétence de compréhension de l'oral des apprenants de niveau A2 du département LANSAD (LANgues pour les Spécialistes d'Autres Disciplines). Pour atteindre ces objectifs, nous avons tout d'abord procédé à une première expérimentation dans le but d'identifier les compétences clés de la compréhension de l'oral. Ensuite, dans une seconde expérimentation, nous avons approfondi notre observation sur l'un des résultats obtenu dans la première expérimentation : l'écoute interactive étayée. Dans cette nouvelle situation pédagogique, les dyades d'apprenants réalisent des activités de compréhension avec la présence d'un locuteur natif. Lorsqu'ils rencontrent une difficulté, ils peuvent solliciter l'aide du locuteur natif.Notre recherche s'inscrit dans le domaine des sciences du langage et plus particulièrement dans la didactique du chinois. Cette étude se situe dans la continuité d'autres recherches qui ont souligné la pertinence et l'intérêt de prendre en compte les micro-compétences langagières et la stratégie d'inférence dans le processus de compréhension de l'oral. Elle s'intéresse aux spécificités du chinois et, surtout, au rôle de l'écrit lors de l'écoute. En même temps, inspirée des différents travaux de recherche sur les théories interactionnistes et de l'acquisition, sur l'interaction des apprenants en dyades ou en petits groupes, sur les formations hybrides et sur la sollicitation d'aide, notre étude se focalise sur les caractéristiques et les effets des interactions entre les apprenants et les locuteurs natifs sur l'apprentissage de la compréhension de l'oral. / L'auteur n'a pas fourni de résumé en anglais

Les systèmes temps-réels modernes ont tendance à obtenir la criticité mixte, dans le sens où ils intègrent sur une même plateforme de calcul plusieurs applications avec différents niveaux de criticités. D'un côté, cette intégration permet de réduire le coût, le poids et la consommation d'énergie. Ces exigences sont importantes pour des systèmes modernes comme par exemple les drones (UAV). De l'autre, elle conduit à des complications majeures lors de leur conception. Ces systèmes doivent être certifiés en prenant en compte ces différents niveaux de criticités. L'ordonnancement temps réel des systèmes avec différents niveaux de criticités est connu comme étant l’un des plus grand défi dans le domaine. Les techniques traditionnelles nécessitent une isolation complète entre les niveaux de criticité ou bien une certification globale au plus haut niveau. Une telle solution conduit à un gaspillage des ressources, et à la perte de l’avantage de cette intégration. Ce problème a suscité une nouvelle vague de recherche dans la communauté du temps réel, et de nombreuses solutions ont été proposées. Parmi elles, l'une des méthodes la plus utilisée pour ordonnancer de tels systèmes est celle d'Audsley. Malheureusement, elle a un certain nombre de limitations, dont nous parlerons dans cette thèse. Ces limitations sont encore beaucoup plus accentuées dans le cas de l'ordonnancement multiprocesseur. Dans ce cas précis, l'ordonnancement basé sur la priorité perd des propriétés importantes. C’est la raison pour laquelle, les algorithmes d'ordonnancement avec différents niveaux de criticités pour des architectures multiprocesseurs ne sont que très peu étudiés et ceux qu’on trouve dans la littérature sont généralement construits sur des hypothèses restrictives. Cela est particulièrement problématique car les systèmes industriels temps réel cherchent à migrer vers plates-formes multi-cœurs. Dans ce travail nous proposons une approche différente pour résoudre ces problèmes. / Modern real-time systems tend to be mixed-critical, in the sense that they integrate on the same computational platform applications at different levels of criticality. Integration gives the advantages of reduced cost, weight and power consumption, which can be crucial for modern applications like Unmanned Aerial Vehicles (UAVs). On the other hand, this leads to major complications in system design. Moreover, such systems are subject to certification, and different criticality levels needs to be certified at different level of assurance. Among other aspects, the real-time scheduling of certifiable mixed critical systems has been recognized to be a challenging problem. Traditional techniques require complete isolation between criticality levels or global certification to the highest level of assurance, which leads to resource waste, thus loosing the advantage of integration. This led to a novel wave of research in the real-time community, and many solutions were proposed. Among those, one of the most popular methods used to schedule such systems is Audsley approach. However this method has some limitations, which we discuss in this thesis. These limitations are more pronounced in the case of multiprocessor scheduling. In this case priority-based scheduling looses some important properties. For this reason scheduling algorithms for multiprocessor mixed-critical systems are not as numerous in literature as the single processor ones, and usually are built on restrictive assumptions. This is particularly problematic since industrial real-time systems strive to migrate from single-core to multi-core and many-core platforms. Therefore we motivate and study a different approach that can overcome these problems.A restriction of practical usability of many mixed-critical and multiprocessor scheduling algorithms is assumption that jobs are independent. In reality they often have precedence constraints. In the thesis we show the mixed-critical variant of the problem formulation and extend the system load metrics to the case of precedence-constraint task graphs. We also show that our proposed methodology and scheduling algorithm MCPI can be extended to the case of dependent jobs without major modification and showing similar performance with respect to the independent jobs case. Another topic we treated in this thesis is time-triggered scheduling. This class of schedulers is important because they considerably reduce the uncertainty of job execution intervals thus simplifying the safety-critical system certification. They also simplify any auxiliary timing-based analyses that may be required to validate important extra-functional properties in embedded systems, such as interference on shared buses and caches, peak power dissipation, electromagnetic interference etc..The trivial method of obtaining a time-triggered schedule is simulation of the worst-case scenario in event-triggered algorithm. However, when applied directly, this method is not efficient for mixed-critical systems, as instead of one worst-case scenario they have multiple corner-case scenarios. For this reason, it was proposed in the literature to treat all scenarios into just a few tables, one per criticality mode. We call this scheduling approach Single Time Table per Mode (STTM) and propose a contribution in this context. In fact we introduce a method that transforms practically any scheduling algorithm into an STTM one. It works optimally on single core and shows good experimental results for multi-cores.Finally we studied the problem of the practical realization of mixed critical systems. Our effort in this direction is a design flow that we propose for multicore mixed critical systems. In this design flow, as the model of computation we propose a network of deterministic multi-periodic synchronous processes. Our approach is demonstrated using a publicly available toolset, an industrial application use case and a multi-core platform.