Letteratura scientifica selezionata sul tema "Impératif formel"

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Impératif formel".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Impératif formel":

1

Nurhayati, Eria, Isda Pramuniati e Rabiah Adawi. "ANALYSE DU VERBE IMPÉRATIF DANS LE TEXTE INJONCTIF DANS LA RECETTE DE CUISINE". HEXAGONE Jurnal Pendidikan, Linguistik, Budaya dan Sastra Perancis 5, n. 1 (28 giugno 2016): 45. http://dx.doi.org/10.24114/hxg.v5i1.3897.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
RÉSUMÉ Eria Nurhayati, 2113131015. Analyse du Verbe Impératif Dans le Texte Injonctif Dans la Recette de Cuisine. Section Française, Département des Langues Étrangères, Faculté de Lettres et d’Arts, Université de Medan. 2016. Cette recherche a pour de savoir la forme du verbe impératif, de savoir l’analyse des valeurs du verbe impératif : l’ordre, la défense et le conseil dans le texte injonctif dans la recette de cuisine et de savoir la fonction du texte injonctif qui se trouve dans la recette de cuisine. Cette recherche s’est déroulée à la Bibliothèque de la Faculté de Lettres et d’Arts de l’UNIMED. L’échantillon est 5 recettes de cuisine sur les desserts dans le magazine “Elle à Table” édition novembre-décembre en 2013. Cette recherche utilise la méthode descriptive qualitative. Pour compter la valeur fréquemment dans la recette de cuisine utilisée la formule de Widodo suivant: N = F/K X 100% Par rapport au résultat et l’analyse de la recherche, le résultat de la recherche montre que la forme du verbe impératif qui utilisée est l’impératif présent. Ensuite, la valeur de l’ordre du verbe impératif est 126 fois ou 96 %, il est suivi parla valeur du conseil apparait 5 fois ou 4 %. Cependent la valeur de la défense ne se trouve pas dans cette recette de cuisine ou 0 %. Tous les verbes impératifs qui utilisés dans la recette de cuisine ont la fonction de donner les instructions pour faire quelques choses qui a pour but d’obtenir quelques choses comme prévu par l’auteur après faire les instructions qui se trouvent dans la recette de cuisine, c’est pourquoi la fonction du texte injonctif qui se trouve dans la recette de cuisine est dire comment faire. Mots clés : Verbe Impératif, Texte Injonctif, Recette de Cuisine
2

Dion, Marie-France. "Du projet à la promesse. Analyse syntaxique et critique de la forme de Genèse 12,1-3 et 12,7". Studies in Religion/Sciences Religieuses 34, n. 1 (marzo 2005): 99–118. http://dx.doi.org/10.1177/000842980503400106.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Cet article vise à démontrer que la péricope de Gn 12,1-3 est non pas une promesse, comme il est généralement admis, mais un projet dont la réalisation implique la participation de Dieu, d'Abraham et des familles de la terre. Une analyse syntaxique et une critique de la forme montre que la promesse divine n'apparait que dans le verset 7. Les w.1-3 présentent plutôt un projet à deux volets dont chacun est introduit par un impératif. Les formes verbales et la construction grammaticale qui suit chacune des injonctions expriment la volonté divine. Ayant obéi au premier impératif, Abraham recoit alors la promesse (v. 7) qui assure la réalisation du premier volet du projet. Il demeure aux descendants d'Abraham d'obéir au deuxieme impératif pour que s'accomplisse l'ensemble du projet divin.
3

