L'informatique s'est récemment développée autour de deux axes : l'informatique ambiante d'une part avec la multiplication des objets communicants, et l'internet des services d'autre part suite à l'essor parallèle des centres de traitement de données et d'Internet. Dans ces domaines, la disponibilité fluctuante des ressources, qui entraîne une intermittence des services fournis, représente désormais une préoccupation majeure dans la conception d'applications. La programmation orientée composants appliquée aux architectures orientées service simplifie la gestion des liaisons de service via des politiques. Néanmoins les politiques de liaison existantes suivent soit une approche statique interdisant alors toute reconfiguration d'architecture en cours d'exécution, soit une approche dynamique ne garantissant pas une stabilité minimale de l'architecture dans le cas de services intermittents. Cette thèse propose un compromis entre stabilité architecturale et dynamisme en plaçant l'interruption de service au centre des préoccupations du concepteur. La politique de liaison résultante offre ainsi une tolérance aux interruptions de service jusqu'à une certaine limite au-delà de laquelle l'architecture est reconfigurée dynamiquement. Afin de situer cette limite, notre proposition se base sur l'utilisation d'accords de niveau de service, une forme enrichie des contrats de service permettant, entre autres, l'expression de contraintes sur la disponibilité des services. L'approche a été expérimentée sur la plate-forme à services OSGi en étendant les mécanismes de gestion des liaisons du modèle à composants iPOJO, puis validée dans le contexte de l'informatique ambiante ainsi que sur le serveur d'applications JOnAS.

Nos travaux se situent dans le cadre des architectures logicielles dynamiques en tant qu'outil pour l'adaptation des applications à base de services Web, l'objectif étant de proposer des mécanismes d'aide à la gestion de la QdS. Nous proposons une approche de modélisation par le biais d'éléments architecturaux étendant la vue de déploiement d'UML. A partir de la définition de règles de base, issues des techniques de réécriture de graphes, des actions de reconfiguration architecturale sont introduites. Un premier scénario applicatif traite le processus de revue coopérative adapté au cas spécifique d'un système de gestion de conférences. Un deuxième scénario traite le cas d'un magasin en ligne. Nous proposons une classification des cas de dysfonctionnement pour la gestion de la QdS, classification que nous formalisons par le biais d'une ontologie. Notre dernière proposition concerne une architecture de gestion de la QdS, modélisée et validée au moyen de l'outil UML Tau G2.

