Étymologie.

Aujourd'hui le pays est aussi parfois appelé "Guinée-Conakry"

Géographie.

La Guinée se trouve sur la côte atlantique de l’Afrique de l'Ouest.  Elle est entourée de la Guinée-Bissau ( de frontières) à l'ouest-nord-ouest, du Sénégal () au nord-ouest, du Mali () à l'est-nord-est, de la Côte d'Ivoire () au sud-est, du Liberia () au sud-sud-est et de la Sierra Leone () à l'ouest-sud-ouest et de l'océan Atlantique à l'ouest.  On distingue quatre zones géographiques : Ces quatre zones, parfois appelées « régions naturelles », ne correspondent pas aux régions administratives.

Hydrographie.

Le pays compte plus de 1300 cours d'eau. De nombreux fleuves, tels le Niger, le Sénégal (Bafing), la Gambie, ainsi que leurs principaux affluents trouvent leur source en Guinée, faisant de ce pays le « château d'eau » de l'Afrique de l'ouest. Ces cours d'eau partent des massifs guinéens (les deux vieux massifs du Fouta Djalon et la dorsale guinéenne en région forestière). La Gambie et le Bafing vont vers le Sénégal au nord. La source du Niger est à proximité de Kobikoro, il traverse Faranah, Kouroussa et va vers le Mali au nord-est. Les fleuves Tinkisso, Milo, Niandan

Relief et géologie.

La plaine côtière de Guinée maritime est dominée à l'Est par le massif de Benna (), le mont Kakoulima () et le mont Gangan (). La Moyenne-Guinée entoure le massif du Fouta-Djalon qui occupe environ et culmine au mont Loura (). Il est constitué principalement de plateaux étagés souvent à plus de, entaillés par des vallées, dominant des plaines et dépressions jusqu'à environ. Près de Dalaba, le mont Kavendou est à. Le massif du Fouta Djalon est principalement constitué de grès siliceux et de schistes mais d'importantes surfaces sont recouvertes par des cuirasses ferrugineuses ou bauxitiques. À l'est du Fouta Djalon, la Haute-Guinée est un

Climat.

Le climat est tropical à deux saisons : la saison des pluies, de mai à octobre (varie plus ou moins selon les régions), et la saison sèche. Pendant la saison des pluies, la moyenne mensuelle des précipitations peut atteindre.  La Guinée comprend quatre régions climatiques :  Températures moyennes à Conakry

Agriculture.

Le secteur agricole emploie plus de 75 % de la population apte au travail du pays (24 % du PIB). On cultive riz, café, ananas, pêches, nectarines, mangues, agrumes, tapiocas, bananes, pommes de terre, tomates, concombres, poivrons

Environnement.

La Guinée compte trois types de biomes :  L'environnement en Guinée semble préservé grâce à la faible densité de population et

Nature.

La Guinée, en raison de ses climats et biomes diversifiés, est peuplée d'espèces animales, végétales et fongiques variées, dont certaines sont rares ou endémiques telle que "Dictyna guineensis".  Ainsi, en Guinée forestière, dans la zone couverte par la forêt tropicale humide, on trouve "Nimbaphrynoides occidentalis", qui est un crapaud vivipare endémique de la zone du mont Nimba. Une population de chimpanzés existe aux alentours de Bossou. Une espèce d'hippopotame nain existerait également en forêt.  Le parc national du Haut-Niger se trouve en Guinée.

Taxonomie.

La deuxième partie (ou espèce) du nom binominal de nombreuses espèces en botanique ou en zoologie est fréquemment "guineensis" signifiant en latin "guinéen" ou "qui vit en Guinée". Ceci s'explique par la découverte de nombreuses espèces nouvelles pour la science sur le territoire de la Guinée. La plupart de ses espèces animales ou végétales rencontrées actuellement en Guinée se trouvent aussi dans de nombreux autres pays. C'est pourquoi certaines, ayant été nommées "guineensis" lors de leur découverte et de leur description, ont été renommées depuis, à la suite des révisions taxonomiques.

Population.

Ethnies.

Les trois principaux groupes ethniques sont les Malinkés, les Peuls et les Soussous. Ces derniers se répartissent dans les quatre grandes régions géographiques de la Guinée. La Guinée maritime abrite des Soussous, mais on y trouve aussi presque toutes les grandes

Démographie.

Les populations guinéennes ont été affectées d'une part par la traite arabo-musulmane en direction du Maghreb et de l'Égypte, et par celle commencée au et menée au-delà de 1850, via les conquêtes coloniales françaises et les travaux forcés qu'elles ont apportés. La Seconde Guerre mondiale (1939-1945) a fragilisé la France colonisatrice et poussé celle-ci à abolir finalement l'indigénat, et les travaux forcés en 1945..  À la suite de l’indépendance du et du départ des crédits et des cadres français qui faisaient fonctionner l'administration et l'économie guinéenne, la Guinée fut déstabilisée. La période de dictature de Sékou Touré a ensuite poussé

Histoire.

Histoire ancienne.

Depuis la Guinée était habitée par une communauté de pêcheurs et d'agriculteurs, dans les vallées verdoyantes du Fouta Djallon, les bassins fertiles du Haut Niger propices à la cueillette, à la chasse et à la pêche ont attiré les hommes.  L’arrivée des populations, est due au dessèchement du Sahara, suivi de l’assèchement des fleuves, rivières et lacs. Les populations se déplacent vers les zones méridionales plus humides. Les territoires située entre les fleuves Sénégal et Niger comme la Guinée deviennent des zones privilégiées de regroupement des communautés d’éleveurs et d’agriculteurs. Tandis que certains groupes se dirigent vers les vallées du Bafing et de la Falémé, d’autres se fixèrent dans le delta intérieur du Niger.  Les premiers royaumes

Époque précoloniale.

Les Nalou et les Baga peuplent la région au. Du au, le royaume mandingue, vassal de l'Empire du Ghana, s'établit du haut Sénégal au haut Niger. Ils seront rejoints par les Dialonkés d'origine mandée. Au, le légendaire Soundiata Keïta forme un immense empire ayant pour capitale Niani (aujourd'hui petit village guinéen). L'Empire du Mali décline au. Entre-temps et jusqu'au, les Peuls apportent l'Islam dans la région, repoussant les Soussous vers le littoral.  C'est sur les côtes que les Soussous et d'autres ethnies nouent des liens avec les commerçants européens voulant se procurer esclaves, ivoire et maniguette (ou malaguette, plante voisine du gingembre et réputée aphrodisiaque). C'est le commerce triangulaire.

Samory Touré.

Le village de Kiniéran est entouré de remparts de fortification, vestiges d’avant la colonisation, partiellement détruits par Samory Touré, grand guerrier mandingue de l'Afrique de l'Ouest. Né dans une famille de commerçants malinké, Samory Touré s’appuya d’abord sur des populations encore largement animistes pour combattre l’influence des chefs musulmans. Puis, changeant de stratégie, voulant islamiser de force les populations animistes dans les années 1880, il provoqua leur révolte et les combattit durement. Il assit son autorité sur le Tôron, s’installa à Bissandougou et prit le titre de (roi). Après avoir imposé sa loi et sa religion, Samory s’empara de Kankan, captura les chefs Béréma et Saghadjigi, enrôla les vaincus dans son armée et se présenta en défenseur de l’islam. Il prit le titre d’Almany en 1884 et s’opposa pendant sept longues années à la pénétration des troupes françaises avant d’être arrêté et exilé au Gabon.

Colonisation.

La zone côtière fut occupée au préalable par les Portugais, qui furent évincés par l'armée française, parce qu'affaiblis par l'occupation de la Guinée-Bissau. De nos jours, de nombreux Guinéens originaires de la côte Atlantique du pays portent des noms d'origine portugaise. La Guinée est proclamée colonie française en 1891, indépendamment du Sénégal, auquel elle était précédemment rattachée. Cette nouvelle appellation remplace celle qu'elle portait jusque-là: les Rivières du Sud. Samory Touré, relayé ensuite par les peuples de la forêt, mène une guerre organisée contre l'occupation française sur la côte et dans les massifs montagneux du sud-est avant d'être vaincu en 1898. La guerre qui oppose les Français au Fouta-Djallon, à Porédaka, s'achève par la victoire des premiers. L'Almamy Bocar Biro Barry est assassiné près des bords du Bafing, à Kollen. Il a choisi cette option pour ne pas être soumis ou réduit en vassal de la puissance colonisatrice. Ses guerriers s'éparpillent ou préfèrent

Présidence de Sékou Touré (1958-1984).

Le pays accède à l'indépendance le et Ahmed Sékou Touré en devient le président à. La France mène alors une guerre économique contre son ancienne colonie (les services secrets français vont notamment répandre de faux francs CFA pour déstabiliser la Guinée monétairement). Des maquis d'opposition sont constituées avec l'aide des services secrets français. Maurice Robert, chef du secteur Afrique au service de documentation extérieure et de contre-espionnage (SDECE) de

Présidence de Lansana Conté (1984-2008).

Après la mort de Touré en 1984, le gouvernement intérimaire est rapidement renversé par Lansana Conté. Sous la pression des bailleurs de fond, il introduit le multipartisme en 1993 et organise des élections, qui l'ont confirmé par deux fois à la présidence, en 1993 et en 1998. Bien que globalement épargnée par les conflits des pays voisins, la Guinée est confrontée à l'afflux de plusieurs centaines de milliers de réfugiés venus du Libéria et de Sierra Leone.  Après avoir révisé la Constitution pour pouvoir se présenter une troisième fois en, le chef de l'État, pourtant gravement malade, est réélu avec 95,63 % des suffrages face à un candidat issu d'un parti allié, les autres opposants ayant préféré ne pas participer à un scrutin joué d'avance. Fin, le

Présidence de Moussa Dadis Camara (2008-2009).

Arrivé au pouvoir, le capitaine précise que le nouveau régime est provisoire et qu'aucun membre de la junte ne se présentera aux élections présidentielles prévues en 2010.  Au fil de ses interventions médiatiques, Moussa Dadis Camara envisage de plus en plus explicitement de se présenter, décevant les espoirs de véritable transition démocratique et déclenchant des mouvements de protestation.  Le, des mouvements civils organisent une manifestation pacifique pour demander à Dadis Camara de respecter sa parole et de ne pas se présenter aux présidentielles. Une foule de plusieurs milliers de personnes s'était rendu au stade à la demande de l'opposition pour protester contre le désir du président Dadis de se porter candidat