Heidemann, Maren. "European Private Law at the Crossroads: The Proposed European Sales Law". European Review of Private Law 20, Issue 4 (1 agosto 2012): 1119–38. http://dx.doi.org/10.54648/erpl2012067.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Abstract: This paper discusses arguments in favour and against the legal basis of the Proposal for a Regulation of the European Parliament (EP) and the Council on a Common European Sales Law (CESL), published as COM(2011) 635 final of 11 October 2011. It considers the international private law as well as some individual substantive rules of both the Regulation and the actual Sales Law. Suggestions are made on how to adjust and complement this instrument in order to achieve what the European Union (EU) legislator is setting out to do and indeed what the legal and trading community, including consumers, need. Central problems with the proposal are found to be the intended exclusive role of CESL in relation to existing transnational rules of international commercial contracts and the weakly identified reasons for there being separate regimes for consumers and merchants in the first place. Both consumer and commercial contracts have specific characteristics and requirements that need legislative attention within the EU and beyond but that have not been carved out sufficiently by legal doctrine yet. Further research into the contents of typical consumer and merchant contracts, both formal and substantive in nature, is therefore needed. A consolidated and possibly separate and mandatory consumer law for the Common Market could then be tailored in a more integrated and convincing way. Résumé: Le présent article présente les arguments pour et contre du fondement juridique de la Proposition de Réglementation du Parlement Européen (PE) et du Conseil sur le Droit Commun Européen de la Vente (CESL), publiée sous les références COM (2011) 635 fin 11.10.2011. Il prend en considération le droit international privé ainsi que quelques régles particuliéres de droit substantiel du Réglement et de l'actuel Droit de la Vente. Des suggestions sont avancées sur la mani&eacutere d'ajuster et de compléter cet instrument dans le but d'achever ce que le législateur européen tente de faire et ce dont la communauté du droit et du commerce, y compris les consommateurs, a besoin. Les problémes centraux posés par la Proposition sont le rôle exclusif voulu de la CESL par rapport aux régles transnationales existantes des contrats commerciaux internationaux et les raisons peu expliquées de séparer les régimes des consommateurs et des marchands en premier lieu. Les contrats concernant le consommateur et les contrats commerciaux ont chacun des caractéristiques et des exigences spécifiques qui nécessitent l'attention du législateur au sein de l'Europe et au-delá mais n'ont pas encore été suffisamment explicités par la doctrine juridique. Par conséquent, une recherche plus poussée sur le plan formel et substantiel á propos du contenu des contrats types relatifs au consommateur et au commerçant s'avére nécessaire. Un droit du consommateur consolidé, éventuellement séparé et impératif, pour le Marché Commun, pourrait être ainsi taillé sur mesure d'une maniére plus intégrée et convainvante.
4

Audigier, François. "Former le citoyen au droit. Un impératif pour l’éducation à la citoyenneté". Diversité 188, n. 1 (2017): 67–72. http://dx.doi.org/10.3406/diver.2017.4432.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Longtemps confinée à certains enseignements techniques, la présence du droit dans l’école s’est affirmée depuis les années 1980 dans plusieurs perspectives : l’éducation à la citoyenneté, l’attribution de droits aux élèves, le fonctionnement des établissements scolaires et la résolution des conflits. Cet article traite de l’importance du droit dans l’éducation à la citoyenneté, autour de son apport théorique et pratique, et énonce certaines difficultés et exigences qui lui sont propres.
5

TRIKI, Hiba, Sana BEKRI, Imen SADOURI, Najla TAKTAK e Lamia MANSOUR. "Domaines d’utilisation des contre plaques". Actualités Odonto-Stomatologiques, n. 289 (aprile 2018): 2. http://dx.doi.org/10.1051/aos/2018032.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Quel que soit l’édentement, la prothèse partielle amovible doit répondre aux principes de rigidité, d’équilibre et de confort grâce à une conception bien réfléchie des éléments constituants le châssis. Cependant, dans certaines situations cliniques, cette conception se trouve modifiée pour mieux gérer les impératifs esthétiques et fonctionnels des patients. Cet article présente les différentes formes des contre plaques, leurs intérêts, impératifs de conceptions et leurs inconvénients.
6