Un système, décrit avec un grand nombre d'éléments fortement interdépendants, est complexe, difficile à comprendre et à maintenir. Ainsi, une application orientée objet est souvent complexe, car elle contient des centaines de classes avec de nombreuses dépendances plus ou moins explicites. Une même application, utilisant le paradigme composant, contiendrait un plus petit nombre d'éléments, faiblement couplés entre eux et avec des interdépendances clairement définies. Ceci est dû au fait que le paradigme composant fournit une bonne représentation de haut niveau des systèmes complexes. Ainsi, ce paradigme peut être utilisé comme "espace de projection" des systèmes orientés objets. Une telle projection peut faciliter l'étape de compréhension d'un système, un pré-requis nécessaire avant toute activité de maintenance et/ou d'évolution. De plus, il est possible d'utiliser cette représentation, comme un modèle pour effectuer une restructuration complète d'une application orientée objets opérationnelle vers une application équivalente à base de composants tout aussi opérationnelle. Ainsi, La nouvelle application bénéficiant ainsi, de toutes les bonnes propriétés associées au paradigme composants. L'objectif de ma thèse est de proposer une méthode semi-automatique pour identifier une architecture à base de composants dans une application orientée objets. Cette architecture doit, non seulement aider à la compréhension de l'application originale, mais aussi simplifier la projection de cette dernière dans un modèle concret de composant. L'identification d'une architecture à base de composants est réalisée en trois grandes étapes: i) obtention des données nécessaires au processus d'identification. Elles correspondent aux dépendances entre les classes et sont obtenues avec une analyse dynamique de l'application cible. ii) identification des composants. Trois méthodes ont été explorées. La première utilise un treillis de Galois, la seconde deux méta-heuristiques et la dernière une méta-heuristique multi-objective. iii) identification de l'architecture à base de composants de l'application cible. Cela est fait en identifiant les interfaces requises et fournis pour chaque composant. Afin de valider ce processus d'identification, ainsi que les différents choix faits durant son développement, j'ai réalisé différentes études de cas. Enfin, je montre la faisabilité de la projection de l'architecture à base de composants identifiée vers un modèle concret de composants. / A system is complex and particularly difficult to understand and to maintain when it is described with a large number of highly interdependent parties. An object-oriented application is often complex because it uses hundreds or thousands of classes with many different dependencies more or less explicit. The same application, using the component paradigm, contains a smaller number of loosely coupled parties, highly cohesive with clear inter-dependencies. Indeed, because the component paradigm provides a high-level representation, synthetic and well-organized structure of complex systems, it can provide a space of projection for object-oriented applications. Such projection facilitates the step of understanding a system prior to any activity of maintenance and/or evolution. In addition, it is possible to use this representation as a model to perform a complete restructuring of an operational object-oriented application into its equivalent operational component-based application. Thus, the new form of the application benefits from all the good properties associated with the component-oriented paradigm. The goal of my thesis is to propose a semi-automatic approach to identify a component-based architecture in an object-oriented application. This architecture should help in understanding the original application, but also simplifies the projection of the object-oriented application on a concrete component model. The identification of a component-based architecture is achieved in three main steps: i) obtaining data for the identification process. These data, which correspond to dependencies between classes, are obtained with a dynamic analysis of the target application. ii) identification of the components. Three methods were explored. The first uses the formal concept analysis, the second two meta-heuristics and the last a multiobjective meta-heuristic. iii) identification of the component-based architecture representing the target application. This is done by identifying the provided and required interfaces for each component. To validate this identification process, and the different choices made during its development, I realized several case studies. Finally, I show the feasibility of the projection of the identified component-based architecture on a specific component model.

Les sens complémentaires en arabe sont multiples et variés. Outre les aspects syntaxiques, nous relevons des aspects sémantiques propres à chaque complément. L'introduction de l'un de ces sens dans la phrase l'enrichit et entraîne des précisions qui se rattachent au verbe. Les grammairiens classiques parlent des (mafûîät) ou encore des (manûübät) noms au cas accusatif, ils s'intéressent ainsi au traits formels des compléments. Les rhétoriciens soulignent les traits sémantiques. Ils insistent sur le sens de la restriction déterminative qu'exerce le complément sur le verbe. Une approche critique démontre que les compléments en arabe jouent un rôle important dans l'éclaircissement du sens de l'action. C'est donc le verbe qui sélectionne le sens complémentaire convenable. En arabe moderne (dans les écritures contemporaines) l'usage des compléments ne s'écarte pas loin de l'usage classique. Les auteurs sont soumis aux règles de la théorie grammaticale des premiers siècles. Toutefois, il existe certains aspects d'évolution qui reviennent, soit au choix libre de l'écrivain, soit à l'évolution interne de la langue elle-même.