Transition de Sékouba Konaté (2010).

Le, Moussa Dadis Camara est renvoyé vers le Burkina Faso par le Maroc pour y continuer sa convalescence. C'est ainsi que le, un accord sera trouvé entre Dadis et Sékouba pour que ce dernier soit reconnu Président de la transition. Cet accord stipule qu'un premier ministre issu des Forces Vives (Partis d'opposition, syndicats, société civile) soit nommé dans le but de former un gouvernement d'Union nationale et de conduire le pays vers des élections libres et transparentes dans les six mois. Aussi, aucun membre du gouvernement d'union nationale, de la junte, du Conseil national de la transition et des Forces de Défense et de Sécurité n'aura le droit de se porter candidat aux prochaines échéances électorales.  Le, Dadis, dans

Présidence de Alpha Condé (depuis 2010).

Le, Alpha Condé (candidat du RPG et de l'Alliance Arc-En-Ciel) obtient 52,5 % des suffrages face à son adversaire Cellou Dalein Diallo (candidat de l'UFDG et de l'Alliance des bâtisseurs), qui a fini par accepter les résultats de la cour suprême qu'il avait initialement contestés en raison de soupçons d'irrégularités.Le président Alpha Condé est élu pour un mandat de. En 2014 et 2015, le pays est

Politique et administration.

La Guinée est une république, avec comme chef d'État un président élu par le peuple pour un mandat de cinq ans. Cette période initialement fixée à cinq ans a été modifiée à sept ans par la Constitution de 2003, puis re-modifiée par le Conseil National de Transition (CNT) en 2010 pour une durée de cinq ans renouvelable une fois. La fonction de président a été occupée par Lansana Conté du au. Le Premier ministre est désigné par le chef de l'État. Depuis le, après la première élection présidentielle libre depuis l'indépendance en 1958, Alpha Condé est élu à la tête du pays dans la contestation.  Depuis l'instauration du multipartisme en avril 1992, une quarantaine de nouveaux partis ont été reconnus.  Le pouvoir législatif est assuré par un parlement composé d'une seule chambre, l'Assemblée nationale, où siègent élus par le peuple pour un mandat de cinq ans.  La Constitution et l'Assemblée nationale ont été suspendues en décembre 2008 après le putsch du CNDD avec à sa tête le capitaine Moussa Dadis Camara. La nouvelle constitution a été adoptée par le CNT le et promulguée par le Général Sékouba Konaté par décret le.  L'ONG Transparency International classe régulièrement la Guinée parmi les pays où la perception de la corruption est la plus forte. Le thème de la corruption est récurrent dans les revendications des opposants et des organisations syndicales en Guinée.

Cour suprême.

La plus haute autorité judiciaire est la Cour suprême, qui dispose de trois chambres

Administration nationale.

La Guinée est subdivisée en huit régions administratives (dont une est constituée par Conakry

Religions.

Selon le Pew Research Center, en 2010, 84,4 % des habitants de la Guinée sont

Femmes.

Le taux de natalité s'élevait à en 2014 et la fécondité est estimée à par femme pour 2016.  Le gouvernement adhère à la Convention sur l'élimination de toutes les formes de discrimination à l'égard des femmes depuis 1982. Toutefois 97 % des femmes et des filles âgées de ont subi des mutilations génitales féminines et/ou une excision. Et les mutilations génitales augmentent, bien qu'elles soient interdites.

Économie.

Monnaie.

Sur le territoire de la République de Guinée, la devise ayant cours depuis 1960 est le franc guinéen, sauf entre 1972 et 1986, période pendant laquelle la devise était le. Le franc guinéen n'a cours dans aucun

Agriculture.

La majorité des Guinéens travaillent dans le secteur agricole qui emploie plus de 75 % de la population apte au travail du pays (24 % du PIB).  Le mil et le fonio sont les principales cultures de la Haute-Guinée, tandis que l'on produit de l'arachide dans la région de Koundara. Le riz est cultivé dans les zones inondées en bordure de rivière et de fleuve mais la production locale est insuffisante

Secteur industriel et minier.

La Guinée dispose d'importantes ressources minières dont les principales sont la bauxite (1/3 des réserves mondiales), l'or, le diamant (exploité depuis 1936), le fer, le pétrole et l'uranium, les phosphates et le manganèse. À la fin des années 1990, les « compagnies juniors » canadiennes, investies dans plus de 8000 propriétés minières, dans plus de, pour la plupart encore à l'état de projet multiplient les contrats avec des pays africains. Les investissements du Canada en Guinée représentent à peu près de dollars investis dans le secteur minier et le, Perry Calderwood, ancien ambassadeur du Canada en Guinée, a

Énergie.

La Guinée est dépendante sur le plan énergétique, elle importe la totalité de sa consommation d'hydrocarbures. L'exploitation de gisements au large des côtes est à l'étude.  Le potentiel en production hydro-électrique est considérable en raison du relief et de la pluviométrie, il est estimé à plus de. Ce potentiel reste encore à exploiter ;

Tourisme.

Le pays accueille très peu de touristes étrangers, et ce malgré la grande diversité et la beauté des

Culture.

Langues.

La langue officielle de la République de Guinée est le français. Il s'agit de la langue de l'État et des institutions officielles. Après le régime d'Ahmed Sékou Touré, le français est redevenu la langue unique d'enseignement à l'école.  La langue française est une langue en forte expansion en Guinée d'après les derniers rapports. En 2002, le nombre de locuteurs de langue maternelle française était estimé à 2 % de la population totale. D'après les autorités guinéennes, une nouvelle estimation de 2007

Codes.

La Guinée a pour codes :

La Guinée(), en forme longue la république de Guinée, aussi appelée de façon non officielle Guinée-Conakry du nom de sa capitale pour la différencier de la Guinée-Bissau et de la Guinée équatoriale, est un pays d’Afrique de l'Ouest. Riche en ressources naturelles, elle est surnommée le et possède le tiers des réserves mondiales de bauxite, elle est surnommée le. Elle prend son indépendance de la France le, ce qui en fait le premier pays de l'Afrique française subsaharienne à le faire. La Guinée est une république. Son président, directement élu par le peuple, est chef de l'État et nomme un Premier ministre qui est chef du gouvernement. L'Assemblée nationale monocamérale est le du pays et ses membres sont également directement élus par le peuple. Le pouvoir judiciaire est dominé par la Cour suprême de Guinée, plus haute cour d'appel du pays.

Guinea je republika, nacházející se na západním pobřeží Afriky při pobřeží Atlantského oceánu. Sousedí se státy Pobřeží slonoviny, Guinea-Bissau, Libérie, Mali, Senegal a Sierra Leone.


Introduction générale.

La notion de "proposition" a fait l'objet de nombreux débats au cours de l'histoire de la logique ; l'idée consensuelle est qu'une proposition est une construction syntaxique censée parler de vérité. En logique mathématique, le calcul des propositions est la première étape dans la définition de la logique et du raisonnement. Il définit les règles de déduction qui relient les propositions entre elles, sans en examiner le contenu ; il est ainsi une première étape dans la construction du calcul des prédicats, qui lui s'intéresse au contenu des propositions et qui est une formalisation achevée du raisonnement mathématique. Le calcul des propositions, ou "calcul propositionnel" est encore appelé "logique des propositions", "logique propositionnelle" ou "calcul des énoncés".

Définition d'une proposition.

Quoique le calcul des propositions ne se préoccupe pas du contenu des propositions, mais seulement de leurs relations, il peut être intéressant de discuter ce que pourrait être ce contenu. Une proposition donne une information sur un état de chose. Ainsi « 2 + 2 = 4 » ou « le livre est ouvert » sont deux propositions.  En logique classique (logique bivalente), une proposition peut prendre uniquement les valeurs "vrai" ou "faux". Une phrase optative (qui exprime un souhait comme « Que Dieu nous protège! »), une phrase impérative (« viens! », « tais-toi! ») ou une interrogation n'est pas une proposition. « Que Dieu nous protège! » ne peut être ni vraie ni fausse : elle exprime uniquement un souhait du locuteur.  Par contre, une phrase comme « Dans ce calcul, "toutes les variables informatiques sont toujours strictement positives" » est une proposition dont le contenu a été modifié par le quantificateur "toutes les" et la modalité temporelle "toujours" et qui est donc supposée s'avérer dans la durée. Ce type de proposition relève de la logique modale et plus précisément de la logique temporelle. En effet, la modalité "toujours" affirme sa pérennité dans le temps et elle sera donc toujours vraie, tandis que le quantificateur "tout les" stipule que la proposition "sont toujours positives" s'applique à toutes les variables informatiques, ce qui d'ailleurs sort du domaine du calcul des propositions.

Proposition et prédicat.

Si une proposition est une assertion ayant une valeur de vérité, un prédicat est lui une expression dont la valeur de vérité dépend de variables qu'elle renferme. Le prédicat sera vrai, faux ou indéterminé en fonction de la valeur de la variable « Mon pays ». Si le lecteur est français, on obtiendra la proposition, qui est vraie ; si le lecteur est canadien, on obtiendra la proposition, qui est fausse ; si le lecteur est russe, on obtiendra la proposition « La Russie se situe en Europe » qui est indéterminée, car, comme on sait la Russie est à cheval sur l'Europe et l'Asie.

Définition d'un système déductif.

Un "calcul" ou un "système déductif" est, en logique, un ensemble de règles permettant en un nombre fini d'étapes et selon des règles explicites de déterminer si une proposition est vraie. Un tel procédé s'appelle une "démonstration". On associe aussi aux propositions une structure mathématique qui permet de garantir que ces raisonnements ou démonstrations ont du sens, on dit qu'on lui a donné une sémantique. En calcul des propositions classique, cette sémantique n'utilise que deux valeurs, "vrai" et "faux" (souvent notées 1 et 0). Une proposition entièrement déterminée (c'est-à-dire dont les valeurs des constituants élémentaires sont déterminées) ne prend qu'une seule de ces deux valeurs.

Structure.

Dans les théories de la logique mathématique, on considère donc deux points de vue dits syntaxique et sémantique, c'est le cas en calcul des propositions.  Pour une logique donnée, les règles de déductions envisagées sont correctes vis-à-vis de la sémantique, au sens où à partir de propositions vraies on ne peut déduire que des propositions vraies. Si la déduction correspond parfaitement à la sémantique le système est dit complet.  Le système exposé ci-dessous se situe dans le cadre de la logique classique, qui est la branche de la logique mathématique la plus utilisée en mathématiques. On trouvera plus loin une présentation de logiques non classiques. L'adjectif « classique » ne doit pas être pris dans un sens de « normalité », mais comme un attribut que lui a donné l'histoire de la logique, elle aurait tout aussi bien pu s'appeler « booléenne ».

Présentation.

Syntaxe.

Les constituants du langage.

À la base de la syntaxe du calcul des propositions sont les variables propositionnelles ou propositions atomiques, notées "p", "q", etc., qui constituent généralement un ensemble infini dénombrable.  Les deuxièmes constituants de base du langage du calcul des propositions sont les opérateurs ou connecteurs. Ce sont des symboles qui permettent de construire des propositions plus élaborées. Les plus courants de ces connecteurs logiques sont :  On considère souvent aussi la constante notée ⊥, prononcé « taquet vers le haut », « type vide », « "" » ou « bot », qui vise à représenter le "faux".  À côté de ces symboles on utilise des parenthèses pour lever les ambiguïtés dans les formules (choix adopté ci-dessous), ou une notation comme la notation polonaise, inventée par le logicien polonais Jan Łukasiewicz. Il est important que la définition des formules soit simple et sans ambiguïtés, pour permettre en particulier les définitions inductives sur la structure des formules, mais pratiquement il est possible d'économiser les parenthèses, soit en adoptant certaines conventions pour lever les ambiguïtés, soit parce que le contexte fait que ces ambiguïtés sont sans importance.

Les formules propositionnelles.

Le calcul des propositions repose de plus sur des règles de formation indiquant comment construire des propositions complexes à partir des propositions élémentaires, ou atomes, que sont les variables propositionnelles, et d'éventuelles constantes comme ⊥. Ces règles déterminent quels assemblages de signes, quels mots, sont bien formés et désignent des propositions. La définition dépend d'un choix de connecteurs, et d'un choix d'atomes.  On se donne un ensemble formula_2 de variables propositionnelles. L'ensemble des formules du calcul des propositions (sur formula_2), ou simplement des propositions, est défini par induction, c'est-à-dire que c'est le plus petit ensemble tel que :  "Exemples" : Si "P", "Q" et "R" sont des propositions,

Quelques conventions syntaxiques.

Afin d'alléger la présentation des expressions sans mettre en péril l'absence d'ambiguïté, on autorise par des conventions syntaxiques certaines entorses à la définition ci-dessus.  Pour la lisibilité, on utilise également plusieurs formes de parenthèses (taille, remplacement par des crochets...)  Par ailleurs, on démontre que seules les parenthèses ouvrantes sont nécessaires à la non-ambiguïté de la lecture des formules qui pour cette raison sont remplacées par un point "." dans certaines notations.

Les systèmes déductifs.

Le calcul des propositions permet de présenter les trois systèmes déductifs les plus connus. On se limite pour cela aux propositions contenant, outre les variables propositionnelles, seulement des implications, des disjonctions et des occurrences de "faux" autrement dit de ⊥. On admet que ¬"P" est une abréviation de "P" → ⊥. Si "P" est un théorème, autrement dit une proposition qui a une démonstration, on note cela par ⊢"P".  Les systèmes déductifs utilisent des règles de déduction (appelées aussi "règles d'inférence") qui s'écrivent:  formula_5  Les formula_6 sont appelées les prémisses et formula_7 est appelée la conclusion.

La déduction à la Hilbert.

Il n'y a qu'une seule règle appelée le "modus ponens", elle s'écrit :  formula_8  Elle peut se comprendre ainsi : "si formula_9 est un théorème et formula_10 est un théorème alors formula_11 est un théorème". À cela, on peut ajouter :

La déduction naturelle.

Alors que la déduction à la Hilbert manipule et démontre des théorèmes, la déduction naturelle démontre des propositions sous des hypothèses et quand il n'y a pas (plus) d'hypothèses, ce sont des théorèmes. Pour dire qu'une proposition formula_10 est conséquence d'un ensemble formula_22 d'hypothèses, on écrit formula_23. Alors que dans la déduction à la Hilbert, il n'y a qu'une règle et plusieurs axiomes, dans la déduction naturelle il y a un seul axiome et plusieurs règles. Pour chaque connecteur, on classe les règles en "règles d'introduction" et en "règles d'élimination".  En outre, il y a une règle de réduction à l'absurde, nécessaire en logique classique:  On remarquera que la règle d'élimination de l'implication est très proche du "modus ponens", d'ailleurs on l'appelle aussi "modus ponens". On remarquera qu'il n'y pas de règle d'introduction du "faux" et que la règle d'élimination du "faux" revient à dire que si d'un ensemble d'hypothèses je déduis le "faux" (ou l'absurde) alors de ce même ensemble je peux déduire n'importe quoi. On remarquera que la réduction à l'absurde est la règle qui correspond au raisonnement par l'absurde: pour démontrer formula_10, on ajoute formula_32 aux hypothèses et si l'on obtient l'absurde, alors on a formula_10.

Le calcul des séquents.

L'une des idées qui ont conduit au calcul des séquents est de n'avoir plus que des règles d'introduction en plus d'une règle que l'on appelle coupure et de règles structurelles. Pour cela, on utilise des formules que l'on appelle des séquents et qui sont de la forme formula_34 où formula_22 et formula_36 sont des multiensembles de propositions. Le séquent formula_37 s'interprète comme l'assertion "de la conjonction des formula_38 on déduit la disjonction des formula_39". Les formula_38 sont appelés les antécédents et les formula_39 sont appelés les conséquents. Si la liste des antécédents est vide on écrit formula_42, si la liste des conséquents est vide on écrit formula_43. Un théorème est encore un séquent sans antécédents et avec un seul conséquent.  Une coupure traduit l'attitude du mathématicien qui démontre un lemme (la proposition formula_54) dont il se sert ailleurs dans la démonstration d'un théorème. Ce lemme peut exprimer quelque chose qui n'a rien à voir avec le théorème principal, d'où le souhait d'éliminer ces lemmes qui sont comme des détours dans la progression vers le résultat principal. Un affaiblissement correspond à l'ajout d'une proposition superflue soit comme antécédent, soit comme conséquent.

Exemples de théorèmes.

Nous indiquons ci-dessous une liste de théorèmes qu'on peut démontrer à l'aide des règles précédentes, ainsi que le nom usuel qui leur est attribué par la tradition.

Commentaires.

Les trois systèmes utilisent le même symbole formula_55, mais cette notation est cohérente. Le format formula_56 utilisé pour la déduction naturelle est en fait un séquent dans lequel il n'y a qu'une seule conclusion, on parle alors d'un séquent naturel. Le format formula_57 utilisé pour les théorèmes dans les systèmes à la Hilbert correspond à un séquent naturel où il n'y a pas d'hypothèse.  On peut montrer que ces trois systèmes sont équivalents dans le sens où ils ont exactement les mêmes théorèmes.  L'aspect « classique » du calcul des propositions est obtenu, dans le système à la Hilbert, par l'axiome de contraposition formula_14, il apparaît dans la déduction naturelle à travers la réduction à l'absurde. Le calcul des séquents est classique, mais si l'on se restreint aux séquents avec un seul conséquent, il devient intuitionniste.

Sémantique.

La sémantique détermine les règles d'interprétations des propositions. Attribuer des valeurs de vérité à chacune des propositions élémentaires intervenant dans une proposition revient à choisir un modèle de cette proposition.  De façon plus précise, si l'on se place en logique classique, l'interprétation d'une proposition "A" est le fait d'attribuer une valeur de vérité (0 ou 1) aux variables propositionnelles et à expliquer comment les connecteurs se comportent vis-à-vis des valeurs de vérité. On donne ce comportement par une table de vérité. De cette manière on peut donner une valeur 0 ou 1 à chaque proposition qui dépend des valeurs prises par les tables de vérité. Il existe trois cas d'interprétation:

Interprétation booléenne des connecteurs.

Nous explicitons le comportement, puis donnons la table de vérité associée  Exemple 1 : En effet, si on attribue à "A" la valeur 0, alors ¬"A" prend la valeur 1, (¬"A" → "A") prend la valeur 0, et (¬"A" → "A") → "A" prend la valeur 1. De même, si on attribue à "A" la valeur 1, alors ¬"A" prend la valeur 0, (¬"A" → "A") prend la valeur 1, et (¬"A" → "A") → "A" prend la valeur 1.  Exemple 2 : En effet, si on attribue à "A" la valeur 1, alors ¬"A" prend la valeur 0, ("A" → ¬"A") prend la valeur 0, et "A" → ("A" → ¬"A") prend la valeur 0.

Systèmes complets de connecteurs.

Une table de vérité à "n" entrées définit un connecteur "n"-aire. Un ensemble de connecteurs propositionnels est dit "complet" si tout connecteur peut se définir au moyen des connecteurs de l'ensemble. Toute table de vérité se décrit à l'aide de conjonctions de disjonctions et de négation, par exemple on décrit entièrement la table de vérité de l'équivalence ci-dessus par « "p" ↔ "q" prend la valeur vrai si et seulement si "p" et "q" prennent la valeur faux ou "p" et "q" prennent la valeur vraie », c'est-à-dire que "p" ↔ "q" ≡ (¬"p" ∧ ¬"q") ∨ ("p" ∧ "q"). Cette méthode est générale et permet de montrer que le système {¬, ∧, ∨} est un système complet de connecteurs. On en déduit que {¬, ∧}, {¬, ∨} sont aussi des systèmes complets (à cause des lois de de Morgan, "A"∨"B" ≡ ¬ (¬"A" ∧ ¬"B"), "A" ∧ "B" ≡ ¬ (¬"A" ∨ ¬"B")). L'ensemble {¬, →} est également complet : "A" ∨ "B" ≡ ¬"A" → "B".  L'ensemble constitué du seul connecteur NON-ET (noté « | » par Henry Sheffer ) est également complet, ¬"P" étant équivalent à "P"|"P" et "P"∨"Q" à ("P"|"P") | ("Q"|"Q"). Cette particularité est utilisée pour la construction de circuits logiques, une seule porte suffit alors pour concevoir tous les circuits existants.

Principales propriétés.

Le calcul propositionnel dispose donc de plusieurs moyens différents pour « valider » les propositions : les systèmes de déduction qui démontrent les "théorèmes" et les méthodes sémantiques qui définissent les "tautologies". La question qui se pose est de savoir si ces méthodes coïncident.

Décidabilité, cohérence, complétude, compacité.

Le fait que toute proposition soit démontrable si elle est une tautologie exprime une propriété du calcul propositionnel que l'on appelle la complétude, cela signifie que la présentation déductive du calcul propositionnel est équivalente à la présentation sémantique. La complétude repose sur les remarques suivantes.  L'article théorème de complétude du calcul des propositions propose une autre démonstration plus détaillée.  Il résulte de la complétude du calcul des propositions que :  Supposons donné un nombre infini de propositions. Peut-on satisfaire simultanément ces propositions? Autrement dit, existe-il des valeurs de vérité pour leurs variables propositionnelles qui donnent 1 comme valeur de vérité à toutes les propositions? Si la réponse est positive pour tout sous-ensemble fini de ces propositions, alors elle l'est pour toutes les propositions. Cette propriété, qui assure que l'on peut passer de tous les sous-ensembles finis à l'ensemble infini tout entier, est appelée la compacité.

Méthodes de calcul, NP-complétude.

Nous avons vu que, pour décider si une proposition est démontrable classiquement, il suffit de vérifier si c'est une tautologie, c'est-à-dire de vérifier si elle prend la valeur de vérité 1 quelles que soient les valeurs de vérité de ses variables propositionnelles.  Cette approche brutale se heurte cependant au temps de calcul qu'elle requiert. En effet, si la proposition possède "n" variables propositionnelles, il faut calculer 2 combinaisons de valeurs possibles pour les variables propositionnelles, ce qui devient rapidement infaisable pour "n" grand. Ainsi, si "n" = 30, il faudra énumérer plus d'un milliard de combinaisons de valeurs.  Il existe certes des améliorations possibles. Par exemple, si on attribue la valeur de vérité 0 à une variable propositionnelle "p", on peut attribuer directement la valeur 0 à formula_92 indépendamment de la valeur ultérieure attribuée à "q", ce qui diminue le nombre de calculs à effectuer.  On peut également chercher à voir s'il est possible d'invalider les implications. Considérons par exemple la proposition : Étant constituée d'une implication, pour la rendre invalide, il suffit que la conclusion formula_75 puisse prendre la valeur 0 (et donc formula_74 la valeur 1) et que l'hypothèse formula_96 puisse prendre la valeur 1 (et donc formula_97 et formula_98 la valeur 1). Mais alors formula_99 prend la valeur 0 et formula_100 ne peut plus prendre que la valeur 0. Il est donc impossible d'invalider l'implication et celle-ci est une tautologie.  Mais les améliorations précédentes ne changent pas fondamentalement la difficulté du problème. On est donc devant la situation suivante. Étant donnée une proposition "f", on se demande si "f" est une tautologie ou non et pour cela, on se demande s'il existe des valeurs de vérité attribuables aux variables propositionnelles de "f" qui rendraient "f" invalide.  La question de l'invalidité de "f", ainsi que tous les problèmes qui se résolvent suivant la méthode que nous venons d'esquisser, sont dits NP (pour polynomial non déterministe). Tester l'invalidité de "f" équivaut par des calculs très simples (en temps polynomial) à tester la satisfaisabilité de sa négation. Le problème de la satisfaisabilité d'une proposition, à savoir trouver une configuration qui donne 1 comme valeur de vérité de la proposition est appelé problème SAT (de l'anglais ""). Il joue un rôle fondamental en théorie de la complexité, puisqu'on peut montrer que la découverte d'un algorithme déterministe en temps polynomial pour ce problème permettrait d'en déduire des algorithmes déterministes en temps polynomial pour tous les problèmes de type NP (théorème de Cook). On dit que SAT (et donc également le problème de la non-démontrabilité d'une proposition) est un problème NP-complet. Le problème de la démontrabilité d'une proposition est dit co-NP (pour complémentaire de NP).  Le problème SAT désigne en fait le plus souvent celui de la satisfaisabilité d'une conjonction de clauses (un cas particulier parmi les propositions), mais on ramène le problème de la satisfaisabilité d'une proposition à celui-ci par une réduction polynomiale (une mise sous forme clausale par équisatisfaisabilité, celles par équivalence logique ne fonctionnent pas).

Algèbre de Boole.

Soit E l'ensemble des propositions sur un ensemble de variables propositionnelles. La relation binaire définie sur E par l'équivalence (classique) entre deux propositions est notée ≡. C'est une relation d'équivalence sur E, compatible avec la conjonction (qui donne la borne inférieure de deux éléments), la disjonction (qui donne la borne supérieure de deux éléments), et la négation (qui donne le complément). L'ensemble quotient E/ du calcul propositionnel.  Dès que l'ensemble des variables propositionnelles est infini, l'algèbre de Lindenbaum des formules propositionnelles ne possède aucun atome, c'est-à-dire aucun élément non nul minimal (pour toute formule qui n'est pas une antilogie, on obtient un élément strictement inférieur par conjonction avec une variable propositionnelle non présente dans la formule). Ceci la distingue de l'algèbre de Boole de toutes les parties d'un ensemble, qui a pour atomes les singletons de celui-ci.  Les algèbres de Heyting ont été définies par Arend Heyting pour interpréter la logique intuitionniste.

Formes normales conjonctives, formes normales disjonctives.

Une disjonction est une proposition de la forme formula_101 et une conjonction est une proposition de la forme formula_102. Une proposition est en forme normale conjonctive (FNC) si elle est composée de conjonctions de disjonctions. Une proposition est en forme normale disjonctive (FND) si elle est composée de disjonctions de conjonctions.  Exemples :  Lorsque chaque bloc disjonctif d'une FND comporte une et une seule occurrence des mêmes variables propositionnelles, on parle alors de FND "distinguée".  Lorsque chaque bloc conjonctif d'une FNC comporte une et une seule occurrence des mêmes variables propositionnelles, on parle alors de FNC "distinguée".  Exemples :  On peut montrer que toute proposition est équivalente à une FND (en admettant que formula_65 est la disjonction d'un ensemble vide de propositions) et est équivalente à une FNC (en admettant que T est la conjonction d'un ensemble vide de propositions). Autrement dit, pour toute proposition formula_74 il existe une proposition formula_112 en forme normale disjonctive telle que formula_74formula_114formula_115 et une proposition formula_116 en forme normale conjonctive telle que formula_74formula_114formula_116.

Logique classique, minimale, intuitionniste.

Les axiomes et règles du calcul propositionnel que nous avons présentés sont ceux de la logique classique. Ils induisent la proposition p ∨ ¬p, appelée principe du tiers exclu, la proposition ¬¬ p → p, appelée élimination de la double négation et la proposition ((p → q) → p) → p appelée loi de Peirce. Cette logique repose sur le principe qu'une propriété P est nécessairement vraie ou fausse. Il est l'un des piliers de la position qualifiée de formaliste, adoptée par Hilbert et d'autres. Or cette position qui implique qu'il y a des démonstrations qui ne construisent pas l'objet satisfaisant la proposition prouvée a été remise en cause par plusieurs mathématiciens, dont le plus connu est Brouwer conduisant à créer par la suite la logique intuitionniste.  Il existe des variantes de logique non classique, notamment la logique minimale de Ingebrigt Johansson (1936) et la logique intuitionniste de Heyting (1930). Les connecteurs primitifs sont →, ∧, ∨ et ¬. Ces variantes diffèrent l'une de l'autre par le choix des axiomes qu'elles utilisent.

Logique absolue.

La logique absolue utilise les axiomes suivants relatifs à l'implication, la conjonction et la disjonction. Elle ne traite pas de la négation.  Axiomes de l'implication (ce sont les deux premiers axiomes de la logique classique) :  Axiomes de la conjonction formula_122 :  Axiomes de la disjonction formula_126, (duaux des précédents) :  L'ensemble des théorèmes de cette logique est inclus strictement dans l'ensemble des théorèmes de la logique classique qui n'utilisent pas la négation. Il est impossible par exemple d'y prouver la formule formula_130 ou la loi de Peirce formula_131.

Logique positive.

Si on adjoint aux axiomes ax.1 à ax.8 l'axiome suivant : on obtient la logique positive. L'ensemble des théorèmes de cette logique est identique à l'ensemble des théorèmes de la logique classique qui n'utilisent pas la négation.

Logique minimale.

Si on adjoint aux axiomes ax.1 à ax.8 les deux axiomes suivants, relatifs à la négation : on obtient la logique minimale. Le premier axiome définit le comportement de la logique vis-à-vis d'une contradiction. Le second axiome exprime que, si "p" implique sa propre négation, alors "p" est invalide.

Logique intuitionniste.

La seule différence entre la logique intuitionniste et la logique minimale porte sur l'axiome ax.10 qu'on remplace par :  En présence d'une proposition et de sa négation, les trois logiques, classique, intuitionniste et minimale, concluent toutes trois à une contradiction ⊥. Mais la différence porte sur l'utilisation que l'on fait de cette contradiction :  Logique minimale et logique intuitionniste ont toutes deux la proposition ¬(p ∧ ¬p) comme théorème. En revanche, p ∨ ¬p n'est pas un théorème de ces logiques.  De même, elles permettent de démontrer p → ¬¬p mais pas la réciproque. Par contre, elles permettent de démontrer l'équivalence entre ¬p et ¬¬¬p. Enfin, la proposition (¬p ∨ q) → (p →q) est un théorème de la logique intuitionniste, mais pas un théorème de la logique minimale.  Enfin, pour avoir une démonstration de "p ∨ q" en logique intuitionniste, il faut soit une démonstration de "p" soit une démonstration de "q", alors qu'en logique classique, une démonstration de "¬(¬p ∧ ¬q)" suffit.

Calcul propositionnel quantifié.

On peut introduire les quantificateurs "∃" (il existe) et "∀" (quel que soit) pour quantifier les propositions (ce qui est à distinguer de la quantification du calcul des prédicats). Ainsi, pour exemples, on aura comme formules valides du calcul propositionnel quantifié, appelé aussi calcul propositionnel du second ordre :

Le calcul des propositions ou calcul propositionnel fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts. Il est considéré comme la forme moderne de la logique stoïcienne.

V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky).


Synopsis.

En 2285, au cours de leur mission de sauvetage sur Genesis, l’"Enterprise" a été détruit. C'est donc aux commandes d'un oiseau de proie Klingon volé que Kirk, Spock, McCoy, Sulu, Uhura, Chekov, Scotty et Saavik sont revenus sur Vulcain.  Ils décident alors de rentrer sur Terre pour être traduits en cour martiale mais une surprise de taille les attend à leur retour...  La Terre est sous la menace d'une curieuse sonde extraterrestre qui émet des signaux qui semblent correspondre aux chants des baleines à bosse, toutes disparues à cette époque. Kirk et son équipage devront entreprendre un périlleux voyage dans le temps pour tenter de ramener un couple de ces baleines à bosse avant que la sonde ne détruise la Terre.  Ce retour dans le passé a fragilisé les cristaux de, ce qui risque de poser quelques difficultés pour repartir, sans compter que le ne pourra plus cacher le vaisseau klingon.  Par bonheur, l'équipage trouvera dans la même ville, San Francisco, tout ce qu'il lui faudra :  Cela permettra de créer trois petites équipes vivant des aventures palpitantes en se lançant dans l'inconnu, notre civilisation d'aujourd'hui étant dépeinte comme une culture très primitive et paranoïaque (, dira McCoy).  Ainsi, ce sera l'opportunité pour le très sérieux Vulcain de distraire le public en utilisant mal à propos les injures qui fleurissent dans le langage du :  Les deux officiers trouveront un couple de baleines baptisées George et Gracie, « protégées » par le Gillian Taylor, qui rappelle le thème écologique du film :. Ils devront se dépêcher de les « emmener » avec eux, car faute de budget, Gillian sera obligé de rendre le couple aux océans.  Pendant que Kirk et Spock font plus ample connaissance avec la spécialiste en cétacés, Chekov et Uhura ont trouvé le vaisseau nucléaire qui s'appelle aussi "Enterprise" dans la base navale d'Alameda, et Scott enseigne au. Nichols de la Plexi-Corp comment créer une plaque d'aluminium transparente de d'épaisseur pour résister à la pression de d'eau.  Si cet aquarium sera prêt juste à temps pour le lendemain, le vaisseau klingon lui n'est toujours pas prêt. L'énergie est si faible qu'il est impossible d'y téléporter Chekov qui est ainsi découvert par les "marines" à proximité du réacteur nucléaire du navire américain. Cette situation n'est guère confortable pour un « Russkof » qui s'identifie : et semble se moquer de l'agent du FBI à cause des malentendus. Jouant de malchance en tentant de s'enfuir du bateau, Chekov fait une chute qui le conduit dans un état critique au bloc opératoire de l'Hôpital de la Miséricorde. Mais heureusement McCoy est là pour le sauver.  Pendant ce temps, Gillian qui a découvert le vaisseau de Kirk et Spock, les informe que les baleines ont été transportées en Alaska plus tôt que prévu. C'est "in extremis" que le couple de cétacés est sauvé d'un baleinier prêt à les harponner.  Le retour au se fera avec une grande précision bien que Spock soit obligé de presque tout calculer de mémoire et même de deviner () les paramètres inconnus. Les baleines répondront à temps à l'étrange vaisseau qui absorbait toute énergie avoisinante et était sur le point de détruire la Terre. La « baleine » extraterrestre, satisfaite de ce contact, s'en retourne laissant tout redevenir normal : la Terre est sauvée.  Finalement, le procès ne retiendra que l'insubordination de Kirk, et l'Amiral redeviendra à son grand plaisir le capitaine de l’"Enterprise-A".

Production.

Développement.

Avant même la sortie en salles de "", Leonard Nimoy se voit à nouveau proposer la réalisationdu prochain film. Ayant eu de nombreuses contraintes sur le précédent, la Paramount lui donne une grande liberté pour ce. Par opposition au précédent, très dramatique, Leonard Nimoy et le producteur Harve Bennett souhaitent ici un film plus léger qui n'aurait pas réellement de méchant. Comme William Shatner n'est pas sûr de reprendre son rôle de James T. Kirk, Leonard Nimoy et Harve Bennett envisagent alors une préquelle, imaginée par Ralph Winter, qui verrait les personnages principaux à l'Académie de Starfleet. Finalement William Shatner accepte de revenir après une augmentation de salaire. Comme William Shatner, Leonard Nimoy obtient un salaire de, moins que leur demande originale, mais la Paramount avait décidé de réduire tous les salaires en vue du développement de la nouvelle série télévisée "".  Leonard Nimoy et Harve Bennett développent très tôt une histoire autour du voyage dans le temps dans laquelle l'équipage de l’"Enterprise" est contraint de se rendre en 1986 pour trouver un élément qui n'existe qu'à cette époque. Ils envisagent plusieurs pistes comme des luthiers, le forage du pétrole ou encore une maladie dont le traitement a détruit les forêts humides. Sur les conseils d'un ami, Leonard Nimoy développe une idée autour des mystérieux chants des baleines à bosse.  Leonard Nimoy approche ensuite le scénariste du "Flic de Beverly Hills", Daniel Petrie Jr., pour écrire le scénario d'après cette idée. Jeffrey Katzenberg pense que c'est. Fan de "Star Trek", Eddie Murphy souhaite un rôle. Lui et Leonard Nimoy pensent que sa présence pourrait attirer de nombreux spectateurs en dehors des fans de la franchise mais que cela peut tout aussi bien être ridicule. Steve Meerson et Peter Krikes sont engagés pour écrire un script dans lequel Eddie Murphy incarne un professeur d'université croyant aux extra-terrestres et spécialiste du chant des baleines. L'acteur n'est cependant pas séduit par l'idée, car il voulait jouer un alien ou un officier de Starfleet. Il quitte alors le projet et participe à "" (1986), ce qu'il regrettera par la suite. Le personnage du professeur est alors combiné pour devenir Gillian Taylor.  Insatisfait du script, le studio demande à Nicholas Meyer, scénariste et réalisateur de "", d'aider à sa réécriture. Il décide cependant avec Harve Bennett de se partager les tâches : Bennett se charge de la première partie jusqu'au voyage dans le temps, Meyer écrit la seconde qui se déroule au siècle, alors que Bennett s'occupe de la fin. Après 12 jours d'écriture, Nicholas Meyer et Harve Bennett combinent leur travail. Dans cette version, Gillian Taylor reste en 1986 pour s'assurer de la survie des baleines, malgré un éventuel paradoxe temporel. Nicholas Meyer préfère cette fin qu'il juge plus logique. Ils suppriment ensuite certaines idées de Steve Meerson et Peter Krikes comme celle où un oiseau de proie klingon passe au-dessus du Super Bowl ou encore celle de Saavik retournant sur Vulcain car elle est enceinte de Spock.  Leonard Nimoy expliquera plus tard que Nicholas Meyer a ajouté au script l'humour et la satire sociale qu'il souhaitait depuis le départ. Après que Nimoy, Bennett et Meyer soient satisfaits de leur travail, le script est présenté à William Shatner, qui demande quelques réécritures. Le scénario est présenté aux exécutifs de la Paramount qui sont également enchantés.

Distribution des rôles.

Eddie Murphy devait jouer à l’origine un rôle qui est finalement devenu celui incarné par Catherine Hicks. Ce personnage devait être un professeur spécialiste d'ufologie qui découvrirait un vaisseau klingon durant le Super Bowl. Cependant, la Paramount s'opposa à cette idée car Eddie Murphy était la vedette de la franchise "Le Flic de Beverly Hills" et le studio ne voulait pas d'amalgame avec son autre franchise, "Star Trek". Catherine Hicks a été choisie alors qu'elle ignorait tout de l'univers "Star Trek".

Tournage.

Le tournage a lieu du au.  Les premières scènes tournées sont celle du vaisseau USS "Saratoga". Le décor utilisé est celui du pont du "Grissom" dans "", ainsi qu'une partie du pont de l’"Enterprise" utilisé dans "Star Trek, le film".  Selon George Takei, lorsque McCoy, Scotty et Sulu se trouvent devant un building avec une publicité pour les pages jaunes, une porte s'ouvre et une femme asiatique sort dans la rue. La scène s'arrête ici mais à l'origine un petit garçon asiatique nommée Hikaru devait bousculer la femme. Sulu réalise alors que ce garçon est l'un de ses ancêtres. Finalement, l'enfant choisi pour tourner la scène n'a pu le faire. Du coup, la scène n'a pas été tournée.  L'aquarium de la baie de Monterey est utilisé pour les scènes à l'institut des cétacés.  Le site de Vasquez Rocks, au nord de Los Angeles, est utilisé pour la planète Vulcain.

Musique.

Après avoir composé la musique de "" et "", James Horner ne souhaite pas revenir une. Leonard Nimoy contacte son ami Leonard Rosenman, qui a notamment travaillé sur plusieurs films de la saga "La Planète des singes". Le compositeur signe un arrangement avec Alexander Courage pour utiliser le thème de la série originale pour le générique d'entrée du film, mais Leonard Nimoy lui demande une composition originale. Le critique musical Jeff Bond écrira que c'est l'un des thèmes les plus originaux des films "Star Trek".

Accueil.

Critique.

Le film reçoit globalement des critiques positives à sa sortie. Leonard Nimoy déclare qu'à l'époque il s'agit du film "Star Trek" le mieux accueilli, aussi bien que pour le grand public que pour les fans de la franchise.  Paul Attanasio du "Washington Post" décrit le film.  Dans "The New York Times", Janet Maslin adment que le pitch est, elle écrit qu'il assure la longévité de la saga. Rushworth Kidder du "Christian Science Monitor" apprécie le film parce qu'il propose quelque chose de différent au public, sans meurtre ni violence et sans antagoniste. La critique du "Courier Mail" souligne l'humour du film, plus que drôle que ses prédécesseurs, ainsi que le travail des acteurs, scénaristes et du réalisateur. David Ansen de "Newsweek" considère ce film comme le plus léger de la saga, mais comme celui qui se rapproche le plus de l'esprit de la série télévisée originale. Liam Lacey de "The Globe and Mail" écrit une critique assez négative, mettant en cause la mise en scène de Leonard Nimoy, le timing comique et son humour assee faible.  Les effets spéciaux sont globalement bien accueillis par la presse. La critique de "USA Today" souligne que le manque d'effets spéciaux permet parfois à la distribution de prouver qu'ils sont des acteurs capables, plus que dans les précédents films.  En 2001, la critique pour une retrospective de la BBC le présente comme l'un des épisodes les plus forts de la saga, prouvant que la franchise peut exister sans action dans l'espace et sans l'iconique USS "Enterprise".  En 2018, "Popular Mechanics" classe la scène dans laquelle Chekov parle des engins nucléaires parmi les 50 meilleurs moments de la science-fiction.

Box-office.

C'est l'un des meilleurs films de la saga au box-office américain, arrivant sur 12, juste derrière le reboot "Star Trek" et sa suite "Star Trek Into Darkness". C'est donc le meilleur film au box-office de la première saga.

Analyse.

Ce film clôt une intrigue débutée dans "". On peut considérer qu'il marque le retour de toute l'équipe au sein de Starfleet.  Dans "", Spock meurt ; dans "" il réapparaît, mais n'est plus lui-même, et dans "Retour sur Terre," il achève sa résurrection. De plus, Kirk rachète ses fautes en sauvant encore une fois la Terre. Malgré le vol et la perte de l’"Enterprise", son insubordination, et la bataille contre un oiseau de proie klingon, sa sanction n'est qu'une dégradation d'amiral à capitaine. Ce qui lui donne l'opportunité, encore une fois, de commander un vaisseau spatial.  Ce film est le plus « léger » des "Star Trek". On y découvre l'humour de Leonard Nimoy, réalisateur de "Trois Hommes et un bébé" sorti l'année suivante, rompant ainsi avec l'image d'acteur « cérébral » qu'il a acquise tout au long de sa carrière. Si les quiproquos de Spock sont ironiques, ceux de Scott sont plus cocasses comme lorsqu'il empoigne la souris de l'ordinateur de bureau du comme un microphone et dicte :. Chekov joue le perpétuel gaffeur et McCoy l'éternel bougon critiquant. Enfin, les dernières images de l'amerrissage du vaisseau klingon montrent un Spock rigolant que Kirk s'amuse à jeter à l'eau.

Star Trek 4 : Retour sur Terre ("Star Trek IV: The Voyage Home") est un film américain de science-fiction réalisé par Leonard Nimoy et sorti en 1986.

Star Trek IV: Cesta domů (též Star Trek IV: Návrat domů, v anglickém originále Star Trek IV: The Voyage Home) je americký sci-fi film studia Paramount Pictures a režiséra Leonarda Nimoye (hrajícího pana Spocka), čtvrtý na motivy Star Treku. Do kin byl uveden v roce 1986 a celosvětově vydělal 133 milionů dolarů. Děj přímo navazuje na předchozí snímek "" (1984), admirál James T. Kirk se vrací se svojí posádkou z planety Vulkán zpět na Zemi, kterou ale ohrožuje mimozemská sonda. Kirk se s přáteli a s hvězdnou lodí přesune do minulosti (konkrétně do roku 1986), odkud musí přivézt velryby, ve 23. století již vyhubené, jež jsou jako jediné schopny sondě odpovědět a zachránit tak celou planetu.


Définition.

Le système binaire le plus courant est la base deux mathématique, permettant de représenter des nombres à l'aide de la numération de position avec seulement deux chiffres : le 0 et le 1.  Dans ce type de codage, chaque nombre est représenté de façon unique par une suite ordonnée de chiffres. Et chaque position "m" représente une puissance ("m" − 1) de la "base". Si l'on se limite dans un premier temps aux nombres entiers positifs, en base dix ces puissances sont : un (1), dix (représenté par 10), cent (dix fois dix, représenté par 100), mille (dix fois cent, représenté par 1000), dix mille, etc. En base deux, ces puissances sont : un (1), deux (représenté lui aussi par 10), quatre (deux fois deux, représenté par 100), huit (deux fois quatre, représenté par 1000), seize (deux fois huit, représenté par 10000), etc.  On voit que la signification des représentations 10, 100, 1000, etc. dépend de la base utilisée : 10 est toujours égal à la base, c'est-à-dire "dix" en base dix, mais "deux" en base deux.  En base dix, on utilise dix chiffres, de zéro à neuf ; en base "n", on utilise "n" chiffres, de zéro à "n" – 1 ; donc en base deux on utilise les deux chiffres « 0 » et « 1 ».  Un nombre qui s'exprime en base "B" par les quatre chiffres 1101 s'analyse :  formula_1, qui donne :

Énumération des premiers nombres.

Les premiers nombres, et chiffres de la base de numération 10, s'écrivent :  On donne à chaque bit une puissance de deux, comme cette suite 1, 2, 4, 8, 16, 32, 64. Pour obtenir le nombre 7, on additionne les trois premiers bits; pour obtenir 6, on additionne seulement le bit de poids 4 et le bit de poids 2.

Opérations.

Les techniques des quatre opérations de base (addition, soustraction, multiplication et division) restent "exactement les mêmes" qu'en notation décimale ; elles sont juste simplifiées de façon drastique parce qu'il n'y a que les deux chiffres 0 et 1. Pour la multiplication par exemple, quelle que soit la base, la multiplication par 10 (c’est-à-dire par la base elle-même) se fait en ajoutant un zéro à droite.  Seules changent d'une part la forme de la suite de chiffres qui exprime le résultat (elle ne compte que des zéros et un), d'autre part la signification de cette suite (10 signifie « deux » et non « dix », 100 signifie « quatre » et non « cent », etc.).

Addition et soustraction.

On passe d'un nombre binaire au suivant en ajoutant 1, comme en décimal, sans oublier les retenues et en utilisant la table ordinaire (mais réduite à sa plus simple expression) : On constate que l'addition de deux bits A et B donne A XOR B avec une retenue valant A ET B.  Ainsi : Détail :

Multiplication et division.

Multiplier par deux se fait en décalant chaque chiffre d'un cran à gauche et en insérant un zéro à la fin.
Par exemple, deux fois onze :  La division entière par deux se fait en décalant chaque chiffre d'un cran à droite, le chiffre de droite étant le reste supprimé.
Par exemple onze divisé par deux :

Théorie informatique.

L'arithmétique binaire (plus simplement le calcul binaire) est utilisée par les systèmes électroniques les plus courants (calculatrices, ordinateurs, etc.) car les deux chiffres 0 et 1 s'y traduisent par la tension ou le passage d'un courant. Par exemple, le 0 peut être représenté par l'état bas (tension ou courant nul) et 1 par l'état haut (tension qui existe, courant qui passe).

Représentation des entiers négatifs.

Pour compléter la représentation des entiers, il faut pouvoir écrire des entiers négatifs. Deux représentations existent, le complément à un et le complément à deux.

Complément à un.

Ce codage consiste à inverser la valeur de chaque bit. <br>Par exemple pour obtenir −7 :  Un défaut de ce système est que zéro a deux représentations : 0000 et 1111 (« +0 » et « −0 »). Il n'est pas utilisé par les ordinateurs courants, mais l'était par des ordinateurs anciens comme le Control Data 6600. Les deux représentations du zéro compliquent les circuits de test.

Complément à deux.

Le complément à deux consiste à réaliser un complément à un, puis d'ajouter 1. <br>Par exemple pour obtenir −7 :  Ce codage a l'avantage de ne pas nécessiter de différenciation spéciale des nombres positifs et négatifs, et évite en particulier le problème de double représentation du zéro  Voici une addition de −7 et +9 réalisée en complément à deux sur 4 bits :  Avec "n" bits, ce système permet de représenter les nombres entre −2 et 2 − 1.

Entre les bases 2, 8 et 16.

Du binaire vers octal ou hexadécimal.

Les bases 8 (octale) et 16 (hexadécimale) sont des bases puissances de la base 2. Ces deux bases sont couramment employées en informatique et pour des raisons pratiques; ces bases étant fortement liées à la base 2 et les nombres écrits dans ces bases étant plus « manipulables » (car d'écriture plus courte) par l'intellect humain. L'écriture de nombres dans ces bases est facilement obtenue par regroupement de chiffres de l'écriture du nombre en base 2.  On pourrait facilement étendre ce principe à toutes les bases qui sont puissances de 2.

Vers le binaire.

Il suffit de convertir la valeur de chacun des chiffres sous leur forme binaire en utilisant un nombre de chiffres correspondant à la puissance de la base : 16 = 2, 8 = 2, donc 4 chiffres pour l'hexadécimal et 3 pour l'octal :

Code de Gray ou binaire réfléchi.

Le code de Gray, également appelé binaire réfléchi, permet de ne faire changer qu'un seul bit à la fois quand un nombre est incrémenté ou décrémenté d'une unité. Le nom du code vient de l'ingénieur américain Frank Gray, qui déposa un brevet sur ce code en 1947.  Pour calculer directement le code de Gray d'un entier à partir de celui de son prédécesseur on peut procéder ainsi :

Décimal codé binaire (DCB, ou BCD pour "").

Afin de concilier la logique binaire de l'ordinateur avec la logique humaine, on peut convertir en binaire, plutôt que les nombres eux-mêmes, chacun des chiffres qui les composent en notation décimale positionnelle. Chacun de ces chiffres est alors codé sur 4 bits :  Avec n bits (n multiple de 4), il est possible de représenter les nombres entre 0 et 10-1. Soit approximativement entre 0 et 1.778-1. Le DCB est un code redondant, en effet certaines combinaisons ne sont pas utilisées (comme 1111 par exemple).  Cette représentation évite par construction tous les problèmes gênants de cumul d'arrondi qui interviendraient lors de la manipulation de grands nombres dépassant la taille des circuits en arithmétique entière et obligent à recourir au flottant. Il est cependant possible de manipuler des nombres à précision arbitraire en utilisant un codage plus efficace que le DCB.  Il existe des variantes du codage DCB :

Applications.

Théorie de l'information.

En théorie de l'information, l'entropie d'une source d'information est exprimée en "bits". La théorie elle-même est indifférente à la représentation des grandeurs qu'elle utilise.

Logique.

La logique classique est une logique bivalente: une proposition est soit vraie, soit fausse. Il est donc possible de représenter la vérité d'une proposition par un chiffre binaire. On peut par exemple modéliser les opérations de l'arithmétique binaire à l'aide de l'algèbre de Boole.  L'algèbre de Boole représente un cas très particulier d'usage des probabilités ne faisant intervenir que les seules valeurs de vérité 0 et 1. Voir Théorème de Cox-Jaynes.

Informatique.

Le binaire est utilisé en informatique car il permet de modéliser le fonctionnement des composants de "commutation" comme le TTL ou le CMOS. La présence d'un seuil de tension aux bornes des transistors, en négligeant la valeur exacte de cette tension, représentera 0 ou 1. Par exemple le chiffre 0 sera utilisé pour signifier une absence de tension à près, et le chiffre 1 pour signifier sa présence à plus de. Cette "marge de tolérance" permet de pousser les cadences des microprocesseurs à des valeurs atteignant plusieurs gigahertz.  En informatique, la représentation binaire permet de clairement manipuler des bits : chaque chiffre binaire correspond à un bit. Cependant, la représentation binaire nécessitant l'usage de beaucoup de chiffres (même pour des nombres assez petits), elle entraîne d'importants problèmes de lisibilité et donc de "risques d'erreur" de transcription pour les programmeurs. On préfère donc d'autres "représentations" : la notation hexadécimale, qui permet de manipuler l'information par paquets de 4 bits, est adaptée à la quasi-totalité des microprocesseurs actuels travaillant avec des mots de 8, 16, 32 ou 64 bits ; plus rare, la notation octale, populaire du temps des premiers mini-ordinateurs DEC à 12 ou 36 bits, qui permet de représenter l'information par paquets de 3 bits.

Le système binaire est le système de numération utilisant la base 2. On nomme couramment bit (de l'anglais "", soit « chiffre binaire ») les chiffres de la numération binaire positionnelle. Un bit peut prendre deux valeurs, notées par convention 0 et 1.

Dvojková soustava (binární soustava) je číselná soustava, která používá pouze dvě číslice: 0 a 1. Dvojková soustava je poziční číselná soustava se základem 2, každá číslice tedy odpovídá "n"-té mocnině čísla dvě, kde "n" je pozice dané číslice v zapsaném čísle. Takto zapsané číslo se nazývá binární číslo.


Nom des livres bibliques.

Le texte hébreu ne consistait originellement qu'en consonnes, avec des lettres utilisées de façon inconstante comme des voyelles (""). Au cours du Haut Moyen Âge, les Massorètes codifièrent la tradition orale de lecture du Tanakh en ajoutant deux types spéciaux de symboles au texte : les signes de "" (ponctuation à fonction de voyelles) et de cantillation, ces derniers indiquant la syntaxe, l'accent tonique et la mélodie pour la lecture.  Les Livres de la "Torah" ont des noms d'usage basés sur le premier mot significatif de chaque livre. Les noms en français n'en sont pas la traduction : ils sont basés sur les noms grecs créés pour la, lesquels étaient eux-mêmes basés sur les noms rabbiniques décrivant le contenu thématique des Livres.  Les noms entre parenthèses sont ceux sous lesquels les Livres sont connus dans le monde chrétien.  La Torah ( « Loi ») également connue sous le nom de Pentateuque se constitue de :  Les (, « Prophètes ») sont :  Les (, « Écrits ») consistent en :

Chapitres, versets et division des Livres.

Alors que les Chrétiens lisent la Bible dans des livres, les Juifs la lisent (du moins pour l'usage rituel) dans un rouleau. La division en chapitres et versets n'a donc aucune signification dans la tradition juive, qui divise la Torah en "" (péricopes, sections), elles-mêmes divisées en sept parties thématiques, et les autres Livres selon les épisodes narratifs. Elle a néanmoins été ajoutée dans la plupart des éditions modernes du Tanakh, afin de faciliter la localisation et la citation de ceux-ci. La division de Samuel, Rois, et Chroniques en et est également indiquée sur chaque page de ces livres, afin d'éviter toute confusion dans la capitation de ces Livres, celle-ci suivant la tradition textuelle chrétienne.  L'adoption de la capitation chrétienne par les Juifs commença en Espagne, aux alentours du, en partie du fait des disputations, des débats œcuméniques forcés dans le contexte de l'Inquisition espagnole naissante. Les débats requéraient en effet un système de citation biblique commun. Du point de vue de la tradition textuelle juive, la division en chapitres est non seulement une innovation étrangère sans aucun fondement dans la "", mais elle est également fort critiquable car :  Néanmoins, comme leur utilité a été prouvée pour les citations, elles continuèrent à être incluses par les Juifs dans la plupart des éditions hébraïques des textes bibliques, et même de textes sacrés non bibliques y ayant fréquemment recours, comme le Talmud. Pour plus d'informations sur l'origine des divisions, voir capitation biblique.  Les nombres des chapitres et des versets étaient souvent indiqués de façon proéminente dans les anciennes éditions, comme dans la Bible du Rabbinat, au point de recouvrir les divisions massorétiques traditionnelles. Cependant, dans de nombreuses éditions juives du Tanakh publiées au cours des quarante dernières années, il s'est produit une tendance notable à en minimiser l'impact sur les pages imprimées.  La plupart des éditions réalisent ce but en reléguant la numération en marge des Textes. Le Texte de ces éditions est ininterrompu tout au long des chapitres (dont le début est uniquement notifié en marge). L'absence de capitation dans ces éditions renforce également l'impact visuel créé par les espaces et « paragraphes » des pages, qui indiquent la division traditionnelle juive en "".  Ces éditions modernes présentent les Livres de Samuel, des Rois, des Chroniques et d'Ezra comme un seul livre dans leur table des matières, et ne font aucune mention dans le texte de leur division en deux parties (bien qu'elle soit notée dans les marges supérieures et latérales). Le texte de, par exemple, suit celui de sur la même page, sans espacement particulier entre eux dans le flux du texte, et peut même continuer sur la même ligne de texte.

Torah écrite () et Torah orale ().

Le judaïsme rabbinique enseigne que la Torah fut transmise en parallèle avec une tradition orale qui la complète. Cette croyance n'est pas partagée par les Juifs karaïtes, les Beta Israël, les Samaritains, ainsi que la majorité des Chrétiens, à l'exception de certains groupes messianiques.  Selon les tenants de la loi orale, de nombreux termes et définitions utilisés dans la loi écrite ne sont pas définis dans la Torah elle-même, ce qui suppose de la part du lecteur une familiarité avec le contexte et le détail, lesquels ne pourraient être connus que via une antique tradition orale.  Les opposants à la tradition orale objectent que, de l'important corpus des travaux rabbiniques, seule une partie sert à clarifier effectivement le contexte. Ces travaux rabbiniques, collectivement connus comme « la Loi orale » [], incluent la, la, les deux Talmuds (de Babylone et de Jérusalem), ainsi que les premières compilations du.

Tanakh (en hébreu ) est l'acronyme de l’hébreu « - - », en français : « », formé à partir de l'initiale du titre des trois parties constitutives de la Bible hébraïque :

Tanach () je akronym, kterým se v židovství označují posvátné spisy, které jsou součástí Bible (resp. Starého zákona). Jelikož jsou (na rozdíl od Nového zákona) psány hebrejsky, označují se někdy také jako hebrejská bible. Akronym "Tanach" vznikl z počátečních písmen názvů jednotlivých sbírek těchto spisů ("t-n-k"):


Vocabulaire.

Albert Vandal définit le coup d'État par : « un acte violent d'une partie des pouvoirs publics contre l'autre ». Cette définition s'appuie sur l'observation de trois « coups d'État », celui du 18 fructidor de l'an V, celui du 18 brumaire de l'an VIII et celui du 2 décembre 1851. En effet ces trois coups ont été menés par le pouvoir exécutif contre le pouvoir législatif. Il est également à noter que lors du coup d'État du 22 floréal de l'an VI mis en œuvre par le Directoire et les Conseils contre le corps électoral, les candidats, nettement battus aux élections pour les Cinq-cents, furent cependant, en vertu d'une loi spéciale, déclarés élus à la place de leurs adversaires.  Le mot "putsch", d'origine suisse allemande, précise que le coup d'État s'opère par la force armée. Il est communément utilisé en français, plus rarement en anglais qui utilise la formule française ou sa version abrégée, "coup". Le terme "putsch" a été popularisé par les coups d'État manqués de 1920 et 1923 en Allemagne (putsch de Kapp à Berlin et putsch de la Brasserie à Munich). L'expression « coup d'État » est passée notamment en indonésien ("kudeta") et en japonais (クーデター, "kūdetā"). Le terme "pronunciamiento", repris de l'espagnol, désigne quant à lui des soulèvements militaires d'une typologie différente. Dans cette langue, l'expression "golpe de Estado" traduit littéralement la locution nominale de « coup d'État ».

Techniques.

Prise des organes centraux du pouvoir.

Le secret, non seulement vis-à-vis de l'extérieur mais aussi vis-à-vis des autres comploteurs, constitue la première arme des putschistes, celle sans laquelle les meilleures préparations risquent de s'effondrer.  Ainsi, l'une des raisons de l'échec du putsch de Kapp à Berlin en 1920, fut-elle le manque de discrétion du général von Luttwitz, chef militaire de l'opération, qui alla présenter le soir du 10 mars un ultimatum aux gouvernants socialistes, et leur laissa 48 heures pour se retourner, avant de déclencher le putsch militaire annoncé, dans la nuit du 12 au 13 mars 1920.  C'est ainsi que, lors de la préparation du putsch du 8 novembre 1942 à Alger (destiné à permettre le succès de l'Opération Torch), le jeune chef des groupes d'action d'Alger, José Aboulker, refusa, bien qu'il lui fît confiance, de donner à Henri d'Astier de La Vigerie, responsable de la conjuration pour l'Afrique du Nord, les noms de ses chefs de groupes avant les deux derniers jours précédant l'action. Lorsque les patriotes passèrent à l'action, la surprise fut si totale que ces 400 civils mal armés, commandés par leurs officiers de réserve, réussirent à neutraliser, à eux seuls, le corps d'armée vichyste d'Alger. En effet, les autorités vichystes, libérées au bout de quelques heures, s'efforcèrent, sans même y parvenir, de reconquérir complètement la ville au lieu d'attaquer les forces alliées sur les plages. Si bien que ces dernières purent débarquer sans résistance, encercler Alger et capturer ce grand port intact le soir même du débarquement.  La technique de base du coup d'État consiste à s'emparer des organes centraux de l'État ou à les neutraliser, en occupant leurs lieux de fonctionnement qui sont aussi les lieux symboliques du pouvoir. C'est ainsi que procéda Napoléon Bonaparte, lors de son coup d'État du 18 brumaire. Disposant de l'appui de l'armée, il lui fallait contrôler le pouvoir civil. Or, sous le Directoire, la France disposait d'un exécutif tournant formé de 5 directeurs qui se succédaient, à tour de rôle, pendant des périodes limitées à quelques semaines, si bien qu'il ne suffisait pas de contrôler cet exécutif tournant, car la réalité du pouvoir civil résidait dans un parlement affaibli lui-même par sa division en deux chambres. C'est pourquoi Bonaparte, en accord avec deux directeurs, Emmanuel-Joseph Sieyès et Roger Ducos, se préoccupa surtout de disperser ce parlement, dont l'une des chambres, le Conseil des Cinq-Cents, était présidée par son frère Lucien Bonaparte. Mais au lieu d'annoncer brièvement sa prise de pouvoir aux parlementaires, Bonaparte trouva le moyen de s'égarer dans un discours ampoulé, et se fit assaillir par plusieurs élus. Si bien que le coup d'État ne fut sauvé que par son frère, qui ordonna aux grenadiers de rétablir l'ordre en dispersant les élus récalcitrants. Bonaparte constitua alors un Conseil exécutif de 3 membres composé de lui-même, de Siéyès et de Ducos, que le Conseil des Anciens transforma le lendemain en Commission consulaire exécutive.  Mais il ne suffit pas de s'emparer des organes centraux de l'État. Il faut aussi arrêter les gouvernants, faute de quoi il leur sera loisible d'organiser une riposte. C'est ce qui advint à Berlin, en 1920, où les ministres socialistes, avertis à l'avance par l'ultimatum du chef militaire des putschistes, prirent le large avant l'arrivée du corps franc Ehrhardt. Après quoi, une fois réfugiés en province, ils appelèrent avec succès la population à une grève générale dont le succès leur permit de reprendre le pouvoir.

Régularisation des prises de pouvoir.

À l'occasion d'un coup d'État, un « vide » constitutionnel et institutionnel apparaît. Il est donc nécessaire, généralement, de régulariser ce vide en fondant une nouvelle Constitution, permettant ainsi l'exercice d'un nouveau pouvoir constituant originaire.  C'est ainsi que la Commission consulaire exécutive présidée par Bonaparte présenta, le 22 frimaire, son projet de constitution consulaire aux deux Conseils des Anciens et des Cinq-Cents qui l'entérinèrent, faisant ainsi entrer le nouveau régime dans la légalité. La prise de pouvoir de De Gaulle en 1958,, a conclu à la fondation de la Constitution de 1958, en vigueur en France.  Une autre solution de régularisation d'un coup d'État peut être trouvée par un plébiscite, comme ceux de Napoléon III, ou par des élections. Ainsi, leur action politique se retrouve légitimée "a posteriori". Toutefois, cette solution se déroule souvent après l'établissement d'une nouvelle Constitution, de manière autoritaire, sans recours au suffrage universel et au principe démocratique.

Nouvelles cibles des coups d'État modernes.

À la prise des bâtiments publics, sièges des organes du pouvoir, s'est ajouté la prise de contrôle des médias : la presse lors du coup d'État du 2 décembre 1851 en France, la radio, dont la détention peut permettre de donner à la population des informations propres à décourager toute tentative de riposte au coup d'État, puis la télévision.  En outre dans la période moderne, les auteurs de coups d'État ont pris l'habitude de couper ou d'accaparer les moyens de communication (téléphone, télégraphe), les arsenaux, les gares, etc. Mais le contrôle des communications téléphoniques joua surtout un rôle essentiel, lors du putsch du 8 novembre 1942 à Alger. En coupant le réseau téléphonique normal d'Alger, l'état-major rebelle, qui s'était installé au Commissariat central, prit le contrôle du réseau officiel, seul maintenu en service. Ainsi put-il suivre de là l'occupation des points stratégiques par les résistants entre 0 h 30 et 1 heure du matin, et garda-t-il ensuite le contact avec leurs chefs de groupe pendant toute l'opération. Mais surtout, c'est par ce réseau officiel, rendu seul utilisable, que les chefs de la résistance reçurent les appels alarmés des personnalités vichystes, réveillées par le duel d'artillerie du port survenu vers 3 heures du matin. Les résistants les convoquèrent alors au Commissariat central en leur faisant croire qu'on les y attendait pour organiser la résistance aux Alliés. Ainsi, pour la première fois dans l'histoire, les personnalités hostiles à un coup d'État vinrent-elles d'elles-mêmes se faire arrêter par les putschistes. Il en fut ainsi, notamment, de l'adjoint du gouverneur-général de l'Algérie Ettori, qui, la veille partisan arrogant et acharné de la collaboration, se répandit soudain en sanglots.

Auteurs de coups d'État.

Les coups d'État sont habituellement effectués par des militaires contre des gouvernants civils, par exemple Augusto Pinochet au Chili.  Les putschs effectués par des civils ont généralement échoué, comme le Putsch de la Brasserie tenté par Adolf Hitler à Munich en 1923. Il y a au moins une exception, celle du Putsch du 8 novembre 1942 à Alger, mais les 400 civils algérois, commandés par un étudiant de 22 ans, José Aboulker, furent soutenus par des officiers de réserve et quelques officiers d'active, comme les colonels Jousse et Baril.  Les auteurs des coups d'État appartiennent le plus souvent, eux-mêmes, à l'appareil d'État, comme ce fut le cas de Siéyès, Paul Barras et Bonaparte. Certains coups d'État ont été organisés en Afrique par des individus soupçonnés de travailler pour les services secrets d'anciennes puissances coloniales, comme Bob Denard, afin de mettre en place un gouvernement qui leur soit plus favorable.

Accueil réservé aux coups d'État.

Pour que les résultats du coup d'État soient acquis, il est préférable qu'ils annoncent qu’ils vont répondre aux vœux de la majorité de l'opinion publique et qu'ils soient compatibles avec le contexte international.

Accueil de l'opinion publique.

Le putsch des généraux d'avril 1961, perpétré par quatre généraux connus, bénéficiait lui aussi de l'appui d'une partie de l'opinion, celle de l'Algérie française, mais pas au-delà car les Français de métropole, consultés précédemment par Charles de Gaulle sur l'autodétermination de l'Algérie, s'étaient prononcés massivement en faveur de sa politique. En outre, dans les forces d'Afrique du Nord elles-mêmes, les soldats du contingent métropolitain qui disposaient de nombreuses radios portatives, reçurent directement l'appel prononcé par de Gaulle contre les généraux et refusèrent de suivre leurs supérieurs dans la rébellion.  En sens inverse, le putsch de 1942, à Alger également, a été accompli certes en accord avec la majorité des Français de métropole devenus non collaborationnistes, mais aussi. Le coup n'en a pas moins réussi grâce au contexte international.

Contexte international.

Le succès du coup d'État dépend aussi du contexte international : les pays voisins peuvent être favorables ou non à leur entreprise et y réagir ou non militairement.  C'est pourquoi l'un des premiers actes des auteurs modernes de coup d'État est d'affirmer que tous les accords internationaux seront respectés.  Le putsch du 8 novembre 1942, déclenché contre les aspirations du milieu local, n'a réussi que grâce au contexte international, c’est-à-dire celui de l'opération Torch, sur le point de se produire, ce dont les comploteurs étaient informés depuis quelques jours. Par contre le contexte international était résolument méconnu par les dirigeants vichystes, comme l'ont démontré les réactions de Darlan, qui, désinformé par son propre service de renseignements de la marine, estimait impossible que les États-Unis disposent, avant un an, des vaisseaux nécessaires à une telle intervention. De même, à Rabat, le général Charles Noguès, lorsqu'il fut encerclé par le général Antoine Béthouart, dans la nuit du 8 novembre 1942, téléphona à l'amiral Frix Michelier pour l'interroger sur la menace d'un débarquement allié : ce dernier, connu pour son caractère borné et ses sympathies envers l'Axe, lui certifia que Béthouart était un menteur et qu'aucun débarquement n'était en cours, ni possible, car si cela était, le service de renseignements de la marine, qui aurait selon lui été informé de la moindre sortie d'un bateau de pêche du port de New York, le lui aurait appris. De même, à Alger, le colonel Jacquin, ancien attaché militaire à Washington, avait-il certifié à l'état-major de Juin que les forces des États-Unis étaient inaptes à intervenir pour longtemps hors du continent américain.  Le coup d'État communiste de Prague en 1948 n'a pu intervenir que parce que la Tchécoslovaquie était située dans la zone d'influence soviétique, où les armées occidentales s'interdisaient d'intervenir.

Un coup d'État est un renversement du pouvoir par une personne investie d'une autorité, de façon illégale et souvent brutale. On le distingue d'une révolution en ce que celle-ci est populaire. Le "putsch" est un coup d'État réalisé par la force des armes.

Státní převrat neboli puč, někdy se též používá francouzského výrazu coup d'état (), je (často násilné) svržení vlády a převzetí politické moci ve státě. Pučisté tvoří obvykle malou skupinu (například vysocí vojenští důstojníci). Převrat či puč je úspěšný, pokud se pučistům podaří převzít moc a dosáhnout konsolidace nového režimu.