Cao, Deborah. "The Illocutionary Act in Translating Chinese Legislative Texts". Babel. Revue internationale de la traduction / International Journal of Translation 44, n. 3 (1 gennaio 1998): 244–53. http://dx.doi.org/10.1075/babel.44.3.05cao.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Abstract In this paper one of the prominent linguistic features of legal texts, the illocutionary force, is discussed through the examination of legal performatives found in Chinese legistation and their translation into English. This paper identifies some of the characteristics of illocutionary force in Chinese legislation. An analysis of Chinese legislation has identified five types of performative verbs: (a) verbs preceded by bixu/xu (must or shall); (b) verbs preceded by yingdang/yinggai/ying (should or ought to); (c) verbs in the present tense without any modal verbs: zero performative; (d) verbs preceded by keyi (may); and (e) verbs precede by bude (must not, or shall not). The article argues that illocutionary force is a paramount consideration for legal translators and that effective translation of legislative texts depends upon a high level of translational language competence including illocutionary competence. Résumé Dans cet article, l'un des éléments saillants des textes juridiques, la force illocutionaire, est discutée en examinant les verbes performatifs juridiques trouvés dans la législation chinoise et leur traduction en langue anglaise. L'article identifie quelques caractéristiques de la force illocutionaire dans la législation chinoise. L'analyse de la législation chinoise a permis de reconnaître cinq types de verbes performatifs: (a) les verbes précédés de bixu/xu, ce qui équivaut à l'auxiliaire (must or shall), c'est-à-dire deux formes du verbe 'devoir'; (b) les verbes précédés de yingdang/yinggai/ying (should or ought to), c'est-à-dire forme conditionnelle ou impérative du verbe; (c) les verbes à l'indicatif présent sans aucuns verbes de modalité; verbes performatifs (zéro); (d) les verbes précédés de keyi (may, soit verbe auxiliaire modale); et (e) les verbes précédés de bude (must not or shall not), c'est-à-dire auxiliaires impératifs négatifs. L'article soutient que la force illocutionaire forme un élément majeur pour les traducteurs de textes juridiques et que la traduction même de textes juridiques repose sur une compétence très élevée du langage traductionnel et, en ce comprise la compétence illocutionaire.
7

Ekowati, Messy, Marice Marice e Hesti Fibriasari. "ANALYSE LES SENS DE L’IMPÉRATIF DANS LE FILM LES CHORISTES". HEXAGONE Jurnal Pendidikan, Linguistik, Budaya dan Sastra Perancis 8, n. 2 (1 luglio 2020): 717. http://dx.doi.org/10.24114/hxg.v8i2.18906.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Cette recherche a pour but de savoir les contextes et les sens ou bien les valeurs de l’impératif dans une phrasequi est à la forme impérativeou bien aux autres formes ayant les sens impératifqui se trouve dans le film Les Choristes par Christophe Barratier, en utilisant la théorie SPEAKING par Dell Hathaway Hymes. Cette recherche a eu lieu à la Bibliothèque de la Faculté de Lettres et d’Arts de l’UNIMED. La méthode utilisée dans cette recherche est la méthode descriptive qualitative. Les données obtenues sont analysées en décrivant et puis en déterminant ses pourcentages de la fréquence.Le résultat montre qu’en utilisant le modèle SPEAKING ou peut trouver les sens implicites et explicites de mode impératif grâce aux contextes. La phrase implicite se trouve 13 fois, et la phrase explicite se trouve 78 fois. En plus, le résultat de la recherche montre aussi que les senstrouvés sont souvent des ordres(46,15 %)dont la fréquence est au total 42 données. Celles le plus nombreux. D’autres résultatsâpres des ordres, entre autres : des recommandations (16,48%)la fréquence est au total 15 données; des conseils(12,09 %)est au total 11 données ;des politesses formelles (6,59%)au total 6 données ; des interdictions(10,99%) est au total 10 données ; des invitations(5,49%) est au total 5 données ; des prières (2,20%) est au total seulement 2 données. Mots-clés : analyse des sens, valeurs, impératif, contexte, SPEAKING
8