Gérer l'évolution des logiciels est une tâche complexe mais nécessaire. Tout au long de son cycle de vie, un logiciel doit subir des changements, pour corriger des erreurs, améliorer ses performances et sa qualité, étendre ses fonctionnalités ou s’adapter à son environnement. A défaut d’évoluer, un logiciel se dégrade, devient obsolète ou inadapté et est remplacé. Cependant, sans évaluation de leurs impacts et contrôle de leur réalisation, les changements peuvent être sources d’incohérences et de dysfonctionnements, donc générateurs de dégradations du logiciel. Cette thèse propose une approche améliorant la gestion de l'évolution des logiciels dans les processus de développement orientés composants. Adoptant une démarche d’ingénierie dirigée par les modèles (IDM), cette approche s’appuie sur Dedal, un langage de description d’architecture (ADL) séparant explicitement trois niveaux d’abstraction dans la définition des architectures logicielles. Ces trois niveaux (spécification, configuration et assemblage) correspondent aux trois étapes principales du développement d’une architecture (conception, implémentation, déploiement) et gardent la trace des décisions architecturales prises au fil du développement. Ces informations sont un support efficace à la gestion de l’évolution : elles permettent de déterminer le niveau d’un changement, d’analyser son impact et de planifier sa réalisation afin d’éviter la survenue d’incohérences dans la définition de l’architecture (érosion, dérive, etc.). Une gestion rigoureuse de l’évolution nécessite la formalisation, d’une part, des relations intra-niveau liant les composants au sein des modèles correspondant aux différents niveaux de définition d’une architecture et, d’autre part, des relations inter-niveaux liant les modèles décrivant une même architecture aux différents niveaux d’abstraction. Ces relations permettent la définition des propriétés de consistance et de cohérence servant à vérifier la correction d’une architecture. Le processus d’évolution est ainsi décomposé en trois phases : initier le changement de la définition de l’architecture à un niveau d’abstraction donné ; vérifier et rétablir la consistance de cette définition en induisant des changements complémentaires ; vérifier et rétablir la cohérence globale de la définition de l’architecture en propageant éventuellement les changements aux autres niveaux d’abstraction.Ces relations et propriétés sont décrites en B, un langage de modélisation formel basé sur la théorie des ensembles et la logique du premier ordre. Elles s’appliquent à des architectures définies avec un adl formel écrit en B dont le méta-modèle, aligné avec celui de Dedal, permet d’outiller la transformation de modèles entre les deux langages. Cette intégration permet de proposer un environnement de développement conjuguant les avantages des approches IDM et formelle : la conception d’architectures avec l’outillage de Dedal (modeleur graphique); la vérification des architectures et la gestion de l’évolution avec l’outillage de B (animateur, model-checker, solver). Nous proposons en particulier d’utiliser un solver B pour calculer automatiquement des plans d’évolution conformes à notre proposition et avons ainsi défini l’ensemble des règles d’évolution décrivant les opérations de modification applicables à la définition d’une architecture. Le solver recherche alors automatiquement une séquence de modifications permettant la réalisation d’un changement cible tout en préservant les propriétés de consistance et de cohérence de l’architecture. Nous avons validé la faisabilité de cette gestion de l’évolution par une implémentation mêlant optimisation et génie logiciel (search-based software engineering), intégrant notre propre solver pourvu d’heuristiques spécifiques qui améliorent significativement les temps de calcul, pour expérimenter trois scénarios d’évolution permettant de tester la réalisation d’un changement à chacun des trois niveaux d’abstraction. / Managing software evolution is a complex task. Indeed, throughout their whole lifecycle, software systems are subject to changes to extend their functionalities, correct bugs, improve performance and quality, or adapt to their environment. If not evolved, software systems degrade, become obsolete or inadequate and are replaced. While unavoidable, software changes may engender several inconsistencies and system dysfunction if not analyzed and handled carefully hence leading to software degradation and phase-out.This thesis proposes an approach to improve the evolution management activity in component-based software development processes. The solution adopts a Model-Driven Engineering (MDE) approach. It is based on Dedal, an Architecture Description Language (ADL) that explicitly separates software architecture descriptions into three abstraction levels: specification, configuration and assembly. These abstraction levels respectively correspond to the three major steps of component-based development (design, implementation and deployment) and trace architectural decisions all along development. Dedal hence efficiently supports evolution management: It enables to determine the level of change, analyze its impact and plan its execution in order to prevent architecture inconsistencies (erosion, drift, etc.). Rigorous evolution management requires the formalization, on the one hand, of intra-level relations linking components within models corresponding to different architecture abstraction levels and on the other hand, of the formalization of inter-level relations linking models describing the same architecture at different abstraction levels. These relations enable the definition of the consistency and coherence properties that prove necessary for architecture correctness analysis. The evolution process therefore consists of three steps: First, change is initiated on an architecture description at a given abstraction level; then, the consistency of the impacted description is checked out and restored by triggering additional changes; finally, the global coherence of the architecture definitions is verified and restored by propagating changes to other abstraction levels.Relations and properties are expressed in B, a set-theoretic and first-order logic language. They are applied on B formal ADL, the meta-model of which is mapped to Dedal's and helps automatic model transformations. This integration enables to implement a development environment that combines the benefits of both MDE and formal approaches: Software architecture design using Dedal tools (graphical modeler) and architecture analysis and evolution management using B tools (animator, model-checker, solver).In particular, we propose to use a B solver to automatically calculate evolution plans according to our approach. The solver explores a set of defined evolution rules that describe the change operations that can apply on architecture definitions. It automatically searches for a sequence of operations that both changes the architecture as requested and preserves architecture consistency and coherence properties. The feasibility of the evolution management approach is demonstrated through the experimentation of three evolution scenarios, each addressing a change at different abstraction level. The experimentation relies on an implementation of a search-based software engineering approach mixing software engineering and optimization and integrates our own solver with specific heuristics that significantly improve calculation time.

