To see the other types of publications on this topic, follow the link: Impératif.
Dissertations / Theses on the topic 'Impératif'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Impératif.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Rivier, Raphaële. "Droit impératif et juridiction internationale." Paris 2, 2001. http://www.theses.fr/2001PA020065.
Full text
2
Candat, Justine. "Les restructurations et l'emploi : un impératif d'anticipation." Paris 2, 2010. http://www.theses.fr/2010PA020081.
Full textAbstract:
La mondialisation de l'économie et des échanges a entraîné une multiplication de la fréquence des restructurations. Fusion d'entreprises, cession d'activités, fermeture de branches d'activités, délocalisations. . . Conduisant très souvent à des licenciements collectifs pour motif économique. Afin d'éviter les conséquences néfastes des réorganisations d'entreprises sur l'emploi, il apparaît nécessaire d'anticiper le plus possible les licenciements pour motif économique. Un dialogue social performant peut permettre à la formation professionnelle tout au long de la vie, la mobilité professionnelle, la gestion prévisionnelle des emplois et des compétences d'offrir au salarié la polyvalence nécessaire à sa réinsertion. D'autres instruments, d'origine européenne essentiellement, peuvent également y participer. Toutefois, en dépit de l'application rigoureuse de ces mécanismes, la restructuration conduit souvent à des suppressions d'emplois. Celle-ci doivent être anticipées "à chaud" par le truchement de l'obligation de reclassement dont la mise en oeuvre n'est pas toujours aisée. La rupture amiable des contrats de travail (rupture conventionnelle, plans de départ volontaires) ou l'aménagement du processus de retructuration peuvent enfin éviter ou diminuer le nombre de licenciements.
3
Camara, Makha. "Repenser la sécurité, un impératif de développement pour l'Afrique." Montpellier 3, 2007. http://www.theses.fr/2007MON30009.
Full textAbstract:
L’éclatement de la notion de sécurité amorcé depuis la fin de la seconde guerre mondiale, s’accentue davantage avec la fin de la guerre froide, l’Etat cesse d’être le centre exclusif des enjeux de sécurité à la faveur des doctrines nouvelles sur la sécurité (sécurité humaine et sécurité globale en l’occurrence). En Afrique, la fin de la guerre froide ouvre une ère où se succèdent et s’emboitent plusieurs facteurs qui induisent inéluctablement une révision de la conception et des politiques de sécurité mises en œuvre. La fin de la guerre froide fit perdre à l’Afrique subsaharienne son enjeu stratégique pour l’Occident jusqu’ici engagé dans la lutte planétaire contre le communisme Référence majeure dans ce domaine, la France adopte à partir du début des années quatre vingt dix, une attitude de désengagement qui va en se renforçant à partir de 1994. L’intensité de sa politique de sécurité et de coopération diminue de manière drastique. Mais, le vide laissé par le parapluie français allait renforcer, de la part des pouvoirs africains, un besoin de sécurité qui tend à être comblé par des opérateurs privés de sécurité tant dans le domaine civil que militaire. En outre, la recrudescence des conflits intra étatiques et leur propension à prendre une dimension régionale change la dimension purement étatique des choses. Loin d’être purement sécuritaires, les causes de ces conflits atroces se trouvent dans l’échec des politiques et de la conception du développement en vigueur jusqu’au début des années deux mil. Tous ces facteurs cumulés induisent une révision de la réflexion sur la sécurité. Les nouvelles politiques qui en découlent passent par une réappropriation africaine de la sécurité (elles seront donc d’inspiration africaine et basées sur des instruments africains) à vocation régionale (et non plus seulement étatique) de même que l’assistance étrangère en matière de sécurité doit être canalisée sous la forme multilatérale (et de moins en moins bilatérale en ce qui concerne la gestion des conflits au moins). Mais alors qu’en Occident, l’Etat est de moins en moins le centre de gravité des enjeux de sécurité, en Afrique rien n’est envisageable sans le renforcement institutionnel multidimensionnel de l’Etat seul à même de garantir les meilleures conditions de la sécurité et donc du développement. La nécessaire conception élargie de la sécurité implique une conception du développement qui prenne mieux en compte la situation de la majorité de la population exclue, marginalisée ou dans des conditions de pauvreté extrêmeThe break-up of the notion of security, which started at the end of World War II, has become even more marked since the end of the cold war. The State is no longer the only centre of security stakes, as new doctrines on security appears (on human and global security in this case). In Africa, the end of the cold war has opened a new era in which several factors have inevitably implied rethinking the notion of security, and rethinking the security policies implemented. At the end of the cold war, subsaharan Africa lost its strategic importance for the Western world, which until then had been engaged in a global fight against communism. France, which was a major reference in this area, started to withdraw in the early nineties, and has reinforced this attitude since 1994. It is much less implied in security and cooperation policies. The void left by the French has increased the African powers' need for security, wich tends to be met by private security operators, as much in the civil as in the military area. Moreover, the rise in conflicts within the States, and their tendency to take on a regional dimension, has reduced the control of the State over security matters. Far from being mainly related to security matters, the causes of these atrocious conflicts can be found in the failure of policies and the failure of the idea of development that existed until the early 2000s. All these factors imply that security should be rethought. This entails new policies which mean Africans should take control of their own security (these new policies will thus be African, and based on African instruments) and which should be implemented on a regional level (and not only at the level of the State). In the same way, foreign assistance concerning security should be multilateral (and less and less bilateral, at least in terms of conflict management). But whereas in Western countries, the State is less and less at the centre of security, in Africa nothing can be considered without strengthening the institutions of the State, which alone can guarantee the best conditions of security and thus of development. A new and wider idea of security implies a notion of development which should better take into account the situation of the majority of the population, which is excluded, marginalised or in extreme poverty
4
Hérique, Emmanuel. "Étude de l'interjection "tiens" : contribution à l'étude du phénomène interjectif." Nancy 2, 1986. http://www.theses.fr/1986NAN21012.
Full text
5
Guénot, Ludovic. "Le droit impératif général ou La quête d' une démocratie universelle." Toulouse 1, 2002. http://www.theses.fr/2002TOU10019.
Full textAbstract:
Le droit impératif général - jus cogens international - est une notion peu ou mal connue de l' opinion publique internationale qui pourtant mérite de l' être car elle tend à valoriser le lien juridique entre l' individu, les peuples et les États. Ce droit "contraignant" peut se définir comme un processus permettant de construire une humanité unie et non unique, à travers des intérêts communs. Depuis le seizième siècle, le jus cogens international est le produit d' un discours idéologique avancé au gré des intérêts. Aujourd' hui, les espoirs dans un "jus cogens social" suscitent un sursaut démocratique des individus et des peuples critiques face à l' entreprise de "déjuridicisation" de la part des États, et des firmes transnationalesPeremptory norms are a notion little known from public opinion. Yet it is worth knowing because this notion aims to enhance the value of the legal link between individual, people and States. This "constraining" law can be defined like a process constructing a united humanity but no unique, through common interests. From the sixteen century, the international jus Cogens is a product of a ideological speech ; today, hope in "minorities jus cogens", "humanitarian jus cogens", "social jus cogens" provoke a democratic burst of individuals and people
6
Bouabdallah, Farouk. "L' impératif de protection des actionnaires et les variations du capital social." Lyon 3, 2009. https://scd-resnum.univ-lyon3.fr/in/theses/2009_in_bouabdallah_f.pdf.
Full textAbstract:
Les variations du capital social sont des opérations courantes dont les objectifs peuvent être multiples. L'augmentation, la réduction et l'amortissement peuvent alors constitués des instruments destinés à assurer une gestion cohérente des capitaux propres, permettre la sortie de certains actionnaires qui le désirent ou bien faciliter le redressement de la société par une recapitalisation. Les modifications du capital peuvent aussi être le fait d'opérations financières plus complexes telles que la fusion, la scission, l'émission de stock options ou d'actions de préférence etc. Pour autant, les bienfaits reconnus aux opérations de variation du capital social, ne sauraient éclipsés les risques qu'elles font peser sur la situation des actionnaires, qu'ils soient actuels ou potentiels. Face à cette situation, les actionnaires ne sont pas dépourvus de moyens d'actions. Ces derniers sont même nombreux (droit préférentiel de souscription, primes d'émissions pour les plus connus et réajustement des droits pour les actionnaires à termes), mais ils ne sont pas infaillibles car la protection des actionnaires cède presque toujours lorsque les opérations envisagées sont réalisées dans l'intérêt social. Cette dernière notion est la clé de voute essentielle permettant de comprendre la légitimité des atteintes aux droits des actionnaires lors de variations du capital social. Dans ce cas de figure, il est clairement fait la distinction entre les intérêts des actionnaires et celui de la société pris comme une entité propre et indépendante de ces actionnaires. Si la modification du capital envisagée est utile et nécessaire pour la société, l'intérêt des actionnaires passe alors au second plan. Seule une éventuelle et improbable redéfinition du concept d'intérêt social pourrait inverser cette tendance. Dans le cas contraire, il faut considérer, qu'à travers les effets pervers des variations du capital, les actionnaires subissent l'aléa normal que requiert toute activité en sociétéThe changes in social capital are common operations whose goals can be multiple. The increase, reduction and damping can be used as tools to ensure a coherent management of the capital, to allow the release of certain shareholders who desire it, or even to facilitate the adjustment of the company by recapitalization. Changes in capital can also be due to more complex financial transactions such as for example merging, splitting, and the issuance of stock options or preference shares. The recognized benefits of the changes in social capital cannot however eclipse the risk incurred by actual or potential shareholders. In view of this situation, the shareholders are not without mean of action. On the contrary, they are numerous : preferential right of subscription, uttering premium for the most know, and readjusting of the rights at the end for the shareholders. Nevertheless, those means are not infallible since the protection of the shareholders almost always yields when the envisaged operations are carried out in the social interest. This last notion is essential to understand the legitimacy of the violation of the shareholder's rights at the time of variations to the social capital. In this case, a clear distinction is made between the interests of the shareholders and the interests of the company, taken as an independent entity. If the envisages variations to the capital are useful and necessary for the company, the shareholder's interests are then put to the background. Only a eventual and unlikely redefinition of the concept of social interest could reverse this trend. Otherwise, the violation of the rights of the shareholder's through the adverse effects of the changes in capital must be considered as normal hazard required by any activity in company
7
Moreau-Nechelis, Dominique. "L' impératif de qualité en droit comptable actuel : des apports à systématiser." Paris 5, 2009. http://www.theses.fr/2009PA05D002.
Full textAbstract:
Une information financière de qualité propre à satisfaire les acteurs du monde financier ne peut être obtenue que par le moyen d'un processus international de construction préalable tenant aux normes comptables, à leur intégration dans le droit et les systèmes de traitement de l'information comptable des Etats, et au contrôle de leur mise en œuvre. La mise en place d'un système de normes internationales accepté ne suffit toutefois pas à atteindre l'impératif de qualité de l'information financière. Encore faut-il qu'il soit appliqué dans les meilleures conditions dans les entreprises. Le cas français est intéressant car il révèle le difficile compromis que la France connaît actuellement et qui réside dans le fait d'accepter le système de normes internationales tout en maintenant le système national de traitement de l'information comptable. Le maintien de ces deux référentiels n'est pas souhaitable à terme et la recherche d'une alternative qui ménage les intérêts, à la fois des entreprises, de l'Etat et des utilisateurs des comptes fait l'objet de réflexionsFinancial information of sufficient quality to satisfy the needs of the world of finance can only be obtained through a pre-defined international process based on accounting standards. This process needs to take place within States Law and to be subject to the accounting information system implementation control. Although an essential prerequisite, the implementation of accepted international accounting standards is still not enough to ensure reliable financial information. Companies must apply these norms to the highest standards. France is an interesting case as it shows a compromise between adopting international standards whilst retaining its own national financial information process. The use of a dual system is however not desirable in the long run. The search for an alternative which protects each party's interest i. E. The companies and the State is a huge challenge
8
Dupréelle, Karine. "La régionalisation en Afrique orientale : entre impératif de développement et dynamiques politiques." Lille 1, 2001. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2001/50374-2001-5-6.pdf.
Full textAbstract:
A l'heure actuelle, la seule dynamique libérale semble ne plus suffire à la compréhension et à l'explication des tendances économiques d'espaces amenés à dépasser leurs frontières et le cadre de leurs définitions classiques. On en vient ainsi à parler d'interdépendance, de vulnérabilité ou encore de sensibilité. C'est dans cet esprit que d'aucuns envisagent la définition de réactions concertées face à des difficultés communes en matière de développement, notamment au travers de l'intégration économique et de ses différentes déclinaisons. De nombreux États africains, organisations internationales et acteurs économiques intensifient de ce fait leurs efforts en matière de régionalisation. En outre, ces derniers semblent également déterminés par la prise en considération du bilan relativement décevant de plus de quatre décennies d'intégration régionale en Afrique subsaharienne. Notre objet devient dès lors la définition d'une forme de régionalisation mieux adaptée aux contraintes et aux objectifs politiques et économiques de régions en développement telles que celles d'Afrique orientale. Au regard des expériences régionales passées et des enseignements tirés grâce aux différentes initiatives menées en Afrique australe, le processus de coopération régionale semble, en termes économiques et notamment en termes d'infrastructures de transport, pouvoir répondre à cette première exigence. Néanmoins, si l'on considère ce processus en termes de logiques politiques, la crédibilité de ce même processus en tant qu'outil de développement pour l'Afrique orientale se voit fortement remise en cause.
9
Prin, Christian. "Excentration, extimité, hiatus : le réel se situe dans l'intervalle : structure et temps, excentration et extimité." Paris 8, 2004. http://octaviana.fr/document/184660149#?c=0&m=0&s=0&cv=0.
Full textAbstract:
Une série de formulations apparemment homologues se conjoignent, qui, de philosophie en fin de la philosophie et jusqu'aux clôtures de l'anti-philosophie, laissent problématique la superposition toujours possible de propositions cruciales de la dialectique (entendre prédominance du processus) et de " la structure ". Un point de réel, comme impossibilité de la modalité logique, introduit le principe d'inconsistance au coeur-même des logiques contemporaines, parallèlement au principe de contradiction interne comme noyau rationnel. C'est cet écart qui est interrogé, sur le spectre des trente années passées, où le " schème " dialectique a à expérimenter un élément qui le nie : Lacan. La catégorie de temps est donc tout spécialement visée, ainsi que celle de jouissanceA series of apparently homologous formulations are conjoining, which, from philosophy to end of philosophy and to the anti-philosophy closures, leave problematic the always possible superposition of crucial proposals of dialectic (to hear prevalence of the process) and of " structure ". A point of real (réel), like impossibility of the logical modality, introduces the principle of inconsistency in the heart itself of contemporary logics, parallel to the principle of internal contradiction like rational core. It is this gap which is questioned, on the thirty year old spectrum spent, where the dialectical " schema " has to try out an element which denies it : Lacan. The category of time thus in particular is aimed, like that of jouissance [i. E. As distinct from the pleasure]
10
Perrin, Isabelle. "L'impératif en anglais et les opérations énonciatives." Paris 3, 1992. http://www.theses.fr/1993PA030021.
Full textAbstract:
Dans le cadre de la theorie des operations enonciatives developpee par culioli, cette etude a pour objet de definir un fonctionnement linguistique invariant sous-tendant tous les enonces imperatifs, c'est-a-dire permettant de reduire les multiples effets de sens qu'ils vehiculent (ordre, souhait, conseil, hypothese, etc. ) a une meme operation fondamentale, tout en restant suceptible de se combiner a d'autres operations pour produire en contexte les effets de sens reperes. A partir d'un corpus d'exemples authentiques, l'analyse se base sur une etude diachronique et synchronique liminaire pour proposer une nouvelle hypothese theorique sur le fonctionnement de l'imperatif en anglais, hypothese ensuite corroboree par une confrontation aux faits de langue constatablesWithin the framework of culioli's theory of enunciative operations, this study aims at defining a fundamental linguistic operation common to all imperative utterances, in spite of the numerous values they elicit (order, request, advice, condition, etc. ). On the basis of a corpus made of genuine examples, the analysis proceeds from a diachronic and synchronic study which leads to the proposition of a new theoretical hypothesis about the nature of the english imperative -- a hypothesis then corroborated against actual linguistic phenomena
11
Kerneis, Gabriel. "Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00751444.
Full textAbstract:
La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurrents écrits dans un style à threads sont traduisibles automatiquement en programmes à événements équivalents et efficaces par une suite de transformations source-source prouvées. Nous proposons d'abord Continuation-Passing C, une extension du langage C pour l'écriture de systèmes concurrents qui offre des threads très légers et unifiés (coopératifs et préemptifs). Les programmes CPC sont transformés par le traducteur CPC pour produire du code à événements séquentialisé efficace, utilisant des threads natifs pour les parties préemptives. Nous définissons et prouvons ensuite la correction de ces transformations, en particulier le lambda lifting et la conversion CPS, pour un langage impératif. Enfin, nous validons la conception et l'implémentation de CPC en le comparant à d'autres bibliothèques de threads et en exhibant notre seeder BitTorrent Hekate. Nous justifions aussi notre choix du lambda lifting en implémentant eCPC, une variante de CPC utilisant les environnements, et en comparant ses performances à celles de CPC.
12
Krupa, Renata. "Les injonctions en polonais." Thesis, Paris 4, 2010. http://www.theses.fr/2010PA040192.
Full textAbstract:
L’analyse des injonctions en polonais est placée dans une perspective pragmatico-énonciative. L’injonction est définie comme un acte illocutoire directif qui vise l’accomplissement ou le non accomplissement de l’action par l’allocutaire. L’auteur de ce travail part du constat qu’il n’existe pas de forme d’énoncé qui véhicule en soi la valeur injonctive. Seule l’actualisation d’un énoncé dans un contexte donné permet de définir la valeur injonctive qui se présente comme un continuum allant de l’injonction douce à l’injonction catégorique. Cela suppose une interaction entre la situation d’énonciation, divers marqueurs sémantico-syntaxiques, métainformatifs, expressifs ainsi que la prise en compte des facteurs extralinguistiques. Le concept de l’injonction permet de constater la suprématie du critère fonctionnel (le but de l’injonction) par rapport au critère purement formel (la structure de l’injonction). La notion d’honorification offre un cadre de description capable de rendre compte des différences qui existent entre le domaine non distant et le domaine distant ce qui conduit à établir une hiérarchie entre divers emplois injonctifsThe analysis of the injunctions in Polish is carried out within the pragmatic and enunciation theoretical framework. The injunction is defined as an illocutionary directive act which aims at the fulfillment or non-fulfillment of the action by the hearer. The author starts by presupposing that there is no shape of statement which conveys in itself the injunctive value. Only the actualizing of a statement in a given context allows to define the injunctive value which appears as a continuum going from soft injunction to categorical injunction. The actualizing in question asks for combination and interaction between the situation of speaking, the various semantic, syntactic, meta-informative and expressive markers, and the taking into account of the extra-linguistic factors. The concept of injunction allows to notice the supremacy of the functional criterion (the purpose of the injunction) over the purely formal criterion (the structure of the injunction). The notion of honorification offers a frame of description allowing to acknowledge the differences between the not-distant domain and the distant domain, which leads to establishing a hierarchy between diverse injunctive uses
13
Denizot, Camille. "Les formes de l'injonction en grec ancien : étude linguistique." Rouen, 2008. http://www.theses.fr/2008ROUEL621.
Full textAbstract:
Cette étude se propose de décrire et d'expliquer l'emploi des différentes formes linguistiques employées pour exprimer l'ordre et la défense, dans la synchronie du grec ancien. Une définition pragmatique de l'injonction sert d'axe pour étudier les diverses formes linguistiques. Le corpus retenu prend en considération des textes littéraires de la période archaïque et classique (poèmes homériques, Hésiode, Eschyle, Hérodote, Aristophane, Lysias, les dialogues de jeunesse de Platon, principalement). On recherche tout d'abord des caractéristiques linguistiques propres à tous les énoncés directifs, avant d'étudier les formes verbales typiques de l'injonction (impératif, subjonctif et infinitif). Pour expliquer la répartition de ces trois formes, l'étude est syntaxique, aspectuel, sémantique et pragmatique. Enfin, les formes indirectes de l'injonction sont envisagées, en permettant d'ajouter un facteur supplémentaire dans la typologie de l'injonction, la politesseThis work aims to describe and explain the different linguistic forms used to express orders and prohibitions in ancient Greek, from a synchronic point of view. The main perspective is a pragmatic one : the notion of command (a binding form of directive act) is the basis of the study, which follows a morpho-syntactic order. The corpus contains literary texts from archaic and classic period (Homeric poems, Hesiod, Aeschylus, Herodotus, Aristophanes, Lysias, and several dialogues of Plato). First, we try to find the linguistic characteristics of every directive act ; then we study the typical verbal forms of orders (imperative, subjunctive and infinitive), which directly express the directive act. The reasons why these different forms are employed are examined from several points of view (syntactic, aspectual, semantic and pragmatic ones). Finally, our work deals with indirect forms of order, which introduce a further factor in the typology of linguistic expression of order, politeness
14
Charbonnel, David. "Une relecture des lois du service public." Thesis, Limoges, 2019. http://www.theses.fr/2019LIMO0049.
Full textAbstract:
Relire les lois du service public, c’est (re)mettre en question le socle des trois principes — égalité, continuité, adaptation constante — solidement établis et largement connus, depuis environ un siècle, comme structurant le régime juridique spécifique de l’ensemble des services publics ; c’est interroger l’actualité de ces principes généraux dans un contexte profondément renouvelé et, à travers elle, la pérennité du service public lui-même, en tant qu’objet juridique. Afin de dresser pareil bilan de santé, deux niveaux de relecture sont retenus. Il s’agit, en premier lieu, de revenir sur l’ensemble théorique que constituent aujourd’hui les lois d’égalité, de continuité et d’adaptation constante : ces dernières, devenues subsidiaires par rapport aux impératifs économique et gestionnaire, ne semblent plus être des données de premier ordre dans le système de pensée juridique des services publics ; elles continuent toutefois d’assurer l’unité de la notion de service public, notion réduite à la portion congrue. Il s’agit, en deuxième lieu, de reconsidérer chacune des lois séparément, dans son contenu : la signification respective des trois principes classiques a évolué et de « nouveaux principes » sont recherchés, ceux-ci n’étant pour l’essentiel que des déclinaisons plus ou moins nouvelles de ceux-là ; une tendance à leur subjectivisation est observable sans devoir être exagérée, les lois du service public continuant d’exprimer l’esprit objectiviste du service publicReviewing the laws of public service means questioning the foundation of the three principles — equality, continuity, mutability — that have been firmly rooted and widely known, for about a century, as structuring the specific legal regime of all public services. It also means questioning the developments of these general principles in a profoundly renewed context and, through it, the durability of the public service itself, as a legal object. To do so, two review levels are employed. On the one hand, we have to go back over the theoretical set of the laws of equality, continuity and mutability, which have become subsidiary to economic and managerial imperatives and as such no longer seem to be the most important considerations in the legal thought system of public services. However, they continue to ensure the unity of the notion of public service, a notion reduced to its bare bones. On the other hand, we have to reconsider each of the laws separately, in their content. The respective meanings of the three principles have changed and « new principles » are being sought, these being essentially newer variations of those. A tendency to give more consideration to the individuals involved when applying the laws can be observed but must not be exaggerated, as the laws of public service are continuing to express the objectivist spirit of the public service
15
Guenad, Mohammed. "Sayyid Qutb et son impératif de la rupture au sein du monde musulman contemporain, au nom de l'islam." Paris 10, 2005. http://www.theses.fr/2005PA100026.
Full textAbstract:
Le sujet de l'étude concerne Sayyid Qutb un des, penseurs musulmans les plus influents du vingtième siècle, au sein du mouvement fondamentaliste militant en Egypte et à l'étranger, par ses écrits en particulier, ses théories sur la jâhiliyya, hâkimiyya. C'est une lecture dans la vie et la pensée, du poète, l'éducateur, le journaliste, le critique littéraire et l'un des penseur du mouvement islamique contemporain exécuté en 1966 par Nasser pour conspiration contre le régime. Cette étude met la lumière sur les facteurs de transformation intellectuelle de Qutb avant juillet 1952 et son apparition comme l'un des principaux idéologues de l'association des frères musulmans. Donc, une vue d'ensemble de la carrière de Qutb est également présentée. Les résultats indiquent que Qutb était un produit d'une société qui était passée par des dislocations politiques et culturelles à un moment où se produisait la transition de l'Egypte d'une société traditionnel à une société moderne. Cette étude cherche également à analyser l'influence du Qutb sur les groupes radicaux, disons «Qutbistes» Ce noyau d'idées «Qutbistes» qui se trouve au centre du terrorisme actuelThe subject of the study relates to Sayyid Qutb one of the Moslem thinkers most influential of the twentieth century, within the fundamentalist movement militant in Egypt and abroad, in its writings in particular, its theories on the jâhiliyya, hâkimiyya. It is a reading in the life and the thought, of the poet, the teacher, the journalist, the literary critic and one of the thinker of the contemporary Islamic movement carried out in 1966 by Nasser for conspiracy against the mode. This study puts the light on the factors of intellectual transformation of Qutb before July 1952 and its appearance like one of the principal ideologists of association of the Moslem brothers. Thus, an overall picture of the career of Qutb is also presented. The results indicate that Qutb was a product of a company which had passed by political and cultural dislocations at one time when the transition from Egypt of a company traditional to a modem society occurred. This study also seeks to analyze the influence of Qutb on the radical groups, say «Qutbistes». This core of ideas «Qutbistes». Which is in the center of current terrorism
16
Chiribagula, Nyumpa-Bashimba. "Vers une réforme du droit fiscal congolais: rationalisation du système d'imposition et de fiscalisation des activités économiques informelles :un impératif?" Doctoral thesis, Universite Libre de Bruxelles, 2003. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/211311.
Full text
17
Floricic, Franck. "Aspects de la négation en italien : le cas des marqueurs "non" et "nessuno"." Paris 3, 2000. http://www.theses.fr/2000PA030115.
Full textAbstract:
Cette these aborde la question des marqueurs italiens de negation non et nessuno. La premiere partie de ce travail ("approches de la negation"} presente et discute en particulier un certain nombre de propositions relatives a la syntaxe de la negation en italien. Une place assez large est faite ici aux analyses realisees dans le cadre de la syntaxe generative. La seconde partie ("les marqueurs nonet nessun(o)") affronte d'une maniere plus specifique le cas des marqueurs non et nessun(o); la question du negative concord est discutee en detail, ainsi que le probleme du statut de la voyelle finale de nessun(o): il est suggere que cette derniere n'est qu'en partie conditionnee phonologiquement. Dans toute une serie de contextes, sa presence ou son absence est l'indice d'une difference de statut du point de vue syntaxique et semantique. La derniere partie de cette etude ("le probleme de l'imperatif negatif) est consacree a l'imperatif negatif en italien. Apres avoir tente de cerner les proprietes (morphophonologiques et semantiques) de l'imperatif, une hypothese est avancee qui rende compte de l'impossibilite de nier la forme de "deuxieme personne" du singulier de l'imperatif (cfr. * non canta!). Les notions de focus et de clash jouent un role central dans cette discussion.
18
Guerte, Yves. "Dérivation de programmes impératifs à partir de spécifications algébriques." Phd thesis, Université Claude Bernard - Lyon I, 1996. http://tel.archives-ouvertes.fr/tel-00004992.
Full textAbstract:
Ce document présente une méthode de dérivation automatique des spécifications algébriques vers un langage impératif. Par langage impératif nous désignons un langage de programmation ``traditionnel'' avec déclarations des variables (état) et dont les programmes sont des suites d'instructions qui modifient l'état. L'instruction caractéristique est l'affectation destructrice d'une valeur à une variable. Une spécification algébrique est composée de sortes, de constructeurs qui définissent l'ensemble des valeurs atteignables (que l'on peut dénoter), et d'opérateurs axiomatisés par des équations conditionnelles orientées. Nous définissons un lien d'implémentation entre les objets du domaine abstrait des spécifications algébriques et ceux du domaine concret des programmes impératifs. Ce lien permet de paramétrer la dérivation d'une spécification. L'implémentation des opérateurs respecte le choix de la forme de dérivation et celui de la bibliothèque importée. Elle résout les conflits d'accès aux variables et minimise les coûts en recopies de valeurs engendrées par le passage du fonctionnel à l'impératif. De manière analogue au lien d'implémentation entre une spécification algébrique et un programme impératif, nous définissons un lien d'implémentation dite abstraite entre les sortes et constructeurs de deux spécifications algébriques. Nous proposons pour les constructeurs, soit d'effectuer une dérivation systématique en un type de donnée impératif, soit de calculer les liens d'implémentation abstraite potentiels vers les sortes dont les implémentations des constructeurs sont réutilisables. Une méthode de transformation de la spécification algébrique est enfin proposée, qui favorise les modifications ``en-place'' de données, dans une variante de la méthode de dérivation précédente.
19
Fleurent, Catherine. "La phrase impérative en français formel et informel d'un point de vue syntaxique." Master's thesis, Université Laval, 2015. http://hdl.handle.net/20.500.11794/25918.
Full textAbstract:
D’un point de vue syntaxique, la phrase impérative possède des caractéristiques saillantes qui lui sont propres. Cette étude vise à reconstituer sa structure pour comprendre son fonctionnement. Je propose un arbre syntaxique où la projection du sujet est présente pour héberger un sujet phonétiquement absent avec des propriétés grammaticales et sémantiques. La périphérie gauche de l’impératif demeure inchangée. Les projections verbales sont morphologiquement appauvries : temps absent et personne appauvrie. Cependant, dans certaines langues, la projection aspectuelle joue un rôle important. Une caractéristique de l’impératif qui a été étudiée par de nombreux chercheurs est le placement du clitique. Les données démontrent que les pronoms clitiques objets sont derrière le verbe impératif (enclitiques) comparativement à la phrase déclarative où les clitiques sont devant le verbe (proclitiques). Finalement, le registre de langue agit non seulement sur ce placement des clitiques, mais aussi sur leur forme.From a syntactic point of view, the imperative clause presents some salient characteristics. This study tries to reconstitute its structure to understand the mechanics at work. I propose a syntactic tree in which the subject projection is present hosting a phonetically null subject with grammatical and semantic properties. The left periphery of the imperative clause reveals no change. As for the verbal projections, they are morphologically meagre : lack of tense and impoverishment of the person. However, in some languages, the aspectual projection plays an important role. A characteristic of the imperative that many searchers had worked on is the clitic placement. The data shows that the pronominal object clitics take place after the imperative verb (enclitics) as opposed to the declarative clause in which the clitics take place before the verb (proclitics). Finally, the language register acts not only on the clitic placement, but also on their form.
20
Lhuillier, Vincent. "Liberté et objectivité dans l'économie politique pure de Léon Walras : essai épistémologique sur la conciliation d'un impératif moral et d'une exigence scientifique." Paris 1, 2000. http://www.theses.fr/2000PA010010.
Full textAbstract:
Les éléments d'économie politique pure constituent la pièce maitresse de l'édifice théorique élaboré par Léon Walras. Ce texte est aujourd'hui considéré comme le fondement des recherches modernes en équilibre général. La publication récente des œuvres complètes illustre toutefois l'importance qu'il y a à ne pas délaisser le reste des écrits walrasiens. Et ce, d'autant plus qu'en ce qui concerne ce premier ouvrage, les controverses interprétatives demeurent nombreuses et profondes. Citons dans le désordre les problèmes suivants : quel statut Walras accorde-t-il au juste à sa notion de tâtonnement ? Sur quels arguments fait-il reposer son affirmation selon laquelle les ajustements convergent ? Le numéraire est-il une simple hypothèse théorique ad hoc ou possède-t-il une signification particulière ? Qu'est-ce qui motive son choix d'admettre une mesure cardinale des utilités ? La monnaie est-elle requise pour assurer le bon fonctionnement du modèle d'économie pure ? L'analyse du capital a-t-elle un intérêt, ou bien le caractère fondamentalement atemporel de l'approche walrasienne suffit-il à disqualifier par avance sa tentative pour en rendre compte ? Ce travail se propose précisément de revenir sur toutes ces questions en partant du principe que le texte seul des éléments ne suffit pas à les trancher ou tout au moins qu'il n'en épuise pas la signification. De ce point de vue, un détour par la philosophie indique la présence au cœur de la réflexion walrasienne d'une problématique assez courante à l'époque depuis Kant : celle de la conciliation entre l'objectivité des lois scientifiques et la liberté des choix individuels. Cette problématique, rebaptisée ici problématique de la liberté, s'articule immédiatement aux premières analyses que Walras développe en économie pure au cours des années 1860. On la retrouve par la suite à tous les niveaux des éléments, confirmant ainsi qu'il n'a jamais délaissé son objectif initial : intégrer la liberté comme finen soi dans son modèle. .
21
Alvarez-Pereyre, Michael. "Aspects de la construction du sens de l’impératif anglais." Thesis, Paris 4, 2010. http://www.theses.fr/2010PA040130.
Full textAbstract:
L’impératif anglais est ici étudié en supposant un lien motivé entre sa forme et ses sens, dans le cadre d’une sémantique textuelle et énonciative cottienne. Analysant un corpus de films américains contemporains, l’étude décrit la construction du sens de requêtes pour y chercher la contributionpropre de l’impératif. Les éléments sémiotisés et non-sémiotisés à ce mode figurant souvent par ailleurs dans le discours, l’impératif apparaît comme une posture énonciative choisie par le locuteur. Celle-ci consiste en un rapport d’immédiateté aux signes et à l’action. L’injonction apparaît ainsi comme d’abord mentale, ce qui explique les cas où l’impératif ne doit pas mener à agir dans le monde. La sous-sémiotisation des relations est aussi une forme de refus des processus d’entrée dans le linéaire de la parole, ce qui peut anticiper une sortie vers le monde des actes. Les hypothèses proposées espèrent ainsi contribuer à montrer comment la brièveté peut être exploitée à des fins directivesThis study analyzes the English imperative in the framework of Pierre Cotte’s textual-gramatical semantics. It hypothesizes that the grammar of imperatives is iconic, i.e. motivated to some degree. The study describes the construction of meaning of requests found in a corpus of contemporary North-American films and isolates the specific contribution of imperatives. The elements verbalized in an imperative clause and those not verbalizedin it are actually both often verbalized in other phases of a request. This suggests that the imperative is a linguistic-cognitive attitude adopted by the speaker: the structure manifests and imposes a relationship of immediacy with the signs and with the action. The imperative command is therefore cognitive first, which explains the cases where an imperativedoes not require the hearer to act. The hypo-semiotic verbalization of the action may also mimic a refusal of the processes that produce connected speech, thus anticipating an exit from talk to action.Keywords: English imperative, iconicity, requests, film corpus, enunciation, textual semantics, grammatical semantics, enunciative linguistics
22
Marquer, Yoann. "Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial." Thesis, Paris Est, 2015. http://www.theses.fr/2015PESC1121/document.
Full textAbstract:
Les résultats de Colson ou de Moschovakis remettent en question que le modèle récursif primitif puisse calculer une valeur par tous les moyens possibles : il y a toutes les fonctions voulues mais il manque des algorithmes. La thèse de Church exprime donc plutôt ce qui peut être calculé que comment le calcul est fait. Nous utilisons la thèse de Gurevich formalisant l'idée intuitive d'algorithme séquentiel par les Abstract States Machines (ASMs).Nous représentons les programmes impératifs par le langage While de Jones, et une variante LoopC du langage de Meyer et Ritchie permettant de sortir d'une boucle lorsqu'une condition est remplie. Nous dirons qu'un langage caractérise une classe algorithmique si les modèles de calcul associés peuvent se simuler mutuellement, en utilisant une dilatation temporelle et un nombre borné de variables temporaires. Nous prouvons que les ASMs peuvent simuler While et LoopC, que si l'espace est primitif récursif alors LoopC est en temps récursif primitif, et que sa restriction LoopC_stat où les bornes des boucles ne peuvent être mises à jour est en temps polynomial. Réciproquement, une étape d'ASM peut être traduite par un programme sans boucle, qu'on peut répéter suffisamment en l'insérant dans un programme qui est dans While si la complexité est quelconque, dans LoopC si elle est récursif primitif, et dans LoopC_stat si elle est polynomiale.Ainsi While caractérise les algorithmes séquentiels en temps quelconque, LoopC ceux en temps et espace récursifs primitifs, et LoopC_stat ceux en temps polynomialColson and Moschovakis results cast doubt on the ability of the primitive recursive model to compute a value by any means possible : the model may be complete for functions but there is a lack of algorithms. So the Church thesis express more what can be computed than how the computation is done. We use Gurevich thesis to formalize the intuitive idea of sequential algorithm by the Abstract States Machines (ASMs).We formalize the imperative programs by Jones' While language, and a variation LoopC of Meyer and Ritchie's language allowing to exit a loop if some condition is fulfilled. We say that a language characterizes an algorithmic class if the associated models of computations can simulate each other using a temporal dilatation and a bounded number of temporary variables. We prove that the ASMs can simulate While and LoopC, that if the space is primitive recursive then LoopC is primitive recursive in time, and that its restriction LoopC_stat where the bounds of the loops cannot be updated is in polynomial time. Reciprocally, one step of an ASM can be translated into a program without loop, which can be repeated enough times if we insert it onto a program in While for a general complexity, in LoopC for a primitive recursive complexity, and in LoopC_stat for a polynomial complexity.So While characterizes the sequential algorithms, LoopC the algorithms in primitive recursive space and time, and LoopC_stat the polynomial time algorithms
23
campos, Adriana. "« J’ouïs ! », la soumission au temps des non-dupes : sur le surmoi à notre époque." Thesis, Paris 8, 2018. http://www.theses.fr/2018PA080117.
Full textAbstract:
Notre thèse aborde l’étude de notre époque à partir du concept psychanalytique que Freud a situé dans le joint entre la subjectivité et la civilisation : le surmoi. Que devient le surmoi à l’époque où les sujets n’adhérent plus aux prescriptions du père et de la tradition ? Quels sont les impératifs qui s’imposent aux sujets dans l’époque des non-dupes ?Le concept du surmoi apparaît de manière moins claire lorsque nous essayons de situer précisément ce qu’il est son caractère paradoxal fait obstacle à une définition univoque. Nous consacrons la première partie de notre thèse à tirer au clair ce qu’est le surmoi.Deuxièmement, nous appliquons le concept du surmoi à la compréhension d’un aspect clinique précis de l’époque contemporaine, que nous avons nommé « la tristesse ordinaire » et à un phénomène social précis qui relève nettement de « l’appel à la jouissance pure » du surmoi, le djihadisme. Mais pour cerner ce dernier, nous faisons retour aux trois religions monothéistes qui, tout en étant très anciennes, sont de nos jours encore bien présentes dans la civilisation occidentale : le judaïsme, la catholicisme et l’Islam. Dans notre recherche à leur sujet, nous tentons de situer la manière dont chacune de ces religions traite la question de la faute, qui est l’essence même du surmoi. heardThis thesis approaches the study of contemporary society by the application of the psychoanalytic concept, which was placed by Sigmund Freud at the junction of subjectivity and civilization: the superego. What becomes of the superego when subjects no longer adhere to the father’s or the tradition’s dictates? Which imperatives command at the time of non-dupes?The concept of the superego is not easily definable. As we try to understand what it is, its paradoxical character impedes an unambiguous definition. For that reason we dedicate the first part of this thesis to clarify what the superego is.Once this task is achieved, we apply the concept of the superego to understand two concrete issues. Firstly, a specific clinical aspect of the contemporary era, which we have called "ordinary sadness"; and secondly, a specific social phenomenon that clearly falls within the notion of the "call of pure jouissance”, namely jihadism. To better situate the latter, we go back to the three monotheistic religions that, despite being ancient, are still present today in Western civilization: Judaism, Catholicism and Islam. We try to establish how each of these religions addresses the notion of fault, which is at the essence of the superego
24
Dufeu, Pierre-Yves. "Le syntagme verbal isolé à l'impératif en français (XIIe-XVIIe siècle) : étude morphologique, sémantique et syntaxique." Paris 4, 2000. https://tel.archives-ouvertes.fr/tel-00949399.
Full textAbstract:
Le mode impératif existe-t-il systématiquement ? Si les modes subjonctif et indicatif relèvent de la modalité de prédication. L'impératif relève d'une autre modalité, l' « institution ». Une première étude morphologique analytique du verbe impératif montre que, dans la diachronie considérée, la langue retrouve le même type de claires oppositions morphématiques modales qui avaient cours en latin. Ainsi, au XVIIe siècle, le mouvement historique d'ajustement morphologique du verbe impératif à la modalité d'institution qui le gouverne est achevé. La langue affirme en outre sémiologiquement la continuité des deux modalités. Dans une deuxième étude de sémantique formelle, nous quantifions notamment le degré de précision thématique des verbes impératifs au moyen d'un indice de procès. L'emploi interjectif du verbe impératif correspond dans cet ordre à la position indicielle minimale. Nous relions les positions de la dimension indicielle caractéristique du verbe impératif à l'opposition systématique des modalités d'institution et de prédication établie dans notre partie de morphologie, et parachevons ainsi la mise en forme d'un continuum de la phrase nucléaire, dans lequel la modalité systématique d'institution et le mode impératif occupent la position médiane. Notre troisième partie cherche à retrouver les traces sémiologiques de cette identité systématique dans le cadre du syntagme verbal impératif. Notre diachronie se caractérise là encore par l'affirmation progressive de la personnalité du mode impératif, à travers notamment la syntaxe clitique ou la conception d'adverbes spécifiques (les « instituants »).
25
Bedu, Clémence. "Quand une citadelle technique se (sou)met à l'épreuve de l'"impératif délibératif" : récit et analyse pragmatique d'une procédure de type "mini public" dans le domaine de l'eau potable." Strasbourg, 2010. https://tel.archives-ouvertes.fr/tel-00593368.
Full textAbstract:
Les procédures participatives et délibératives fondées sur le recours au citoyen profane connaissent un regain d’intérêt dans les démocraties actuelles, caractérisées par la remise en cause de la délégation de la décision à l’Elu et à l’Expert et par la montée en puissance des politiques de l’usager dans l’action publique locale. Ces expériences de « démocratisation de la démocratie » sont étudiées par un champ académique prolifique. A partir de l’analyse d’un projet de démocratisation de la vie d’un service d’eau potable d’une communauté urbaine mené dans le cadre d’une recherche-action, ce travail concentre l’attention sur certains angles délaissés dans la littérature : comment un projet de participation citoyenne est-il reçu et vécu en interne par une organisation qui le convoque ? Comment des citoyens profanes s’y prennent-ils pour penser et produire un avis dans le cadre d’une procédure de type « mini-public », et qu’est-ce qui contingente la trajectoire de cette production collective ? Comment une telle initiative de participation citoyenne impacte-t-elle ses protagonistes et le système d’action publique locale en l’absence de controverse et de « prise » de participation ? Pour décrire cette entreprise située de mise à l’épreuve de l’hypothèse de la démocratie technique, nous développons une approche inductive inspirée de la sociologie pragmatique. On s’efforcera de contribuer sur un plan théorique d’une part, à la description de l’activité délibérative, sur un plan opérationnel d’autre part, aux conditions d’efficacité et de prise au sérieux des démarches participatives de type « mini-public » au niveau localParticipative and deliberative procedures founded upon reliance on the average citizen are seeing an increasing relevance within today’s democracies, characterized by their challenging of the delegation of decision-making to the Representative and the Expert, and by the User’s rising political power in local politics. These instances of "democratising democratcy” have been studied extensively in the academic world. By starting with an analysis of a scheme to democratize drinking water provision within an urban community, conducted within the framework of action research, this study focuses on a few neglected points of view in academic writing: how is a participatory project for citizens received and experienced within an organization that originally requested their participation? How do regular citizens go about thinking and producing a collective report within a “mini-public” framework, and what influences the trajectory of this collective product? How does this initiative in citizen participation impact its protagonists and the local political system, in the absence of controversy? In order to test the hypothesis of technical democracy in detail, an inductive approach has been developed, inspired by pragmatic sociology. On the one hand this work will endeavor to contribute theoretically, by describing deliberative activity, and on the other, operationally, provided that local “mini-public” participative approaches are treated with seriousness and efficiency
26
Blazy, Sandrine. "Sémantiques formelles." Habilitation à diriger des recherches, Université d'Evry-Val d'Essonne, 2008. http://tel.archives-ouvertes.fr/tel-00336576.
Full textAbstract:
Ce mémoire présente plusieurs définitions de sémantiques formelles et de transformations de programmes, et expose les choix de conception associés. En particulier, ce mémoire décrit une transformation de programmes inspirée de l'évaluation partielle et dédiée à la compréhension de programmes scientifiques écrits en Fortran. Il détaille également le front-end d'un compilateur réaliste du langage C, ayant été formellement vérifié en C.
27
Kor, Chahine Irina. "'Esli' et l'expression de la condition en russe moderne." Phd thesis, Université de Provence - Aix-Marseille I, 2001. http://tel.archives-ouvertes.fr/tel-00452520.
Full textAbstract:
Nous avons organisé notre travail d'après la sémantique d'une phrase type esli p, q, en commençant par les conditionnelles, modèle le plus fréquent. Organisée d'après le type de connecteur qui apparaît dans ces constructions, notre présentation expose les caractéristiques de chaque variante conditionnelle prise séparément. Nous proposons comme base de cette thèse une classification des types de condition en 4 groupes : • condition potentielle • condition irréelle • condition virtuelle • condition réelle Ainsi, la Ie partie est consacrée aux conditionnelles proprement dites et aux hypothétiques avec esli qui réalisent les trois premiers types de condition. Cette partie traite des caractéristiques particulières de ces phrases, de la spécificité de leur construction et de leur fonctionnement. Un chapitre à part est consacré à l'usage des synonymes lexicaux de esli en russe moderne. La IIe partie est centrée sur d'autres variantes conditionnelles. Il s'agit des phrases asyndétiques sans connecteur. Cette partie comprend également les phrases où le rôle du connecteur est assuré par un lexème ou forme grammaticale qui, en soi, n'est pas spécialisé dans l'expression de la condition (l'impératif, stoit, tol'ko, ljuboj, etc.). Ces phrases représentent des synonymes syntaxiques des phrases avec esli. Enfin, la IIIe partie comprend les conditionnelles secondaires, où l'expression de la condition n'est pas mise au premier plan, et les factuelles. Dans le premier cas, il s'agit des itératives, véhiculant une condition réelle. Les déductives et concessives, elles, se trouvent à la limite des conditionnelles et des factuelles. Quant aux factuelles, phrases de mise en relief et phrases oppositives, elles ne sont jamais hypothétiques, mais elles partagent avec les conditionnelles la structure commune du type esli p, q. La présentation de l'ensemble des phrases du type esli p, q permet de montrer une certaine unité où le modèle central est constitué par les conditionnelles.
28
Auger, Cédric. "Compilation certifiée de SCADE/LUSTRE." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00818169.
Full textAbstract:
Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d'avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discrets durant lesquels tous les composants du système reçoivent et produisent une donnée. Cette modélisation permet des raisonnements beaucoup plus simples en évitant de devoir prendre en compte le temps de calcul de chaque opération. Dans le monde du logiciel critique, la fiabilité du matériel et de son fonctionnement sont primordiaux, et on accepte d'être plus lent si on devient plus sûr. Afin d'augmenter cette fiabilité, plutôt que de concevoir manuellement tout le système, on utilise des machines qui synthétisent automatiquement le système souhaité à partir d'une description la plus concise possible. Dans le cas du logiciel, ce mécanisme s'appelle la compilation, et évite des erreurs introduites par l'homme par inadvertance. Elle ne garantit cependant pas la bonne correspondance entre le système produit et la description donnée. Des travaux récents menés par une équipe INRIA dirigée par Xavier Leroy ont abouti en 2008 au compilateur CompCert d'un sous-ensemble large de C vers l'assembleur PowerPC pour lequel il a été prouvé dans l'assistant de preuve Coq que le code assembleur produit correspond bien à la description en C du programme source. Un tel compilateur offre des garanties fortes de bonne correspondance entre le système synthétisé et la description donnée. De plus, avec les compilateurs utilisés pour le temps réel critique, la plupart des optimisations sont désactivées afin d'éviter les erreurs qui y sont liées. Dans CompCert, des optimisations elles aussi prouvées sont proposées, ce qui pourrait permettre ces passes dans la production de systèmes temps réel critiques sans en compromettre la fiabilité. Le but de cette thèse est d'avoir une approche similaire mais spécifique à un langage synchrone, donc plus approprié à la description de systèmes temps réel critiques que ne l'est le C. Un langage synchrone flots de données semblable à Lustre, nommé Ls, et un langage impératif semblable au langage C, nommé Obc y sont proposés ainsi que leur sémantique formelle et une chaîne de compilation avec des preuves de préservation de sémantique le long de cette chaîne.
29
Bain-Thouverez, Justine. "L’intégrité du déchet face aux impératifs environnementaux et économiques." Thesis, Paris 11, 2014. http://www.theses.fr/2014PA111014.
Full textAbstract:
Les déchets ont été initialement appréhendés selon la summa divisio classique droit public-droit privé, occultant ainsi leur dimension environnementale. L’extension progressive de la notion de déchet au regard des enjeux environnementaux et économiques remet en cause cette distinction traditionnelle au nom d’une nécessaire unité du déchet autour de ses différentes composantes intrinsèques. L’ambivalence de la nature du déchet impose de dépasser la division du droit.Le respect de l’intégrité du déchet, de sa conformité à lui-même, rend alors nécessaire la cohabitation du droit de l’environnement avec les autres branches du droit existantes dans le cadre d’une coproduction qui s’impose des contraintes mutuelles. L’objectif de notre étude consiste à définir les modalités de collaboration entre les différentes disciplines juridiques, fondées, d’une part, sur l’intégration de la gestion des déchets dans les règles du marché, assurant la rencontre des considérations environnementales et économiques, et fondées, d’autre part, sur l’application du droit de la concurrence à la gestion des déchets lorsque les pratiques intègrent la composante environnementale. C’est dans la définition des conditions d’interaction entre les impératifs environnementaux et économiques que l’unité du déchet peut être consacréeWaste was previously apprehended along the classic summa division of public and private law while concealing its environmental dimension. This traditional distinction has been called into question ever since the notion of waste has gradually expanded in view of economic and environmental issues. The unity of the notion of waste around his inherent parts is now necessary. The ambivalent nature of waste dictates us to go further than this division of law. In order to respect waste’s integrity and its true nature, environmental law must work together with other branches of law towards a co-production that implies mutual constraints. Defining the different ways these legal disciplines collaborate constitutes the study’s objective. These are founded on one hand, on waste management’s integration into market laws, ensuring the meeting of environmental and economical considerations and on the other hand, on the application of competition law to waste management when practices integrate an environmental aspect. Only once the interactions between environmental and economical imperatives are defined can waste’s unity be recognised
30
Bourdoncle, François Jérôme. "Sémantiques des langages impératifs d'ordre superieur et interprétation abstraite." Palaiseau, Ecole polytechnique, 1992. http://www.theses.fr/1992EPXX0023.
Full textAbstract:
L'interprétation abstraite ou analyse sémantique d'un langage de programmation est une méthode formelle permettant d'obtenir, de manière statique (i. E. A la compilation) et automatique, une description approchée du comportement dynamique (i. E. A l'exécution) des programmes. Cette méthode a ete appliquée jusqu'ici a des langages relativement simples (langages impératifs, fonctionnels, logiques ou parallèles du premier ordre). Or les langages de programmation modernes comme le langage modula-3 ou même des langages plus anciens comme pascal comportent des mécanismes de programmation puissants (passage des paramètres formels par référence, passage en paramètre des procédures locales, branchements a des étiquettes non locales, exceptions) qui augmentent de manière considérable leur puissance d'expression et leur complexité sémantique. Cette thèse aborde le problème de l'interprétation abstraite des langages impératifs d'ordre supérieur. Dans une première partie, nous montrons que des interprétations abstraites trop naïves de tels langages sont a la fois extrêmement couteuses et imprécises. Pour remédier a ces problèmes, nous introduisons une nouvelle sémantique des langages impératifs d'ordre supérieur dont l'interprétation abstraite est précise et peu couteuse et nous établissons la correction de cette sémantique pour une nouvelle classe non décidable de programmes comprenant en particulier la classe décidable des programmes pascal. Puis, dans la seconde partie, nous abordons la technique du debugging abstrait permettant d'effectuer une mise au point formelle des programmes et nous présentons le système syntox permettant d'effectuer le debugging abstrait du langage pascal par la détermination de l'intervalle de variation des variables scalaires des programmes
31
Ihsen, Saad. "Conception d'un système d'aide à l'ordonnancement tenantcompte des impératifs économiques." Phd thesis, Ecole Centrale de Lille, 2007. http://tel.archives-ouvertes.fr/tel-00162379.
Full textAbstract:
Nos travaux concernent la mise en œuvre de méthodologies pour la résolution et l'optimisation de la production en tenant compte des impératifs économiques, jouant aujourd'hui un rôle déterminant dans la conduite de la production industrielle. Pour le problème du job-shop flexible dans lequel les interactions entre les critères sont supposées disponibles, cinq critères ont été retenus : le Makespan, la charge critique, la charge totale, la pénalité de retards/avance et le coût de la production. Dans ce sens, nous avons, d'abord, traité le problème de décision et d'évaluation d'une solution et introduit ensuite trois approches intégrées, basées sur les algorithmes génétiques, améliorant les approches évolutionnistes existant dans la littérature : la méthode statique basée sur l'intégrale de Choquet, la méthode approchée basée sur le concept Paréto-optimalité ainsi que la méthode basée sur le concept de ε-dominance Paréto-optimalité. Les approches adoptées consistent à générer une variété de solutions optimales diversifiées dans l'espace de recherche de solutions, et d'aider le décideur, quand il ne peut pas donner une préférence particulière à l'une des fonctions objectif. Les résultats proposés, obtenus globalement pour l'ensemble des critères, ont été comparés, avec succès, avec ceux obtenus par d'autres approches existantes sur plusieurs benchmarks de complexités distinctes.
32
Ponsini, Olivier. "Des programmes impératifs vers la logique équationnelle pour la vérification." Phd thesis, Université de Nice Sophia-Antipolis, 2005. http://tel.archives-ouvertes.fr/tel-00090688.
Full textAbstract:
Nous nous sommes intéressé à la logique équationnelle en tant que support de la vérification des programmes impératifs. Notre approche vise le double objectif d'automatiser la vérification des propriétés de programmes et de proposer un formalisme pour raisonner sur les programmes adapté aux acteurs du développement des logiciels. Précisément, les travaux de cette thèse portent sur la traduction automatique des programmes impératifs vers la logique équationnelle. Nous avons considéré deux classes de programmes. Dans la première, la seule instruction avec effet de bord du langage est l'affectation. Nous présentons l'algorithme de traduction d'un programme en un ensemble d'équations sous la forme d'un système de réécriture définissant la sémantique du langage. Nous montrons la convergence du système de réécriture à l'aide d'un démonstrateur de théorèmes. Pour la seconde classe, nous ajoutons au langage appel par référence et listes mutables. Ces deux mécanismes introduisent la possibilité de manipuler des alias dans les programmes. Nous énonçons des restrictions sur l'utilisation des alias moyennant lesquelles nous proposons un algorithme pour la traduction en équations des programmes de cette seconde classe. La définition équationnelle obtenue ne s'appuie pas sur un modèle de la mémoire. Les équations produites par la traduction d'un programme peuvent alors être utilisées dans des systèmes de preuve afin de vérifier des propriétés du programme, elles-mêmes exprimées par des équations. Nous validons notre approche par une implantation des algorithmes et par la preuve de propriétés de programmes non triviales à l'aide des équations produites par notre méthode.
33
Dufeu, Pierre-Yves. "Le syntagme verbal isolé à l'impératif en français (XIIe-XVIIe siècle) - Etude morphologique, lexico-sémantique et syntaxique." Phd thesis, Université Paris-Sorbonne - Paris IV, 2000. http://tel.archives-ouvertes.fr/tel-00949399.
Full textAbstract:
Le mode impératif existe-t-il en français ? Une première étude morphologique analytique du verbe impératif montre que, dans la diachronie considérée, la langue retrouve le même type de claires oppositions morphématiques modales qui avaient cours en latin. Une deuxième partie de sémantique lexicale formelle nous permet, à partir du même corpus, de mettre au jour un continuum de la phrase nucléaire, au sein duquel le mode impératif occuperait la position médiane, entre l'interjection et la prédication. Nous montrons enfin que cette identité modale médiane trouve aussi ses marques propres à l'échelle syntagmatique, à travers notamment la syntaxe clitique ou la conception d'adverbes spécifiques, comme donc.
34
Makaga, Pea Vivien Patrice. "La souveraineté des Etats africains au 21e siècle : impératifs et menaces." Thesis, Paris 2, 2018. http://www.theses.fr/2018PA020027.
Full textAbstract:
La colonisation puis l’indépendance induisent la nécessité d’une connaissance approfondie de l’Afrique dans toute sa diversité, géographique, historique, démographique, ethnique, religieuse et politique. Où en est l’Afrique d’aujourd’hui en matière de liberté économique et politique et de bonne gouvernance ? L’indépendance n’a pas été donnée au peuple mais confiée aux adversaires de l’indépendance et maintenue entre leurs mains presque pendant 50 ans. Le pouvoir, qui en est la manifestation concrète, la souveraineté qui en est le symbole ont été détournés et confiés à des personnes choisies par la puissance coloniale. Le colonisateur a pu continuer à gérer, par personnes interposées, le sort des populations qu’il dominait. Pour que le continent africain parvienne au décollage qui l’affranchirait de la dépendance, il lui faudrait fournir un effort immense en concentrant ses forces intellectuelles, spirituelles, morales, matérielles, scientifiques surtout en développant la recherche, car les modèles ne peuvent être copiés mais construits et adaptés différemment selon les sociétés et mis en place par des acteurs innovants, nationaux, locaux et par des États dits «pépiniéristes » pour entraîner les jeunes à se développer grâce à des systèmes de formation, de financement, d’organisations, d’associations, constitutives d’écosystèmes et d’interdépendances au sein de territoires africains. La révolution numérique, les technologies de l’information et de la communication modifient la donne en Afrique comme dans le reste du monde. La montée en puissance de la société civile dans l’affirmation du pouvoir des peuples est notoireColonization then independence require a deep knowledge of Africa in all its geographic, historical, demographic, ethnic, religious and political diversity. Where does Africa stand today as regards economic and political freedom and good governance? Independence has not been given to the people but was rather entrusted to the independence opponents and was maintained in their hands for almost 50 years. Power which is the independence’s concrete expression and sovereignty its symbol have been diverted and given to individuals chosen by the colonial power. Hence, through an intermediary, the colonizer was still in fact managing people’s fate. In order to free itself from dependence, Africa shall supply a tremendous effort by gathering its intellectual, spiritual, moral, material and scientific strengths. Since models cannot be copied, Africa-in order to achieve its goal-will have to build its own patterns from scratch and tailor them to suit various societies. Such models shall be implemented by national and local innovative stakeholders as well as States so-called “nurseryman”. By doing so, the youth will develop themselves through training, funding, organizational and association systems altogether constituent of ecosystem and mutual dependence within African territories. Digital revolution, information technologies and communication have been a game-changer both in Africa and in the rest of the world. Civil society rise in power by the assertion of people’s power is now manifest
35
Saad, Ihsen. "Conception d'un système d'aide à l'ordonnancement tenant compte des impératifs économiques." Ecole Centrale de Lille, 2007. http://www.theses.fr/2007ECLI0007.
Full textAbstract:
Nos travaux concernent la mise en œuvre de méthodologies pour la résolution et l'optimisation de la production en tenant compte des impératifs économiques, jouant aujourd'hui un rôle déterminant dans la conduite de la production industrielle. Pour le problème du job-shop flexible dans lequel les interactions entre les critères sont supposées disponibles, cinq critères ont été retenus : le Makespan, la charge critique, la charge totale, la pénalité de retards/avance et le coût de la production. Dans ce sens, nous avons, d’abord, traité le problème de décision et d'évaluation d'une solution et introduit ensuite trois approches intégrées, basées sur les algorithmes génétiques, améliorant les approches évolutionnistes existant dans la littérature : la méthode statique basée sur l'intégrale de Choquet, la méthode approchée basée sur le concept Paréto-optimalité ainsi que la méthode basée sur le concept de ε-dominance Paréto-optimalité. Les approches adoptées consistent à générer une variété de solutions optimales diversifiées dans l’espace de recherche de solutions, et d’aider le décideur, quand il ne peut pas donner une préférence particulière à l’une des fonctions objectif. Les résultats proposés, obtenus globalement pour l’ensemble des critères, ont été comparés, avec succès, avec ceux obtenus par d’autres approches existantes sur plusieurs benchmarks de complexités distinctesOur works deal with the implementation of methodologies for production resolution and optimization taking into consideration economic imperatives, which are important parts in industrial manufacturing control. For the flexible job-shop problem, five criteria are considered : Makespan, the workload of the critical machine, the total workload of machines, the penalties of earliness/tardiness and the production cost. In this direction, the decision and evaluation problems are introduced and studied, and three integrated approaches, based on genetic algorithms, improving evolutionary approaches which exist in the literature, are presented : static method based on Choquet's integral, approached method based on the Pareto-optimality concept as well as the method based on the concept of ε-dominance Pareto-optimality. The proposed approaches are used to generate a variety of optimal solutions needed to help the decision-maker, when he can not give a particular preference to one of the objective functions. Proposed results, obtained globally for the overall of criteria, are successfully compared with those obtained by other existing approaches on several benchmarks presenting different complexities
36
Pietrancosta, Alain. "Le droit des sociétés sous l'effet des impératifs financiers et boursiers." Paris 1, 1999. http://www.theses.fr/1999PA010267.
Full textAbstract:
Depuis une vingtaine d'années, l'évolution du droit des sociétés est dominée par l'influence des impératifs financiers et boursiers ; directement marquée, en particulier, par la mutation organisée du système financier vers une « économie de marchés de capitaux », au point de ne pouvoir être lue et comprise sans cette mise en relation, qui lui fournit au contraire son sens et son articulation. Ainsi ses éléments caractéristiques - ouverture d'espaces de liberté financière ou boursière ; apparition corrélative de nouvelles contraintes en matière d'information ou de protection des investisseurs - ne font-ils que refléter le mouvement de « dérèglementation – régulation » qui anime cette mutation financière, à l'échelle planétaire. Pour le droit des sociétés par actions, premier concerne, cette influence s'avère déstabilisatrice. L'ouverture a de nouveaux titres de financement, la facilitation des opérations financières ou boursières, intra ou extra-groupe, la validation de techniques de stabilisation du capital ou de concentration du pouvoir, mettent à l'épreuve nombre de principes, règles et notions classiques. L'adaptation des missions sociétaires traditionnelles d'information et de protection des apporteurs de capitaux aux besoins des marchés oblige également à d'importantes révisions ; résultat de l'empiètement croissant des autorités boursières et de l'émergence d'un « droit des marchés », tendu vers la transparence et l'équité. La perturbation résultant de cette influence doit néanmoins être relativisée. Celle-ci, dont la légitimité découle de la fonction économique du droit des sociétés, a aussi pour effets de remettre l'actionnaire à l'honneur ; de revitaliser le fonctionnement démocratique des grandes sociétés par actions {corporate governance) ; et de permettre enfin, par une différenciation accrue des règles applicables aux sociétés ouvertes au public, d'accroitre l'efficacité et la cohérence de l'ensemble du droit des sociétés.
37
Burou-Strauser, Joëlle. "Eléments pour une archéologie de la loi." Metz, 2006. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/2006/Burou.Joelle.LMZ0611.pdf.
Full textAbstract:
La recherche vise à remonter au principe de la loi, à partir de l'exploitation des significations du mot "loi" et de ses divers usages dans différents champs discursifs et pratiques. Des usages terme aux différents concepts et théories de la loi, en son sens "descriptifs" comme en son sens "prescriptifs", le parcours permet de poser autrement la question de son éventuel fondement, d'interroger les caractères d'université et de nécessité qu'on lui a longtemps conférés, de mettre au jour l'énigme de la loi, de la confronter aux règles et de revenir sur la dimension normative inscrite dans les formes de vie humaineThe research intends to go back to the principale of law, from the exploitation of the various meanings of the word "law" and of its diverse uses within several discursive and pratical fields. From the uses of the term to the different concepts and theories of the law, be it in its "descriptives" and / or it "prescriptive" meaning, the path followed enables a way to ask differently the question of its possible foundation, to question the nature of universality and necessity that were conferred to it for a long time, as well as put to light the enigma of the law, to confront it to the rules et to re examine the normative dimension engraved in all human life forms
38
Rakibi, Amal. "L' utilisation duale des technologies spatiales : entre impératifs sécuritaires et émancipation commerciale." Paris 11, 2009. http://www.theses.fr/2009PA111025.
Full text
39
Maingaud, Séverine. "Certification de programmes impératifs en logique dynamique : le cas du lambda-calcul avec références." Paris 7, 2011. http://www.theses.fr/2011PA077200.
Full textAbstract:
Nous présentons un système formel de certification de fiabilité logicielle, MLDL, dédié à un lambda-calcul non typé contenant des références d'o/\ supérieur (MLimp). MLDL est basé sur une logique dynamique (DL) du second ordre dont le système déductif combine des étapes de déduction purement logiques et des étapes d'évaluation symbolique. Les modalités spécifiques de MLDL sont de trois types: les boîtes standard de DL sont adaptées à MLimp où tout programme est une expression, les updates permettent de représenter les modifications de la mémoire et un le v-lieur prend en charge l'allocation de nouvelles adresses. La thèse comporte deux volets : un volet syntaxique consacré à la présentation de MLDL, et un volet sémantique consacré à la construction d'un modèle de MLDL afin de prouver la cohérence du formalisme. Ce modèle est construit à partir d'un modèle dénotationnel de MLimp construit avec des techniques standard de résolution d'équations dans la catégorie des dcpo et la catégorie des cpo avec injections-projections. Nous développons également une théorie des actions de groupe sur les dcpo (appliquée en particulier au groupe des permutations d'adresses) ainsi que la relation de domination qui nous permettent de traiter les questions d'invariance liées à la manipulation des adresses mémoireWe present a formal System of software verification, MLDL, dedicated to an untyped S\lambdaS-calculus with higher-order references (MLimp) and call-by-value evaluation. MLDL follows a certification approach which consists in proving the correspondence between a program and its specification. MLDL is based on a second-order dynamic logic which combines purely logical deduction steps with symbolic evaluation. There are three types of modality in MLDL: the box of dynamic logic is adapted to MLimp where each program is an expression, updates represents local modifications of the memory and a specific binder (the v-binder) supports allocation of new memory cell. The thesis consists oftwo parts: a syntactic part devoted to the presentation ofMLDL and a semantic part devoted to the construction of a model of MLDL in order to prove the consistency of the formalism. The model ofMLDL is built on a denotational model of MLimp where congruent (through symbolic evaluation) programs belong to the same équivalence class. This denotational model is built with standard techniques ofsolving equations in the category ofdcpos and the category of cpos with injections- projections. We also develop a theory ofgroup action on the dcpo (especially applied to the group of permutations of addresses) and a notion of domination over programs and stores by a set of addresses. These new tools allow to deal with issues of well-foundness and invariance associated with the manipulation of memory locations
40
Katakpaou, Toure Moudassirou. "La problèmatique de la coopération du Togo avec ses voisins (impératifs économiques et problèmesinstitutionnels)." Lille 2, 1991. http://www.theses.fr/1991LIL20001.
Full textAbstract:
Parce que sa position géographique fait de lui l'un des couloirs de desserte de certains pays voisins, notamment les pays enclavés du sahel, le Togo, malgré sa petite dimension et son potentiel économique très modeste, joue un rôle relativement important dans les relations économiques et commerciales entre les états de l'Afrique de l'ouest. En effet, le Togo dispose d'une zone franche commerciale et d'un port qui favorisent le développement de nombreuses activités de transit régional et les réexportations transfrontalières vers des pays voisins de marchandises initialement importées du marché international. Mais cette situation, favorable dans une certaine mesure à l'économie togolaise, ne semble pas compatible avec la politique officielle commune des 16 états de la région dont le but est de constituer en Afrique de l'ouest un marché commun régional devant servir d'espace de développement dans l'intérêt des pays membres. Si l'on veut asseoir le marché commun ouest-africain sur des bases solides, il convient dès à présent de songer à restructurer les institutions de coopération actuelles(. . . )The geographical position of Togo allowed him to dessert the neighbouring countries, particularly the enclaved one of sahel. Despite its small area and a modest economical potential Togo has an important role in commercial and economical relations between west african countries. This situation seems to bring advantages to the economy of Togo, thanks to the development of transit activities towards the neighbouring countries. But we have to keep in mind that this situation prevent to some extent a real cooperation in the region. There are too many cooperation organizations in the region. Their number is to be reduced and their economical policy oriented towards production activities
41
Vialaron, Laurence. "L'expression de l'interdiction en russe moderne." Thesis, Lyon, 2018. http://www.theses.fr/2018LYSE3037.
Full textAbstract:
Cette thèse, consacrée à l’expression de l’interdiction en russe moderne, étudie les différents types d’énoncés prohibitifs. L’acte de langage d’interdiction correspond à un énoncé performatif et contraignant incitant au non-accomplissement d’une action perçue comme indésirable par le locuteur. Cet énoncé crée, pour l’allocutaire, une obligation qui jusque-là n’existait pas. L’expression de l’interdiction se fait à différents niveaux de communication et par des moyens linguistiques de natures diverses : pragmatique, syntaxique ou lexicale. Outre les énoncés performatifs, l’interdiction peut être exprimée par des énoncés comportant une valeur illocutoire d’interdiction, y compris par des actes de langage indirects.Si les types d’énoncés prohibitifs sont nombreux, ils ne sont pas interchangeables. D’une part, ils ne peuvent être employés indifféremment dans n’importe quel contexte et ils relèvent de niveaux de langues différents. D’autre part, les disparités existant dans la force illocutoire des différents énoncés prohibitifs ont été mises en évidence. La force illocutoire d’un énoncé prohibitif résulte du choix du type d’énoncé retenu, mais aussi des moyens linguistiques qui peuvent être employés pour le moduler.Cette étude a permis d’établir une typologie des énoncés prohibitifs. Ces énoncés peuvent se répartir en trois catégories : les énoncés qui signifient l’interdiction par exception, les énoncés habituellement prohibitifs et les énoncés invariablement prohibitifs.S’y ajoute la question de l’évolution de la langue, notamment par un effet de contamination des langues européennes. Cette évolution se traduit par le recours moins fréquent aux tournures les plus catégoriques, ainsi que par l’introduction de formules de politesse de plus en plus fréquentesThis thesis is dedicated to prohibitive commands in modern Russian and studies the various speech strategies expressing negative commands. Prohibitive speech acts correspond to compulsory and performative utterances urging the non-accomplishment of an action perceived as undesirable by the speaker. Due to this utterance, the addressee has no other option than compliance, which was not the case before.Prohibitive commands are expressed at various communication levels and by a wide range of linguistic means: pragmatic, syntactic or lexical.Besides performative utterances, prohibition can be expressed by utterances with a prohibitive illocutionary force, including indirect speech acts. Although negative commands can be expressed by various strategies, they are not interchangeable. On the one hand, any negative command cannot be used in all contexts and in addition, the registers are different.On the other hand, the disparities in the illocutionary force of command of the various prohibitive strategies could be established. The illocutionary force of a prohibitive command both results from the selected linguistic strategy, but also from the means of modulation that can be used.This study enabled us to establish a typology of negative commands. The latter can be displayed in three categories: utterances whose prohibitive meaning occurs exceptionally, usually prohibitive utterances and invariably prohibitive utterances. Furthermore, the evolution of the Russian language has to be taken into account, among others by a contamination effect from European languages. This evolution leads to a less frequent resort to the strongest prohibitive commands, as well as to the increasing use of politeness strategies
42
Delporte, François-Xavier. "La prédominance des impératifs économiques dans la libre circulation des travailleurs de la Communauté européenne." Lille 2, 2003. http://www.theses.fr/2003LIL20023.
Full textAbstract:
La mobilité des travailleurs migrants rencontre 2 difficultés. La première vient de ce que la liberté de circulation des travailleurs n'est pas univoque. En effet, la libre circulation des travailleurs se décompose en 2 éléments : les travailleurs salariés et les travailleurs indépendants dont les intérêts sont divergents. La seconde difficulté trouve son origine dans la discontinuité de la protection sociale des travailleurs migrants, malgré ou à cause des dispositions du règlement 1 408/71. Loin de rechercher l'élaboration d'un statut du travailleur migrant, le droit communautaire appréhende la liberté de circulation sous l'angle de l'égalité de traitement entre agents économiques agissant sur un même marchéThe mobility of the migrant workers meet 2 difficulties. First of all, the free workers circulation is broken down into two elements : the salaried employees and the self-employed whose interests differ. Secondly, there is a broken in the social protection of the migrant workers although the provisions of the 1 408/71 settling. Far from searching for a development of a migrant worker status, the Community law studies the free circulation from the egality of wage between economic agents who act on the same market
43
Gracia, Alain. "Les impératifs en prothèse adjointe complète : apports des racines sous-prothétiques et des techniques implantaires." Bordeaux 2, 1994. http://www.theses.fr/1994BOR2OC02.
Full text
44
Touzi, Sarra. "La nécessaire évolution des impératifs d'équité et d'efficacité dans la gestion de l'eau potable en Tunisie." Phd thesis, Université Pascal Paoli, 2009. http://tel.archives-ouvertes.fr/tel-00712585.
Full textAbstract:
Le service de l'eau potable en Tunisie est géré depuis plus de quarante ans par une entreprise publique. Une politique sociale, basée sur un système de tarification progressif et une péréquation nationale, avait accompagné le développement du service pendant toute cette période. Le secteur affiche aujourd'hui de bonnes performances avec un accès de la totalité de la population urbaine et environ 92 % de la population rurale à l'eau potable, selon les données de l'année 2007. Il entre ainsi dans une nouvelle phase de développement. Les objectifs d'augmentation quantitative de la desserte cèdent la place à la logique d'amélioration qualitative : rabaissement du seuil maximal de salinité de l'eau distribuée, raccordement en branchement individuel de la population rurale dispersée... En face, le coût d'approvisionnement du service ne cesse de croître. Dans cette nouvelle situation, des mécanismes en contradiction avec les objectifs initiaux du système de péréquation risquent de se produire... Cette thèse se propose de présenter d'abord une vision renouvelée des impératifs d'équité qui doivent guider les politiques sociales d'un service de l'eau potable, et ceci dans le cas où l'accès à l'eau potable de la population est généralisé. Il s'agit d'insérer ensuite les mécanismes de compensation construits dans un dispositif de régulation économique qui englobe à la fois la conception de la structure tarifaire et les institutions en charge de sa mise en oeuvre.
45
Viret, Marie-Pierre. "Le principe de bonne foi et le droit des sûretés : essai d'une conciliation entre impératifs contradictoires." Avignon, 2005. http://www.theses.fr/2005AVIGXXXX.
Full textAbstract:
Le principe de bonne foi connaît un essor particulier en droit contractuel français. Par une contagion classique du droit commun au droit spécial, cette exigence se retrouve en droit des sûretés. La montée en puissance e la bonne foi est incontestable mais est diversement appréciée : effet bénéfique ou effet préjudiciable ? Effet bénéfique en ce qu'elle conduit à une moralisation de la matière notamment en permettant la sanction des comportements malhonnêtes tant lors de la formation que lors de l'exécution de la sûreté. Mais surtout, que l'on soit dans le cadre de la sûreté ou dans celui plus large de l'opération garantie, elle requiert du contractant, non une simple attitude dénuée de mauvaise foi, mais un comportement actif lequel implique de préserver les intérêts de son partenaire contractuel. Effet préjudiciable car cette volonté de préserver les intérêts de chaque partenaire contractuel s'est souvent traduite par une protection excessive du garant personnel, notamment caution, et ce au détriment d'un créancier excessivement sollicité et sanctionné. Alors même que le créancier cherche par le jeu d'une sûreté à s'assurer une plus grande sécurité, la bonne foi a rendu la situation risquée. Toutefois, il n'est pas sûr que le louevment constaté n'atteint pas ses propres limites? Par réaction, le droit des sûretés a en effet tenté d'occulter cette exigence des rapports contractuels, ce qui est tout autant critiquable. Faut-il conclure à l'impossible conciliation du droit des sûretés et de l'exigence de bonne foi ? L'affirmer serait excessif mais il s'impose de rétablir le particularisme des sûretés et non de le faire passer sous tutelle d'une exigence de bonne foi, souvent envahissante.
46
Ferstler, Sabrina. "Exister dans l'espace humanitaire : Médecins du monde, des impératifs de conformation aux évolutions identitaires (1980-2015)." Thesis, Strasbourg, 2019. http://www.theses.fr/2019STRAG020.
Full textAbstract:
Le point de départ de cette thèse découle d’une demande exprimée par l’ONG Médecins du monde, partenaire impliqué dans le cadre d’un dispositif CIFRE. L’ONG souhaitait, à partir d’un travail sur ses pratiques humanitaires, améliorer sa reconnaissance au niveau national et international, ainsi que travailler sur son identité distinctive. Le travail mené dans le cadre de cette recherche a finalement interrogé les conditions d’existence d’une ONG dans l’espace humanitaire, lui permettant notamment de compter, à la période contemporaine, parmi les principales ONG humanitaires françaises. Nous pouvons y lire le résultat d’une conformation successive aux exigences extérieures (concurrence, bailleurs de fonds) d’une organisation de médecins bénévoles qui se distinguait originellement par le « refus d’être des professionnels de la misère ». Cette adaptation a des conséquences sur les modes de présentation, les modes d’organisation, le recrutement et les orientations de l’association, reposant sur certaines tensions et contradictions. Elles seront explorées à partir de différents outils (étude de discours, sociographie des acteurs, observations de mobilisations, etc.) afin de montrer comment l’identité de l’organisation se (re)crée et s’adapte vers la managérialisation ambivalente mais inéluctable des pratiques et des représentations de celles et ceux qui font exister MDMThis PhD originated as a commission from the NGO Doctors of the World, taking the form of a CIFRE fellowship. The organization was trying to boost its recognition domestically and internationally by working on its humanitarian practices, as well as refine its distinctive identity. This research ended up examining the conditions of existence of a NGO in the humanitarian space as one of the main contemporary French NGOs. This status is identified as the outcome of successive adjustments to conform to outside demands (competition-related or from backers) in an organization of volunteer doctors that initially stood out by its refusal to be “professionals of poverty”. These adjustments have had consequences in terms of forms of presentation, of organization, hiring and orientations, characterized by a number of tensions and contradictions. They are explored using a variety of tools (discourse analysis, sociography of actors, observation of mobilizations, etc.), ultimately showing how the organization’s identity has been (re)created and refashioned to fit the ambivalent but inevitable managerialization of the practices and representations of the people who make the NGO exist
47
Caruana, Nicolas. "La fiscalité environnementale : entre impératifs fiscaux et objectifs environnementaux : une approche conceptuelle de la fiscalité environnementale." Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM1022/document.
Full textAbstract:
Toujours citée parmi les instruments économiques et financiers au service de la protection de l'environnement, très étudiée - notamment par les économistes de l'environnement - la fiscalité environnementale intéresse relativement peu les juristes et représente, en pratique, une part très faible des recettes fiscales des États. Ce paradoxe apparent tient, en grande partie, à la définition retenue de la notion de fiscalité environnementale. Souvent limitée aux écotaxes, cette notion est abordée de manière analytique, sur la base de critères a priori. Non seulement une telle approche ne permet pas d'embrasser les instruments fiscaux employés dans leur diversité, mais elle ne favorise pas l'émergence d'un véritable concept de fiscalité environnementale. Ce concept, que cette thèse se propose de définir, oscillant entre impératifs fiscaux et objectifs environnementaux, présente de multiples dimensions tant fiscales qu'économiques, tant politiques qu'écologiques. Une interrogation sur la pertinence des fondements (principes pollueur-payeur, de prévention, de précaution...) et des critères généralement proposés par la doctrine va révéler la nécessité de changer de paradigme, afin de parvenir à appréhender ce concept de fiscalité environnementale. Caractérisée par son efficience environnementale, la fiscalité environnementale n'a, en réalité, ni le champ d'application, ni la portée que lui prête le discours politiqueAlways mentioned amongst market based-instruments for cost-effective environmental policy, studied by many economists, environmental taxation is ignored by legal opinion and represent only a small amount of tax revenue. This paradox can mostly be explained by the way environnemental taxation is defined.Most of the time seen as exo-taxes, environmental taxation is tackled analytically, through the criteria established prima facie. Using this way of reasoning is not only insufficient to show all the ways the environment can be protected with environmental taxation, but is also preventing the emergence of a real concept of environmental taxation. This concept, that we are trying to define, is multidimensional ; it can be seen from different angles : legal, economic, political and/or scientific.Questioning the foundations of environmental taxation (principles such as the polluter-pay principle, the prevention principle, the precautionary principle...) and the way professors of law define it, will show that a paradigm shift is needed, to bring a concept of environmental taxation into light. Marked by its environmental efficiency, environmental taxation does not actually include the issues, nor has the beneficial consequences that politicians may imagine
48
Malam, Mamane Sani Ibrahim. "Entre insécurités alimentaires et impératifs culturels au Niger : le cas du département de Gouré en 2005." Thesis, Besançon, 2015. http://www.theses.fr/2015BESA1023.
Full textAbstract:
Dans un pays sahélien comme le Niger, l'espace social dédié à l'alimentaire est culturellement riche de savoirs. Pourtant, peu d'écrits font de ce constat un objet d'étude sociologiquement pertinent. La présente réflexion se donne pour tâche d'analyser la portée des déterminants culturels dans la survenance des famines. S'appuyant sur des matériaux de nature socio-anthropologiques, cette thèse met en exergue des problèmes de gouvernance pour expliquer le prégnance des crises de subsistance. Malgré le poids des facteurs culturels sous-tendant le modèle de consommation des Gouréens, il est intellectuellement risqué d'affirmer que les tabous alimentaires peuvent constituer des causes sérieuses de disettes dans cette partie du Niger confrontée à une succession de déficit de productions vivrières. Toutefois, notre contribution montre que ces interdits demeurent un élément amplificateur, surtout dans des milieux à forte croyance traditionnelle. La méthodologie utilisée tout au long de cette démarche se fonde sur des méthodes qualitatives et quantitatives et prend appui sur divers outils de collecte comme les guides d'entretien semi-directifs, les focus groups et un questionnaire de type CAP (connaissance, attitudes, pratiques)In a Sahelian country like Niger, the space dedicated to food is culturally rich for learnings. However, there are a few writings which make this as a valid sociologically subject of study. This reflection gives itself a taskto analyze the scope of cultural determinants in the occurence of famines. Based on socio-anthropological materials, this thesis highlights social governance to explain the salience of subsistence crises. Despite the weight of cultural factors underlying consumption model of the people in Goure, it is intellectually risky to assert that food taboos may constitute serious causes of food shortages in this part of Niger which faces a succession of food production deficit. However, our contribution shows that these taboos remain enhancing element, especially in high-traditional belief backgrounds. The methodology used in this approach is based on qualitative and quantitative methods using the following collection tools : semi-structured interview guides, focus groups and a questionnaire type KAP (knpwledge, attitudes, practices)
49
Doessant, Benoît. "Le transport maritime d’hydrocarbures. Les compagnies pétrolières françaises entre impératifs économiques et obligation de pavillon (1918-1998)." Thesis, Paris 4, 2016. http://www.theses.fr/2016PA040227.
Full textAbstract:
La question du transport maritime est névralgique depuis les débuts de l’industrie du pétrole en 1859 pour une raison essentielle : les lieux de production, de transformation et de consommation sont distincts et souvent séparés par les océans. Il faut donc transporter une grande partie du pétrole brut depuis un nombre limité de pays producteurs vers le reste du monde avec des navires spécialisés – les pétroliers - sur de grandes distances. Cette tendance se renforce tout au long du XXe siècle avec la découverte de grandes réserves de pétrole au Moyen-Orient et en Afrique. De manière générale, le développement de la flotte pétrolière mondiale suit de près l’accroissement de la production et de la consommation de pétrole. Le transport maritime d’hydrocarbures représente encore aujourd’hui de très loin la forme de commerce international la plus importante - un tiers - avec plus de deux milliards de tonnes transportées par an, à rapporter aux cent millions de tonnes en 1935 et aux cinq cents millions de tonnes en 1960. La France, tirant les conséquences des difficultés d’approvisionnement en produits pétroliers pendant la Première Guerre mondiale, fixe tout au long du XXe siècle des règles contraignantes aux compagnies pétrolières en imposant l’obligation d’importer les deux-tiers de leurs besoins sous pavillon national. Or, celles-ci sont confrontées au problème structurant de la Marine marchande française : les coûts d’exploitation élevés de la flotte. Cette recherche tente de comprendre les stratégies mises en place par ces compagnies pour acheminer dans les meilleures conditions possibles le pétrole vers la France, malgré l’obligation de pavillon. Au-delà, il s’agit de comprendre pourquoi les compagnies pétrolières ont fini par abandonner leurs armements maritimes malgré le cadre législatif en vigueur. Total se retire en 1993 de l’activité de transport maritime. Aujourd’hui, les navires sous pavillon français appartiennent à des armateurs norvégiens ou belges, mais en aucun cas françaisThe question of maritime transport is nerve since the beginning of the oil industry in 1859 for an essential reason: the places of production, processing and consumption are distinct and often separated by oceans. It is necessary therefore to carry much of the crude oil from a limited number of producer countries to the rest of the world with specialized vessels - tankers - over long distances. This trend is reinforced throughout the twentieth century with the discovery of large oil reserves in the Middle East and Africa. In general, the development of the world tanker fleet is following loan increased production and consumption of oil. The shipping of oil is still very far from today's form of international trade the most important - a third - with more than two billion tons carried per year to report to 100 million tons in 1935 and 500 million tons in 1960. France, drawing the consequences supply difficulties of petroleum products during the First World War, fixed throughout the twentieth century binding rules to oil companies by imposing the obligation to import two-thirds of their needs under the national flag. Now they are facing the problem of structuring the French merchant navy: the high operating costs of the fleet. This research seeks to understand the strategies used by these companies to deliver the best possible conditions in the oil to France, despite the obligation of French flag. Beyond this is why oil companies have ended up abandoning their naval armaments despite the legislative framework. Total, oil French company, retired in 1993 from the shipping business. Today, ships under the French flag belonging to Belgian or Norwegian shipowners, but in no case French
50
Protzenko, Jonathan. "Mezzo : a typed language for safe effectful concurrent programs." Paris 7, 2014. http://www.theses.fr/2014PA077159.
Full textAbstract:
Cette thèse décrit comment obtenir de plus fortes garanties de sûreté pour les programmes en utilisant Mezzo, un langage de programmation inspiré par ML, et muni d'un système de types novateur. Les programmes écrits en Mezzo bénéficient de plus fortes garanties, com¬parés à des programmes équivalents écrits dans un dialecte de ML: absence de séquencements critiques (« race conditions »), suivi des changements d'états au travers du système de types, et une notion de possession qui facilite le raisonnement modulaire et la compréhension des programmes. Mezzo n'est pas la premier langage à s'attaquer à cet objectif louable : une première partie s'efforce donc de situer Mezzo dans son contexte, en présentant des travaux emblématiques de la recherche en langages de programmation, travaux qui ont constitué des sources d'inspiration ou ont servi de points de comparaison. Une seconde partie présente le langage. Tout d'abord, au travers d'une riche palette d'exemples, qui permettent d'illustrer les fonctionnalités du lan¬gage ainsi que les gains de sûreté qui en découlent. Puis, dans une partie suivante, de manière formelle, en détaillant les différentes règles qui gouvernent le système de types de Mezzo. Mezzo n'existe pas seulement sur le papier : une dernière partie décrit la manière dont le lan¬gage est implémenté, en formalisant les algorithmes utilisés dans le typeur et en détaillant les techniques utilisées pour déterminer la validité d'un programmeThe present dissertation argues that better programming languages can be designed and implemented, so as to provide greater safety and reliability for computer programs. I sustain my daims through the example of Mezzo, a programming language in the tradition of ML, which I co-designed and implemented. Programs written in Mezzo enjoy stronger properties than programs written in traditional ML languages: they are data-race free; state changes can be tracked by the type system; a central notion of ownership facilitates modular reasoning. Mezzo is not the first attempt at designing a better programming language; hence, a first part strives to position Mezzo relative to other works in the literature. I present landmark results in the field, which served either as sources of inspiration or points of comparison. The subsequent part is about the design of the Mezzo language. Using a variety of examples, I illustrate the language features as well as the safety gains that one obtains by writing their programs in Mezzo. In a subsequent part, I formalize the semantics of the Mezzo language. Mezzo is not just a type system that lives on paper: the fmal part describes the implementation of a type-checker for Mezzo, by formalizing the algorithms that I designed and the various ways the type-checker ensures that a program is valid