Faith, Karlene. "La résistance à la pénalité : un impératif féministe". Criminologie 35, n. 2 (19 luglio 2004): 115–34. http://dx.doi.org/10.7202/008293ar.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Résumé À l’ère de la croissance galopante des prisons sous forme de complexe industriel en Amérique du Nord, les tensions idéologiques vacillent entre châtiment et mouvements en faveur d’une justice réparatrice ou transformatrice. Entre les désinstitutionnalistes, qui cherchent à réduire le nombre de personnes en prison, et les abolitionnistes pénaux, qui visent une transformation sociale, on retrouve nombre de féministes canadiennes. Les femmes au Canada sont désillusionnées suite à l’échec du gouvernement fédéral à mettre en pratique la vision de La création de choix, un rapport d’un groupe de travail sur l’emprisonnement des femmes, datant de 1990. Le gouvernement n’a pas non plus tenu compte des importantes recommandations de la juge Louise Arbour, dont l’enquête de 1996 sur les inconduites du personnel correctionnel met en lumière le non-respect des lois dans les prisons. En 2002, encore plus de femmes se retrouvent dans les prisons à sécurité moyenne ou maximale au Canada pour des crimes relativement mineurs. Les années 1990 nous ont fourni une bonne leçon sur la futilité de la réforme des prisons, tout spécialement au nom du féminisme. Dans l’avenir, les féministes devront impérativement contester les fondements de la pénalité imposée par l’État plutôt que de tenter de réformer une institution désuète.
9

Teillet, Guillaume. "Une scolarisation sous contrainte judiciaire". Diversité 190, n. 1 (2017): 119–24. http://dx.doi.org/10.3406/diver.2017.4526.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Cet article propose d’explorer les formes variées de l’articulation entre scolarisation et contrainte judiciaire tout au long du parcours d’un jeune poursuivi pénalement : d’abord assujetti à la scolarisation sous surveillance judiciaire, les impératifs liés à la soumission au cadre vont primer sur les enjeux scolaires lors de son placement, tandis que sa rescolarisation en «dispositifs relais», quelque temps après sa sortie, viendra reconfigurer son suivi sociojudiciaire.
10

Lemire, Marc. "Les représentations sociales dans le discours public sur les autoroutes de l’information". Articles 18, n. 2 (21 novembre 2008): 83–100. http://dx.doi.org/10.7202/040174ar.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Résumé Portant sur un projet dont on peut se demander s’il est réalisable dans sa forme idéalisée, le discours que tiennent les acteurs publics sur les autoroutes de l’information incite à réfléchir. Ce discours fait du projet un impératif de la modernité et une solution incontournable aux difficultés économiques, politiques, sociales et culturelles. Pourtant, les gouvernements ont mené peu de recherches approfondies sur la contribution de ces réseaux numériques au progrès social effectif. Cet article vise à démystifier ce discours en étudiant les représentations sociales auxquelles il renvoie. Ce discours, bien que présenté comme une parole attrayante et dépolitisée, sert des fins politiques.

Tesi sul tema "Impératif formel":

1

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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
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.
2