Les travaux réalisés traitent de la caractérisation en fatigue thermique et mécanique d’assemblages collés par colle conductrice isotrope. Issu du domaine des circuits électroniques radio fréquences à applications spatiales, l’empilement type considéré dans l’étude est constitué d’un carré d’alumine reporté de manière automatique sur un support en Kovar.L’adhésif est à base d’époxyde chargé de microparticules d’argent pour la conduction électrique et thermique du report.Les surfaces de collage de l’alumine sont polies-rectifiées et dorées pour favoriser les fonctions RF, au détriment de la tenue du collage. L’objectif principal est l’identification des mécanismes de fatigue de l’assemblage face aux sollicitations thermiques subies pendant des essais de qualification thermiques réalisés au sol, qui se veulent représentatives de celles subies en orbite pendant toute la durée de la mission. Deux axes de recherche sont privilégiés dans cette étude. D’une part, le comportement du matériau adhésif est caractérisé par des essais de fluage et des essais cyclés réalisés sur des éprouvettes de colle. Le modèle viscoplastique Two-Layers est retenu et implémenté dans un modèle éléments finis de l’assemblage. La tenue de la colle aux interfaces constitue une seconde approche de caractérisation. Une faible tenue en mode I est constatée à l’issue d’une campagne DCB. D’autre part, deux plans d’expériences portant sur la géométrie et les conditions de report des assemblages sont réalisés en parallèle d’une étude paramétrique numérique. Ces deux approches complémentaires permettent de proposer des hypothèses relatives aux mécanismes de fatigue prépondérants au sein de l’assemblage dans son environnement thermique. La tenue en fatigue des collages s’avère très dépendante du procédé automatique qui insère de nombreux défauts (porosités) à l’interface du composant. Une caractérisation en fatigue par essai mécanique est proposée comme alternative au cyclage thermique lent en étuve. Bien que l’équivalence ne soit pas complète, les résultats présentent de bonnes perspectives pour aider à la caractérisation en fatigue de l’interface entre des composants céramiques et une colle conductrice. / This subject deals with the fatigue life characterization under thermal and mechanical loads of bonded assemblies with anisotropic conductive adhesive. In the framework of radio frequency electronics for space applications, the stack of study iscomposed of an alumina square bonded onto a Kovar plate following an automatic process. The adhesive is made of anepoxy based matrix loaded with silver flakes for electrical and thermal conduction. Surfaces of adhesion are polished andcoated with gold to improve RF functions despite the reduction of adherence. The main objective is to identify the fatigue mechanisms taking place in the assembly under thermal cycling due to its orbital environment during the mission and some representative on-ground qualification tests. The study is divided into two parts. First of all, the mechanical behavior of the adhesive is completely characterized by creep and recovery tests and cycling tests performed on bulk specimens. The model of material behavior, called Two-Layers, is identified and implemented in a finite elements model of the whole assembly. The adhesive resistance at the bonding interfaces is also studied. A certain weakness in mode I is observed from a DCB campaign. Secondly, two designs of experiments on geometry and thermal conditions are performed in parallel of a numerical parametric study. These two complementary approaches allow proposing some hypothesis upon the fatigue mechanisms occurring in the assembly under thermal cycling. The fatigue resistance of bonded assemblies depends on the automatic bonding process that creates numerous defects at the component interface (as porosities). A fatigue life characterization by the help of a mechanical test is proposed as an alternative to slow thermal cycling in an oven. Although, the equivalence is not entirely proven, results are promising and can help further with the fatigue study of the interface between such ceramic components and a conductive adhesive.

De nos jours, les systèmes distribués sont caractérisés par une complexité croissante de l'architecture, des fonctionnalités et de la charge soumise. Cette complexité induit souvent une perte de la qualité de service offerte, ou une saturation des ressources, voire même l'indisponibilité des services en ligne, en particulier lorsque la charge est importante. Afin d'éviter les désagrèments causés par d'importantes charges et remplir le niveau attendu de la qualité de service, les systèmes nécessitent une auto-gestion, en optimisant par exemple un tier ou en le renforçant à travers la réplication. Cette propriété autonome requiert une modélisation des performances de ces systèmes. Visant cet objectif, nous développons un framework basé sur une méthodologie théorique et expérimentale d'identification automatique de modèle et de dimensionnement, fournissant en premier un modèle de réseau de file d'attente pour un système distribué. Ensuite, ce Modèle est utilisé au sein de notre framwork pour dimensionner le système à travers une analyse ou une simulation du réseau de file d'attente. / Modern distributed systems are characterized by a growing complexity of their architecture, functionalities and workload. This complexity, and in particular significant workloads, often lead to quality of service loss, saturation and sometimes unavailability of on-line services. To avoid troubles caused by important workloads and fulfill a given level of quality of service (such as response time), systems need to self-manage, for instance by tuning or strengthening one tier through replication. This autonomic feature requires performance modelling of systems. In this objective, we developed a framework based on a theoretical and experimental approach for automatic identification process and sizing . This framework provid a queuing model for a distributed system. Then, this model is used in our Framwork to size the system through an analysis or simulation.

Assurer la continuité de services d'un bâtiment hospitalier après un séisme nécessite, au-delà d'une bonne résistance structurelle, l'opérabilité des composants techniques et médicaux indispensables pour maintenir les soins. Dans ce contexte, l'objectif de ce travail de thèse est de fournir aux gestionnaires techniques hospitaliers une méthode globale et de première analyse pour évaluer la vulnérabilité sismique du système hospitalier vis-à-vis d'un séisme "limite de services", générateur de peu de dommages structuraux. La base de ce travail repose sur une méthode existante (Visual Screening method) construite essentiellement sur des données historiques du comportement des divers composants pendant le séisme. Pour compenser le manque de données de retour d'expérience, surtout pour les nouveaux composants, nous proposons une méthode alternative pour apprécier la vulnérabilité d'un composant en place. Cette méthode est basée sur la constitution d'un profil sismique du composant à partir de quinze paramètres caractéristiques influençant sa vulnérabilité tels que la masse, la sensibilité fonctionnelle, etc. La méthode d'analyse multicritère ELECTRE TRI est utilisée pour affecter le composant dans une classe de vulnérabilité prédéfinies (non vulnérable, peu vulnérable, vulnérable et très vulnérable). L'originalité de ce travail repose sur la mise en œuvre d'une analyse de sensibilité automatique du résultat aux paramètres de la méthode ELECTRE TRI, associée à une prise en compte de l'incertitude sur les données saisies par l'utilisateur lors la définition du profil du composant par une simulation de type Monte-Carlo. / To ensure the continuity of hospital's services after an earthquake, it requires, in addition to a good structural resistance, the operability of technical components necessary to maintain the medical care. In this context, the objective of this thesis is to provide for hospital's manager a global and a preliminary approach to assess the seismic vulnerability of the hospital system towards a "limit of services" earthquake that causes slight structural damages. This work is based on an existing method (Visual Screening) which is set up mainly on historical behavior of the various components during earthquakes. To make up for lack of data of feed-back, especially for new components, we propose an alternative method for assessing the vulnerability of a component in situ. This method is based on the composition of component's seismic profile from fifteen characteristic parameters affecting its vulnerability such as mass, functional sensitivity, etc. ELECTRE TRI (multicriteria analysis method) is used to assign the component in a predefined vulnerability class (no vulnerable, little vulnerable, vulnerable and very vulnerable). The originality of this work is the implementation of an automatic sensitivity analysis of ELECTRE TRI parameters. Thus the uncertainties of data entered by the user at the time of component's profile setting are taking into account by Monte Carlo simulation.