Mohamed, Rafsandjani Hassani. "Les révisions constitutionnelles en Afrique et la limitation des mandats présidentiels. : Contribution à l'étude du pouvoir de révision". Electronic Thesis or Diss., Toulon, 2022. http://www.theses.fr/2022TOUL0147.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
On constate une inflation des révisions constitutionnelles en Afrique qui touchent essentiellement la clause de limitation du nombre des mandats présidentiels. Les chefs d’État qui en sont à l’initiative cherchent à faciliter leur réélection. Ces velléités réformistes provoquent des crises politiques et sociales importantes. Pour les acteurs politiques, les organisations de la société civile ou encore les mouvements citoyens, la clause de limitation des mandats présidentiels est un élément fondamental des constitutions et ne peut pas, à ce titre, faire l’objet de révision constitutionnelle. Cette thèse entend démontrer que le pouvoir de révision n’est pas souverain. Il est soumis à deux impératifs. Le premier, d’ordre formel, impose de suivre la procédure régulière de révision fixée par la constitution. Le second impératif est finaliste et met à la charge du pouvoir de révision une obligation de consolider le système institutionnel en préservant ses principes fondateurs. Ces derniers forment la structure basique de la constitution. Il apparaît que ces deux impératifs ne sont pas toujours observés par les révisions en Afrique. La présente étude permet également de montrer qu’il existe, tant au niveau national que régional, un ensemble de mécanismes politiques et juridictionnels originaux, mais encore balbutiants, d’encadrement et de contrôle du pouvoir de révision
African countries have been experiencing an increasing number of constitutional amendments, mainly affecting the presidential term limit clause. Leaders, who initiate them, seek to facilitate their re-election. Such reformist inclinations lead to major political and social crises. From the political actors, civil society organisations and citizen movements point of view, the presidential term limit clause is a key feature of constitutions and as such it should not be the subject of constitutional amendments. This thesis aims at demonstrating that constitutional amendment power is not absolute power. It must comply with two requirements. The first is formal. The amendment process provided by constitutions needs to be followed. The second is an objective. The duty of constitutional amendment power is to consolidate the institutional system by preserving its founding principles. These form the basic structure of constitutions. In Africa, it appears that these two requirements are not always observed when amending constitutions. This research also highlights that at both national and regional levels, there is a set of original mechanisms supervising constitutional amendment power, which are political and jurisdictional, but still in their infancy
3

Denizot, Camille. "Les formes de l'injonction en grec ancien : étude linguistique". Rouen, 2008. http://www.theses.fr/2008ROUEL621.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
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 politesse
This 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
4

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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
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 humaine
The 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
5

Auger, Cédric. "Compilation certifiée de SCADE/LUSTRE". Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00818169.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
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.

Capitoli di libri sul tema "Impératif formel":

1

Muller, Charles. "À propos de quelques impératifs". In Les formes du sens, 275. De Boeck Supérieur, 1996. http://dx.doi.org/10.3917/dbu.kleib.1996.01.0275.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Meyer, Antoine. "Le droit international humanitaire face aux défis du XX e siècle". In Le droit international humanitaire face aux défis du XX e siècle, 219–43. Bruylant, 2012. http://dx.doi.org/10.3917/bru.blad.2012.01.0219.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Cette présentation s’attache aux développements récents et aux perspectives en matière de protection de l’enfance dans les conflits armés, avec un éclairage particulier sur la question des enfants associés aux forces et aux groupes armés. Elle vise un bref exposé des enjeux de protection et du cadre normatif de référence liant droit international humanitaire et droit international des droits de l’Homme (I); une mise en perspective des leviers juridiques et politiques de mise en œuvre de ces normes et de réponse à l’« impératif humanitaire » reconnu dans l’engagement du Conseil de Sécurité des Nations unies (II). Elle dégage enfin quelques priorités pour la protection des enfants associés aux forces et aux groupes armés, dans une approche globale fondée sur les droits de l’enfant (III) .
3