Aujourd’hui les attentes en terme de performance énergétique, environnementale, mais également économique et sociale, toujours de plus en plus élevées, rendent de plus en plus complexe l’acte de construire et compliquée la prise de décision en phase de conception. Aussi l’enjeu de demain est notamment d’accompagner les acteurs de la construction dans le choix de composants de construction les moins risqués et les plus appropriés pour un projet de construction donné. Cette thèse est née de la volonté de répondre à cet enjeu. Aussi, l’objectif de cette thèse a été de développer une méthode d’évaluation de l’impact de l’intégration d’un composant de construction sur la performance globale (énergétique, environnementale, économique et sociale) d’un bâtiment tout au long de son cycle de vie. L’appropriation de la culture du risque, son appréciation (identification, analyse et évaluation), ainsi que son management dans le domaine de la construction est un phénomène récent, encore principalement à l’état de recherche. Cependant d’autres domaines tels que le nucléaire, l’aéronautique ou la finance ont déjà acquis des connaissances, développé des outils, méthodes et techniques et mis en exergue des bonnes pratiques et des précautions à suivre. Ainsi nous avons choisi de nous appuyer sur cela pour développer notre méthode et notamment nous avons fait le choix d’utiliser la méthode classique de Cooke (1991) pour pondérer les jugements d’experts et s’assurer qu’ils soient les plus représentatifs de la réalité. La méthode proposée ici se décompose en trois étapes. La première est une étape préliminaire qui permet d’une part de définir les objectifs de performance à atteindre pour un bâtiment performant en construisant une famille d’indicateurs de performance et d’autre part de choisir entre les deux étapes suivantes. Soit le composant de construction est largement diffusé et le processus principal est mis en œuvre. Soit il est innovant et c’est le processus secondaire qui est mis en œuvre. In fine la méthode permet : 1) d’identifier les couples ‘aléa/risque’ associés au composant étudié (composant largement diffusé ou innovant) ; 2) de mettre en évidence, grâce à l’aide d’un jeu de poids pondérant les indicateurs de performance représentant la performance globale à atteindre pour un bâtiment donné : a) les indicateurs les plus sensibles au regard de ce composant (composant largement diffusé) b) l’impact de l’intégration du composant via les couples ‘aléa/risque’ recensés sur tout le cycle de vie du bâtiment à l’échelle du composant et à l’échelle du bâtiment (composant largement diffusé). Elle a été expérimentée sur deux composants de construction, l’un largement diffusé, l’autre innovant et cela a permis de mettre en exergue ses avantages, limites, perspectives et améliorations d’un point de vue théorique. Mais également d’identifier des bonnes pratiques, des risques et des apprentissages associés à sa mise en application. Sa force réside dans son déploiement à grande échelle. Plus elle sera mis en œuvre sur un grand nombre de composants de construction d’une même famille et plus elle apportera un intérêt dans l’aide à la conception grâce à la comparaison entre ces composants pour choisir le plus approprié et le moins risqué pour un projet de construction donné. / Current expectations in terms of energy, environmental, economic and social performance, are increasingly higher, making more complex the act of building and complicating decision-making in the design phase. Therefore, tomorrow's challenge includes the support of construction stakeholders in the choice of the least risky and most appropriate construction components for a given construction project. This PhD was born of the desire to respond to this challenge. The objective being to develop a method for assessing the impact of the integration of a construction component on the overall performance (energy, environmental, economic and social) of a building throughout its life cycle. The appropriation of the risk culture, its assessment (identification, analysis and evaluation), and its management in the field of construction is a new phenomenon, still mainly in the state of research. However, other fields such as nuclear, aeronautics or finance have already acquired knowledge. Tools, methods and techniques were developed and highlighted good practices and precautions to be followed. This robust basis was used to develop our method and in particular, the classical method of Cooke (1991) was used to weigh the expert judgments in order to ensure a better representativeness of reality. The proposed method is composed of three steps. The first is a preliminary step that allows to define the objectives of performance to be achieved for an efficient building by building-up a family of performance indicators. It also allows to choose between the two next steps. Either the construction component is largely distributed and the main process is implemented, or it is innovative component and the secondary process is implemented. In fine the method enables : 1) to identify the 'hazard/risk' pairs associated with the component studied (largely distributed or innovative component) ; 2) to highlight, by weighting the performance indicators representing the overall performance to be achieved for a particular building : a) the most sensitive indicators regarding this component (largely distributed component) ; b) the impact of the integration of this component through the 'hazard/risk' pairs identified throughout the life cycle of the building at the component scale and at the building scale (largely distributed component). It was tested on two construction components, one largely distributed, the other innovative, which has highlighted the method advantages, limits, prospects and improvements from a theoretical point of view. But also to identify good practices, risks and learning associated with its implementation. Its strength lies in its large-scale deployment. The more it will be implemented on a large number of construction components of the same family, the more it will bring an interest in design assistance by comparing these components to choose the most appropriate and least risky for a given construction project.

Les sens complémentaires en arabe sont multiples et variés. Outre les aspects syntaxiques, nous relevons des aspects sémantiques propres à chaque complément. L’introduction de l’un de ces sens dans la phrase l'enrichit et entraîne des précisions qui se rattachent au verbe. Les grammairiens classiques parlent des (mafûîät) ou encore des (manûübät) noms au cas accusatif, ils s'intéressent ainsi au traits formels des compléments. Les rhétoriciens soulignent les traits sémantiques. Ils insistent sur le sens de la restriction déterminative qu’exerce le complément sur le verbe. Une approche critique démontre que les compléments en arabe jouent un rôle important dans l'éclaircissement du sens de l’action. C’est donc le verbe qui sélectionne le sens complémentaire convenable. En arabe moderne (dans les écritures contemporaines) l’usage des compléments ne s’écarte pas loin de l'usage classique. Les auteurs sont soumis aux règles de la théorie grammaticale des premiers siècles. Toutefois, il existe certains aspects d'évolution qui reviennent, soit au choix libre de l’écrivain, soit à l’évolution interne de la langue elle-même. / The complements in arabic are multiple and various. Besides syntactic aspects, we put a spot light on the Semantic aspects of each complement. The insertion of such complement to the sentence enriches the meaning by adding precisions related to the verb. The classical grammarians talk about (mafülät) or (manlïlübäù) nouns that finish by the short vowel (a). They are also interested by the formal character of these complements. The rhetoricians highlight the Semantic character. They emphasize on the meaning of the deeming restriction that the complement exerts on the verb. A critical approach shows/proves that the complements in Arabic have an important role in the understanding of the action meaning. Consequently, it is the verb that selects the adequate complementary meaning. In modem Arabic, like in contemporary writings, the usage of complement does not differ from the traditional and classical usage. The authors are subject to the rules of grammatical theory of the early centuries. However, there are some aspects of evolution that are back either at the discretion of the writer, or at the internal evolution of the language itself.