BERGER, F., S. WATIER, C. FICKO, M. L. PONSARD, P. GAUTRET, D. RINGOT e J. P. DEMONCHEAUX. "Expositions au virus rabique dans les armées françaises". In Médecine et Armées Vol. 46 No.1, 53–62. Editions des archives contemporaines, 2018. http://dx.doi.org/10.17184/eac.7369.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
La rage est une zoonose virale responsable d’une encéphalite toujours mortelle une fois les premiers symptômes déclarés. Responsable d’environ 70 000 décès chaque année, la rage est présente dans plus de 150 pays. Près de 99 % des cas humains sont causés par la morsure d’un chien infecté et environ 95 % des décès surviennent en Afrique et en Asie. Les Forces armées françaises sont régulièrement déployées dans des zones à risque rabique. Entre 2005 et 2015, 369 cas d’exposition humaine à la rage ont été déclarés dans les armées. Le virus rabique est un virus du genre Lyssavirus de la famille des Rhabdoviridae, il est transmis par un animal en phase d’excrétion salivaire, le plus souvent par morsure ou par effraction cutanée (morsure, griffure) ou par léchage d’une muqueuse. En fonction du réservoir, on distingue la rage canine, la rage sauvage et la rage des chiroptères. En zone d’enzootie rabique, la prévention consiste à éviter les contacts à risque (animaux errants, chauvessouris) et à maîtriser le statut sanitaire des animaux militaires et des animaux mascottes (déclaration, vaccination, suivi vétérinaire, surveillance). Pour certains personnels militaires, une vaccination pré-exposition est recommandée. En cas de suspicion d’exposition au virus rabique, une consultation spécialisée doit être organisée le plus rapidement possible. Dans la mesure du possible, l’animal à l’origine de l’exposition doit être mis sous surveillance et si l’abattage est nécessaire, la tête doit être préservée. Le traitement est contraignant et la prise en charge des militaires exposés a un impact à la fois financier et opérationnel. Il est donc impératif de limiter le nombre d’expositions à risque dans les armées, encore trop nombreuses malgré l’existence de mesures de prévention simples et efficaces. Pour cela, les autorités militaires, aux différents niveaux de commandement, du niveau stratégique au niveau tactique, doivent être plus impliquées.

Atti di convegni sul tema "Impératif formel":

1

Gossiome, C., F. Rufino, G. Herve, M. Benassarou, P. Goudot, V. Descroix e G. Lescaille. "Découverte fortuite d’une lésion mandibulaire, un cas de kyste anévrismal". In 66ème Congrès de la SFCO. Les Ulis, France: EDP Sciences, 2020. http://dx.doi.org/10.1051/sfco/20206603020.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Introduction : Les kystes et tumeurs des maxillaires représentent une multitude d’entités pour lesquelles le diagnostic est parfois difficile. L’examen anatomopathologique permet dans la majorité des cas de donner un diagnostic de certitude mais il est parfois nécessaire de confronter ces résultats à l’imagerie voir de réaliser des marquages d’immunohistochimie pour mieux caractériser la lésion. Le diagnostic différentiel apparaît comme primordial devant certaines entités dont l’évolution guide une prise en charge très différente. Cas clinique : Il s’agissait d’une jeune patiente de 25 ans sans antécédent médical, adressée par son chirurgien-dentiste à la suite de la découverte fortuite d’une lésion osseuse au niveau de l’angle mandibulaire droit. Une exploration radiographique de type CBCT ainsi qu’une biopsie osseuse ont été réalisées. La confrontation de l’imagerie et du diagnostic histologique ne permettait pas de dissocier deux diagnostics possibles, la lésion pouvant correspondre à une tumeur à cellules géantes (TCG) ou à un kyste osseux anévrismal (KOA). Devant cette incertitude, un marquage par immunohistochimie de la protéine p63 ainsi qu’une imagerie par résonance magnétique ont été demandés. Un marquage négatif à la p63 ainsi que l’analyse de l’ensemble des images radiologiques nous a permis de poser le diagnostic de kyste anévrismal. Devant le caractère asymptomatique de la lésion et de l’absence d’évolution à 9 mois, une attitude de surveillance a été décidée. Discussion : Les deux entités que sont le KOA et la TCG sont des lésions dont le diagnostic différentiel est complexe mais impératif du fait de leurs évolutions très différentes. Le KOA correspond à une dystrophie osseuse bénigne qui forme une lésion cavitaire constituée d’un réseau riche en fibroblastes et cellules géantes plurinucléés parfois bordées par un endothélium. Cette lésion est bénigne d’évolution lente. Le traitement consiste le plus souvent en un curetage de la cavité kystique lorsque la lésion entraîne déformation et/ou symptomatologie. La TCG présente de nombreuses caractéristiques histologiques en commun avec le kyste osseux anévrismal, avec un nombre de cellules géantes plus important. Toutefois la TCG présente un risque de récidive de l’ordre de 50% ainsi qu’un risque de transformation maligne (sarcome) de 10 à 20 %. Son évolution peut également être rapide. Le traitement doit être radical et consiste en une exérèse chirurgicale avec marges. Il a été montré par plusieurs auteurs que le marquage de p63, une protéine nucléaire de la famille du gène suppresseur p53, retrouvée dans différents tissus permettait de distinguer ces deux entités dans plusieurs localisations. Conclusion : Le marquage de la protéine p63 peut apparaît donc très utile dans le diagnostic différentiel de ces lésions dont les pronostics sont très différents lorsque l’imagerie et le marquage en HES ne sont pas suffisants.

Rapporti di organizzazioni sul tema "Impératif formel":

1

Ruedin, Didier, e Dina Bader. Panorama de la diversité au sein du personnel de l’administration de la Ville de Neuchâtel. Université de Neuchâtel – Swiss Forum for Migration and Population Studies (SFM), dicembre 2022. http://dx.doi.org/10.35662/unine-sfmstudies-82.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
La Ville de Neuchâtel s’engage à donner l’exemple et à veiller au respect d’une administration exemplaire et ouverte à la diversité, respectueuse de la dignité et du bien-être de ses employé·e·s. En menant une enquête auprès de ses employé·e·s, la Ville de Neuchâtel a fait preuve d’une démarche innovatrice en Suisse dans le traitement des questions de diversité et de discrimination au sein de l’environnement professionnel. L’enquête a révélé une diversité parmi les employé·e·s, comprenant le genre, le pays de naissance, et l’origine migratoire : une exclusion systématique de certains groupes n’a pas été observée, mais il est légitime de se demander si la représentativité pourrait être augmentée afin de profiter des compétences de toute la population active. Au total, 36 pays de naissance et 25 nationalités sont représentés parmi les répondant·e·s de l’enquête. Parmi les nationalités non suisses, on trouve principalement des nationalités d’Europe de l’Ouest. La grande majorité des employé·e·s parle le français à la maison, soit 95%. Cependant, l’expérience de la discrimination est une réalité pour une minorité importante des employé·e·s de l’État. Parmi celles et ceux qui ont subi une forme de discrimination, les raisons mentionnées le plus fréquemment sont le genre et l’âge, suivis de l’origine nationale et l’apparence physique. La conciliation entre la vie professionnelle et la vie familiale reste un sujet important, surtout parmi les répondant·e·s avec des responsabilités de soutien de tierces personnes. De manière générale, davantage de flexibilité dans les offres et dans les horaires de travail est souhaitée afin de pouvoir répondre à des impératifs familiaux sans prétériter le travail.
2

Ruedin, Didier, Dina Bader e Chloé Salathé. Panorama de la diversité au sein du personnel de l’administration de la Ville de La Chaux-de-Fonds. Université de Neuchâtel – Swiss Forum for Migration and Population Studies (SFM), settembre 2023. http://dx.doi.org/10.35662/unine-sfmstudies-85.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
La Ville de La Chaux-de-Fonds s’engage à donner l’exemple et à veiller au respect d’une administration exemplaire et ouverte à la diversité, respectueuse de la dignité et du bien-être de ses employé·e·s. En menant une enquête auprès de ses employé·e·s, la Ville de La Chaux-de-Fonds a fait preuve d’une démarche innovatrice en Suisse dans le traitement des questions de diversité et de discrimination au sein de l’environnement professionnel. L’enquête a révélé une diversité parmi les employé·e·s, comprenant le genre, le pays de naissance et l’origine migratoire. Si les nationalités les plus nombreuses de la ville sont présentes parmi les répondant·e·s de l’enquête, on observe une absence des personnes d’origine érythréenne (1% de la population) et turque (0.8% de la population). Il est légitime de se demander si la représentativité des groupes sous-représentés pourrait être augmentée afin de profiter des compétences de toute la population active. Au total, 34 pays de naissance et 22 nationalités sont représentés parmi les répondant·e·s de l’enquête. Parmi les nationalités étrangères, on trouve principalement des nationalités d’Europe de l’Ouest. La grande majorité des employé·e·s parle le français à la maison, soit 94%. Cependant, l’expérience de la discrimination est une réalité pour une part importante des employé·e·s de la Ville. Parmi ceux·celles qui ont subi une forme de discrimination, les raisons mentionnées le plus fréquemment sont le genre et l’âge, suivis de l’origine nationale. La conciliation entre la vie professionnelle et la vie familiale reste un sujet important, surtout parmi les répondant·e·s avec des responsabilités de soutien envers des personnes tierces. De manière générale, davantage de flexibilité dans les offres et dans les horaires de travail est souhaité afin de pouvoir répondre à des impératifs familiaux sans prétériter le travail.
3

Agenda de recherche sur la sécurité alimentaire et la nutrition au Bénin. African Center for Equitable Development (ACED), gennaio 2023. http://dx.doi.org/10.61647/aced8793.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
La sécurité alimentaire et la nutrition (SAN) sont des enjeux majeurs de développement au Bénin, qui concentrent pleinement l’attention des décideurs politiques, de la société civile et des partenaires au développement. Malheureusement, les efforts et investissements pour une meilleure SAN sont constamment fragilisés par les crises environnementales (ex. changements climatiques), sanitaires (ex. COVID-19), sécuritaires (ex. la montée des mouvements djihadistes), politiques ou géopolitiques (ex. crise Russo-Ukrainienne), etc. Il est désormais clair que les objectifs de pleine SAN ou de faim zéro ne seront malheureusement pas atteints à l’horizon 2025 et 2030, non pas par défaut d’engagement politique et d’interventions volontaristes, mais du fait de la nature complexe, multiforme et dynamique de la problématique de la SAN. La prise en main de la problématique de la SAN requiert dès lors la production de données probantes actualisées et fiables sur la SAN afin d’informer et d’orienter les interventions des décideurs politiques et les actions des acteurs de la société civile et des partenaires au développement. A cet effet, il est impératif de disposer d’un agenda de recherche à court terme spécifique à la SAN, capable d’informer et de guider les interventions pour une meilleure SAN. C’est dans ce cadre que ACED en collaboration avec les ministères en charge de l’agriculture et de l’enseignement supérieur au Bénin, a initié la formulation de cent (100) questions de recherche critiques et actuelles sur la SAN. Il s’agit des questions de recherche pour lesquelles il existe un besoin pressant de réponses sous forme de données probantes pouvant informer les actions et les interventions en cours, ou en susciter de nouvelles (i.e. initiatives communautaires, politiques, plans, programmes, projets). L’initiative de formulation des 100 questions de recherche actuelles et critiques sur la SAN au Bénin a pour finalités le développement d’un agenda de recherche, et la facilitation de la production de données probantes portant sur les nécessités dans le domaine de la SAN au Bénin. De façon plus spécifique, l’initiative vise à : Recueillir les intérêts et besoins en données probantes des acteurs de l’écosystème de la SAN au Bénin, sous forme de questions de recherche ; Identifier les questions de recherche prioritaires pour lesquelles il existe un besoin pressant et critique de réponses sous forme de données probantes pouvant informer les actions et les interventions en cours, ou en susciter de nouvelles ; Faciliter la production de données probantes à partir des questions de recherche prioritaires identifiées.

Vai alla bibliografia