title: George Steiner

text: Il chercha à le faire traduire et publier par un éditeur américain. Steiner écrivit à Rebatet à ce sujet et prit l'initiative d'une rencontre en à Paris ; une brève correspondance s'ensuivit entre les deux écrivains. Rebatet écrivit à Steiner : « J'ai écrit beaucoup de choses outrées, que je ne signerais plus aujourd'hui. J'ai contribué à la brutalité du siècle ». Malgré cet aveu, Rebatet refusa de battre sa coulpe « parce que je voudrais que d'autres le fassent avec moi ». Ce refus persistant finit par conduire à la fin de leur relation. Dans son ultime lettre à Rebatet, Steiner écrivit, à propos des juifs : « notre maladie héréditaire, c'est d'être juste envers ce qui est grand dans le monde de l'Esprit ».


title: George Steiner

text: En sus de cette relation singulière entre ce critique d’origine juive et le fasciste antisémite Lucien Rebatet, on a pu lui reprocher ses discussions avec Pierre Boutang, proche de Charles Maurras.


title: George Steiner

text: Pour chaque œuvre, la première date mentionnée est celle de première publication en français. En cas de traduction (presque toutes les œuvres de George Steiner ont d'abord paru en anglais), la seconde date (entre parenthèses) est la date de première publication dans la langue originale. L'ordre est celui de la première publication quand elle est connue, à défaut la publication de la traduction en français. George Steiner, "Œuvres", Gallimard, collection « Quarto, 2013 », sous la direction de Pierre-Emmanuel Dauzat, contient des reprises et certaines traductions originales.


title: George Steiner

text: Pour une bibliographie plus complète des œuvres en anglais, voir Wikipedia en anglais. Voir aussi la reprise d'articles et de conférences dans « "Passions impunies" ». Entre autres distinctions, George Steiner a été récompensé par : George Steiner est docteur "honoris causa" de plusieurs universités : Il a reçu de nombreux prix, parmi lesquels :


title: King Tubby

text: Osbourne Ruddock alias King Tubby est un ingénieur du son et producteur jamaïcain, originaire de Kingston. Né le , il est assassiné dans son studio, à Kingston, le , par un tueur anonyme dont l'unique motivation semble se limiter au vol de son argent, de son revolver et de sa chaîne en or.


title: King Tubby

text: On dit souvent que Tubby est à l'origine du dub : il est le premier à avoir compris le potentiel du jeu aux différentes pistes d'un enregistrement. Il est à l'origine de la plupart des techniques de production du dub que sont les effets caractéristiques du style. Ainsi, on peut dire qu'il est l'inventeur du remix, avec cette manière de retravailler la matière brute, de la recomposer, ce qui a ouvert la voie à une multitude de genres, de la musique électronique.


title: King Tubby

text: Il passe sa jeunesse à travailler comme réparateur de radio ; passionné de technologie électronique, il consacre également ses loisirs au démontage et au remontage de tout type d'appareil. Après la découverte des prestations sound-system du DJ Ruddy Redwood avec des instrumentales de reggae, King Tubby se lance pleinement dans une démarche artistique. Fin connaisseur de l'électronique musicale, il fut l'un des premiers à développer le son dub sur des riddims, qui lui sont alors confiés par son ami, le producteur Bunny Lee.


title: King Tubby

text: King Tubby est ainsi à l'origine d'une série d'effets appliqués aux sons, tels que la réverbération, la saturation, l'écho, le phaser, et de l'amplification de certains instruments par rapport aux autres (notamment du couple rythmique basse/batterie).


title: King Tubby

text: En 1971, Tubby crée son propre studio "Home Town Hi-Fi" (au 18 Dromilly avenue, à Kingston, dans le Waterhouse), où il continue à déconstruire le reggae, donnant une véritable vie au dub. La taille de l'endroit ne permettant pas d'accueillir un groupe au complet, King Tubby est cependant réputé pour ses nombreuses collaborations avec des chanteurs ou des instrumentistes.


title: King Tubby

text: L'année suivante, il fait l'acquisition d'une console MCI achetée au studio Dynamic Sounds sur les conseils de Bunny Lee. Cette table de mixage est équipée de 12 entrées et 4 bus (sous-groupes) qui lui permettent de traiter séparément les différents éléments qui composent les morceaux. La console est aussi équipée du fameux Big Knob, un filtre passe-haut dont l'effet appliqué à l'un des sous-groupes est un des marqueurs esthétiques forts du dub. La console MCI de King Tubby est conservée au musée de Seattle.


title: King Tubby

text: Rapidement devenu un producteur prolifique, King Tubby inspire plusieurs artistes, qui se lancent également dans le dub. Il conçoit ainsi entièrement les circuits du Black Ark, le studio de Lee Scratch Perry, puis forme à la discipline Prince Jammy et The Scientist.


title: King Tubby

text: Entre 1975 et 1980, Tubby est un acharné de travail, développant beaucoup de projets, multipliant les collaborations et éditant un nombre imposant d'albums. Le summum de son œuvre est sans doute "King Tubby Meets The Rockers Uptown", créé en 1976 avec Augustus Pablo. Il faut aussi citer des albums comme "Blackboard Jungle Dub" de Lee 'Scratch' Perry, auquel il contribua beaucoup, ou le "In Dub Conference", réalisé avec Harry Mudie. Enfin, il assure simultanément la technique pour de nombreux artistes, tels que Prince Jazzbo, Johnny Clarke, Cornell Campbell ou Dr. Alimantado.


title: King Tubby

text: King Tubby a permis à la production musicale de décentrer la créativité vers le technicien, souvent à la fois ingénieur du son et disc jockey. Alors qu'il est à la genèse même de la notion du remixage audio, Tubby meurt juste avant la grande explosion électronique qui engendra de nouvelles formes de « bass-music » : ambient, techno, hip-hop trance...Thibault Ehrengardt https://www.linkedin.com/in/thibault-ehrengardt-23703919


title: Dessinateur

text: Un dessinateur (au féminin : une dessinatrice) est une personne pratiquant le dessin. Le dessin résultant du travail d'un dessinateur peut être : artistique, documentaire, technique, ou une base de travail pour d'autres professionnels.


title: Dessinateur

text: Dans la Préhistoire, les supports du dessin étaient des surfaces planes de roche, que les artistes marquaient avec du charbon de bois et des terres de différentes couleurs. Le dessin était aussi pratiqué par incisions sur des parois ou des supports divers : bois, os.


title: Dessinateur

text: Le dessin est un préalable à presque toutes les activités artistiques plastiques.


title: Dessinateur

text: Un peintre peut faire un dessin préalable avant une peinture, comme tous les graveurs (gravure sur bois, linogravure, eau-forte, burin, taille-douce), les lithographes. Un sculpteur peut réaliser des dessins avant d'attaquer la matière. Un architecte dessine son projet de manière libre avant de tracer des plans. Un créateur de caractères dessine ses lettres. Un créateur de mode, un styliste, dessinent leurs modèles. Il en va de même pour toutes les professions liées à une expression visuelle, bijouterie, joaillerie, jardiniers, paysagistes, la liste est loin d'être limitative.Il peut aussi faire du dessin en direct, des croquis, en réagissant spontanément aux propos d'un conférencier, lors d'un débat.Un dessinateur en bâtiment exerce des missions de création et de conception de maisons et bâtiments. Il peut également exercer de simples missions de dessin sous l'autorité d'un architecte, dans ce cas, il n'exerce pas de mission de conception, mais seulement de dessin. Il exerce en libéral sous forme d'agence de dessin. En France pour les maisons individuelles de moins de 170m² SHON, il exerce une mission de conception de maison individuelle. En exercice de salarié pour les agences d'architecture, bureau d'étude, il exerce seulement une mission de dessin.


title: Dessinateur

text: En fonction du domaine d’exercice du dessinateur, les études sont dispensées par divers types d’écoles : écoles d’art et de design, plus ou moins spécialisées, pour les disciplines artistiques ; écoles d’ingénieurs ou techniques, pour le dessin technique.


title: Dessinateur

text: Dans les domaines artistiques, le diplôme sanctionne les études effectuées, mais ne constitue généralement pas une condition suffisante : les employeurs potentiels se fient de préférence au portfolio (en ligne, sur support informatique, ou papier). Un dessinateur peut être autodidacte.


title: Dessinateur

text: Il n'y a pas d'ordre. En France, une fédération nationale des dessinateurs indépendants existe. C'est la FNDI vous pourrez retrouvez un anuaire de dessinateur ainsi que le detail de la mission du dessinateur sur leur site internet : http://fdi-nationale.fr/


title: Styliste

text: Un styliste ou créateur de mode est une personne chargée de dessiner un ou plusieurs vêtements (pour alors former une collection) ; il effectue du stylisme. Le styliste peut également travailler sur mesure (à la demande du client). Le styliste peut travailler en équipe ou en solo.


title: Styliste

text: Dans les années 1960, le prêt-à-porter est réalisé par des stylistes anonymes.


title: Styliste

text: Comme pour reconnaître cette profession, en 1971, le "Journal officiel" publie une définition du « styliste industriel ». En 1973, Yves Saint Laurent, qui avait lancé sa ligne de prêt-à-porter "rive gauche" dès le milieu des années 1960, déclare que la mode ne l'intéresse pas, le métier de stylisme ou de haute couture étant un art. Dès lors, les stylistes s'émancipent et deviennent les couturiers de l'industrie. Ils prennent le nom de créateurs de mode et lancent dans les années 1980 des défilés de plus en plus spectaculaires.


title: Styliste

text: Le styliste travaille en équipe ou seul avec un modéliste et des confectionneurs. Il dessine sa collection une année en avance, car il faut du temps pour la créer. Pour ses créations, il peut s’inspirer de tableaux, de photographies, de cultures, de bâtiments. Il fait d'abord un choix de tissus. Pour avoir des idées de tissus, il peut par exemple aller au salon français "Première Vision" (salon regroupant 90 % des fabricants de tissus). Puis, ses tissus choisis, il dessine ses vêtements et après plusieurs essais, il peut terminer son dessin. Ses dessins passeront ensuite entre les mains d'un modéliste. C'est un métier où l'on doit savoir très bien dessiner. Une styliste doit avoir l'esprit du travail collectif.


title: Styliste

text: Un styliste de mode dessine des centaines de modèles par saison, les stylistes s'inspirent en fonction du goût de la clientèle, et de la mode du moment, les thèmes et les matières sont choisis d'après un plan de collection défini en comité de sélection. Un styliste peut être « » (indépendant) ou salarié d'une entreprise, certains travaillent parallèlement pour le domaine français de la haute couture, d'autres pour le prêt-à porter vendu dans la grande distribution, la VPC (Vente par correspondance) ou par une seule ou plusieurs boutiques.


title: Styliste

text: Il y a plusieurs formations permettant d'accéder à la profession. Le niveau minimum souhaité se situe à bac + 2. Le BTS vêtement (création et mesure) constitue le de qualification. À bac + 2 : on trouve le BTS création de mode, textile et environnement option mode ou option textile, matériaux et surface, le BTS industries des matériaux souple option modélisme industriel. À bac + 4 ou bac + 5 : le diplôme supérieur d'arts appliqués mode-environnement, en deux ans après un BTS.


title: Styliste

text: De nos jours, les stylistes, intégrant les grandes marques internationales, se doivent d'être pluridisciplinaires. Outre l'aspect vestimentaire et « créatif », leur périmètre de responsabilités s'étend parfois aux accessoires, aux parfums, à la mise en scène des défilés ou vitrines, à l'image de la marque, ou encore à son influence sur internet.


title: Styliste

text: Cette profession s'exerce généralement à domicile ou chez l'employeur (entreprise de confection, de prêt-à-porter, bureau de design, bureau d'études, entreprise industrielle, etc.). Les visites aux unités de production entraînent de fréquents déplacements. Les horaires de travail sont souvent irréguliers et conditionnés par les délais de livraison ou par les dates de manifestations commerciales (défilés, salons, etc.). L'activité implique une collaboration avec les clients et les spécialistes d'autres secteurs (ergonomes, sociologues, informaticiens, designeurs, modélistes, spécialistes mercatique (marketing), ingénieurs, etc.). Le recours aux techniques d’assistance informatique (DAO) est en plein essor.


title: Styliste

text: Il n'existe pas de conditions strictement définies pour accéder à cette fonction. De nombreuses écoles d’arts possèdent une section design. Il existe aussi une formation spécifique à la confection textile, à la création de mode, à la couture et à la fabrication de costumes de spectacles. Dans la plupart des cas, l’apprentissage seul ne garantit pas l’accès direct à un poste à responsabilités, une période intermédiaire d'assistant est généralement nécessaire.


title: Styliste

text: Le diplôme d'état est le BTS création de mode ou Bac+ styliste. Mais il faut savoir que des diplômes sont délivrés par des écoles de mode. Certaines d'entre elles proposent des titres certifiés par la Commission nationale de la certification professionnelle, ce qui garantit une qualité d'enseignement correspondant aux exigences du métier. Pour beaucoup d'étudiants, il est plus intéressant de faire un certificat d'école.


title: Styliste

text: Liste de quelques écoles de mode :


title: Stylisme

text: Le stylisme ou la création de mode est un métier de la mode consistant à imaginer et dessiner des modèles destinés au prêt-à-porter. La personne exerçant ce métier est appelée un styliste ou créateur de mode.


title: Stylisme

text: Le stylisme est un métier créatif. Il peut se faire avec des outils de dessin traditionnels, mais se fait de plus en plus avec l'aide d'outils informatiques. Il existe des logiciels spécialisés qui aideront, à partir du dessin du styliste, à calculer et à dessiner les patrons des vêtements en fonction des tailles de vêtements désirées, par exemple le logiciel Modaris de la société Lectra.


title: Buire

text: Buire est une commune française située dans le département de l'Aisne, en région Hauts-de-France.


title: Buire

text: Buire est limitrophe de cinq communes : La Hérie, Origny-en-Thiérache, Neuve-Maison, Hirson, Éparcy.


title: Buire

text: Le climat qui caractérise la commune est qualifié, en 2010, de « climat semi-continental ou des marges montargnardes », selon la typologie des climats de la France qui compte alors huit grands types de climats en métropole. En 2020, la commune ressort du type « climat semi-continental » dans la classification établie par Météo-France, qui ne compte désormais, en première approche, que cinq grands types de climats en métropole. Pour ce type de climat, les étés sont chauds et les hivers rudes, avec un grand nombre de jours de neige ou de gel. La pluviométrie annuelle est relativement élevée.


title: Buire

text: Les paramètres climatiques qui ont permis d’établir la typologie de 2010 comportent six variables pour les températures et huit pour les précipitations, dont les valeurs correspondent à la normale 1971-2000. Les sept principales variables caractérisant la commune sont présentées dans l'encadré ci-après.


title: Buire

text: Avec le changement climatique, ces variables ont évolué. Une étude réalisée en 2014 par la Direction générale de l'Énergie et du Climat complétée par des études régionales prévoit en effet que la température moyenne devrait croître et la pluviométrie moyenne baisser, avec toutefois de fortes variations régionales. Ces changements peuvent être constatés sur la station météorologique de Météo-France la plus proche, « Fontaine-Vervins Man », sur la commune de Fontaine-lès-Vervins, mise en service en 1977 et qui se trouve à à vol d'oiseau, où la température moyenne annuelle est de et la hauteur de précipitations de pour la période 1981-2010. Sur la station météorologique historique la plus proche, « Saint-Quentin », sur la commune de Fontaine-lès-Clercs, mise en service en 1933 et à , la température moyenne annuelle évolue de pour la période 1971-2000 à pour 1981-2010, puis à pour 1991-2020.


title: Buire

text: Buire est une commune urbaine. Elle fait en effet partie des communes denses ou de densité intermédiaire, au sens de la grille communale de densité de l'Insee.  Elle appartient à l'unité urbaine de Hirson, une agglomération intra-départementale regroupant et en 2017, dont elle est une commune de la banlieue.


title: Buire

text: Par ailleurs la commune fait partie de l'aire d'attraction d'Hirson, dont elle est une commune du pôle principal. Cette aire, qui regroupe , est catégorisée dans les aires de moins de .


title: Buire

text: L'occupation des sols de la commune, telle qu'elle ressort de la base de données européenne d’occupation biophysique des sols Corine Land Cover (CLC), est marquée par l'importance des territoires agricoles (70,4 % en 2018), néanmoins en diminution par rapport à 1990 (74,4 %). La répartition détaillée en 2018 est la suivante :  prairies (55,5 %), zones urbanisées (19,5 %), terres arables (10,2 %), forêts (8,2 %), zones agricoles hétérogènes (4,7 %), zones industrielles ou commerciales et réseaux de communication (2 %).


title: Buire

text: L'IGN met par ailleurs à disposition un outil en ligne permettant de comparer l’évolution dans le temps de l’occupation des sols de la commune (ou de territoires à des échelles différentes). Plusieurs époques sont accessibles sous forme de cartes ou photos aériennes : la carte de Cassini (), la carte d'état-major (1820-1866) et la période actuelle (1950 à aujourd'hui).


title: Buire

text: En 1156, la commune portait le nom de "Buires" puis "Buiri" et "Bureus" en 1185.


title: Buire

text: Buire appartenait à l'abbaye de Bucilly. Les seigneurs de Guise en étaient avoués au , et paraissent en avoir gardé la seigneurie plusieurs siècles.


title: Buire

text: La commune de Buire est membre de la communauté de communes des Trois Rivières, un établissement public de coopération intercommunale (EPCI) à fiscalité propre créé le dont le siège est à Buire. Ce dernier est par ailleurs membre d'autres groupements intercommunaux.


title: Buire

text: Sur le plan administratif, elle est rattachée à l'arrondissement de Vervins, au département de l'Aisne et à la région Hauts-de-France. Sur le plan électoral, elle dépend du canton d'Hirson pour l'élection des conseillers départementaux, depuis le redécoupage cantonal de 2014 entré en vigueur en 2015, et de la troisième circonscription de l'Aisne pour les élections législatives, depuis le dernier découpage électoral de 2010.


title: Gopher

text: Gopher est une norme de communication numérique conçue en 1991, concurrente du HTTP utilisée dans le World Wide Web et désormais obsolète. La norme Gopher permettait de distribuer, chercher et récupérer des documents sur le réseau Internet, et de se connecter sur un serveur Telnet.


title: Gopher

text: Lancé en 1991, Gopher est utilisé pour accéder au portail Internet de l'université du Minnesota. Ses créateurs sont Mark McCahill, Farhad Anklesaria, Paul Lindner, Daniel Torrey, Adam Huminsky et Bob Alberti. Gopher est le nom d'un rongeur "," mascotte de l'université.


title: Gopher

text: Gopher permet de consulter l'annuaire téléphonique de l'université, lire des textes en ligne, télécharger des fichiers binaires, faire des recherches par mots clés et des connexions à des serveurs Telnet. Un logiciel Gopher est aussi créé. Il ne lit que les données textuelles, et évolue vers le mode graphique, Gopher+.


title: Gopher

text: Le succès de la norme Gopher et du logiciel consacré dépasse le cercle de l'université et , puis les administrations gouvernementales. Gopher devient une norme Internet en  ; sa version évoluée, Gopher+, en par la .


title: Gopher

text: Gopher est en compétition avec les logiciels et normes WAIS et Archie, ainsi que le HTTP et le Web créés à la même époque. Ce dernier, utilisant le langage HTML, arrive plus tard mais supplante les autres normes à partir de 1995. Depuis les années 2000, la norme Gopher est encore utilisée par quelques passionnés.


title: Gopher

text: En mars 1993, l'université du Minnesota décide de demander des redevances sur l'utilisation du serveur, à l'inverse du CERN où est développé le Web (). Il est possible que la licence payante soit la cause de l'effondrement de Gopher. Dans son mémoire "", Robert Alberti conteste ce point de vue et montre que le déclin de Gopher coïncide plutôt avec l'adjonction de la balise image (codice_1) dans le HTML, qui jusque là affichait uniquement du texte (tout comme Gopher). Ce n'est qu'en 2000 que l'université de Minnesota libère le code source et les place sous la licence publique générale GNU.Des sites Web permettent d'afficher des pages Gopher depuis un navigateur Web : Floodgap Public proxy, Gopher Proxy proxy. Certains sites Gopher fonctionnent en double mode, Gopher et Web. Un proxy, comme squid, peut faciliter l'accès au monde Gopher depuis un réseau local.


title: Nicée

text: Nicée (en grec ; aujourd’hui İznik en turc et en Turquie) est une cité fondée vers 300 av. J.-C., tour à tour hellénistique, byzantine et ottomane, du Nord-Ouest de l’Anatolie. Elle est surtout connue comme ayant été le siège des premier et deuxième conciles de Nicée en, respectivement, 325 et 787 (les premier et septième conciles des débuts de l’Église chrétienne), le lieu où fut rédigé le symbole de Nicée (datant du premier concile) et la capitale de l’empire de Nicée après la conquête de Constantinople par la quatrième croisade en 1204 jusqu’à ce que cette dernière soit reprise par les grecs en 1261.


title: Nicée

text: La ville ancienne est située dans le périmètre de la ville actuelle d’İznik (nom turc de Nicée) à l’extrémité est du lac Ascanion (aujourd’hui lac d'İznik), entouré de collines au nord et au sud. Elle est entourée sur tous les côtés par un mur de plus de trois kilomètres de longueur et de dix mètres de hauteur. Un double fossé longe ce mur sur le côté terrestre ; plus de cent tours permettent la surveillance du mur. Des portes massives percées sur la portion terrestre des murs constituaient les seuls moyens d’accès à la ville. De nos jours ce mur a été percé à de nombreux endroits pour permettre la circulation, mais une grande partie des fortifications originales a été conservée et constitue une attraction touristique appréciable.


title: Nicée

text: La muraille ouest de la ville longe le lac, interdisant ainsi tout siège naval mais permettant un approvisionnement de la ville. Le lac est suffisamment vaste pour ne pas être l’objet de blocus naval et la ville suffisamment étendue pour rendre difficile toute tentative d’atteindre le port grâce à des engins de siège montés sur le rivage.


title: Nicée

text: Selon la légende, la ville aurait été fondée par le dieu Dionysos ou le demi-dieu Héraclès et nommée d’après la nymphe Nicée dont l’effigie se retrouvait sur les pièces de monnaie de la ville.


title: Nicée

text: Selon une autre tradition, la ville aurait été bâtie par des Béotiens et se serait appelée "Angorê" (Άνγκόρη) ou "Hélicorê" (Έλικόρη) ; une autre théorie, moins répandue, voudrait qu’elle ait été fondée par des soldats d’Alexandre le Grand originaires de Nicée en Locride, près des Thermopyles. Quoi qu’il en soit, la première colonie grecque sur ce site fut probablement détruite par les Mysiens et rebâtie par Antigone, l’un des successeurs d’Alexandre (appelés diadoques) vers 315 av. J.-C. et renommée Antigoneia (). On sait qu’Antigone établit des colons béotiens dans le voisinage donnant ainsi plus de poids à la tradition selon laquelle la ville aurait été fondée par ceux-ci. Après la défaite d’Antigone et sa mort lors de la bataille d'Ipsos en 301 av. J.-C., la ville fut prise par Lysimaque qui la rebaptisa Nicée ("Νίκαια", aussi transcrit comme "Nikaia" ou "Nicæa") en mémoire de sa femme Nicæa qui venait de mourir.


title: Nicée

text: Peu avant 280 av. J.-C. la ville fut conquise par la dynastie locale des rois de Bithynie. Ce fut le début de sa montée en importance comme résidence royale, en même temps que de la rivalité qui devait l’opposer à Nicomédie. La dispute entre les deux villes pour obtenir le titre de capitale ("metropolis") de la Bithynie devait durer deux siècles et la trente-huitième oraison de Dion Chrysostome fut spécifiquement composée pour mettre un terme à la controverse .


title: Nicée

text: Nicée fut conquise par Rome en 72 av. J.-C. Elle demeura un des centres urbains les plus importants d’Asie Mineure tout au long de la période romaine, continuant sa compétition traditionnelle avec Nicomédie comme siège de la résidence du gouverneur romain de Bithynie et du Pont. Le géographe Strabon la décrit comme bâtie selon la coutume hellène avec une grande régularité. Elle avait la forme d’un carré mesurant 16 stades de circonférence, c.a.d. 0,7 km x 0,7 km, couvrant donc une superficie de 50 ha ou 0,5 km2. Elle avait quatre portes et ses rues s’entrecroisaient à angle droit conformément aux plans d’Hippodamos de Milet, permettant, à partir d’un monument situé au centre-ville, d’apercevoir les quatre portes. Ce monument était situé au "gymnasium", lequel fut détruit par le feu mais reconstruit par Pline le Jeune qui y fut gouverneur au début du . Pline fait du reste fréquemment mention de Nicée et de ses monuments dans ses écrits.


title: Nicée

text: Dans le cadre des grands voyages entrepris pour mieux intégrer les provinces à l’Empire, l’empereur Hadrien visita la ville en 123 ap. J.-C., après qu’elle eut été gravement endommagée par un tremblement de terre, et en fit commencer la reconstruction. La nouvelle ville était entourée d’un mur polygonal de plus de trois kilomètres de longueur. Elle ne devait être achevée qu’au et ses nouvelles murailles ne la sauvèrent pas des attaques des Goths en 258. Les nombreuses pièces de monnaie de Nicée encore existantes témoignent de l’intérêt porté à la cité par les empereurs romains ainsi que de la fidélité des citoyens envers ces derniers. Nombre de ces pièces commémorent les grandes festivités qui y étaient célébrées en l’honneur des dieux et de l’empereur comme à Olympie, Isthmie, Dionysies, Delphes, Philadelphie, etc..


title: Nicée

text: Située à quelque 100 kilomètres de Constantinople, Nicée, au , était devenue une cité prospère ainsi qu’un important centre administratif et militaire en voie de christianisation. On y produisait suffisamment de textile pour en exporter ; elle était également un centre de production de verrerie et d’objets de métal. Avec Nicomédie, elle formait « la grande banlieue asiatique de Constantinople ». Elle était située sur la grande voie commerciale et militaire qui reliait Constantinople et, à partir d’Iconium (aujourd’hui Konya), soit la vallée de l’Euphrate via l’ancienne route des Indes, soit l’Arménie via Césarée de Cappadoce : deux routes vitales pour l’économie de l’Empire romain d'Orient. En 325, l’empereur Constantin y convoqua le premier concile œcuménique. La cité donna son nom au symbole de la foi qui y fut adopté au concile de 325, toujours en vigueur tel quel dans les Églises orthodoxes, et également intégré, avec l’ajout des 14 conciles ultérieurs, dans la théologie de l’Église catholique.


title: Nicée

text: Nicée maintint son importance tout au long du et fut témoin de la proclamation de l’empereur Valens (364) et de la révolte manquée de Procope (365). Au cours de cette même période l’évêché de Nicée se sépara de celui de Nicomédie et fut élevé au rang d’archevêché, son titulaire prenant le titre de « métropolite ». La ville, dévastée par deux tremblements de terre d’envergure en 363 et 368, connaît un fort déclin : beaucoup de ses grands édifices publics, négligés, tombèrent en ruines et durent être restaurés au par l’empereur Justinien. Marcien (né vers 395, empereur en 450, mort en 457) y convoqua un nouveau concile qui se réunit le , mais fut déplacé presque immédiatement vers Chalcédoine, plus proche de Constantinople, sans doute pour que l’empereur puisse y assister en personne malgré la pression que faisaient peser les Huns d’Attila sur la frontière du Danube.


title: Nicée

text: Par la suite, la ville n’est plus mentionnée dans les sources jusqu’au début du . En 715, l’empereur Anastase II s’y réfugia après avoir été déposé. Nicée résista avec succès aux attaques des califes omeyyades en 716 et 725. Un nouveau tremblement de terre eut lieu en 740. La ville fut témoin de la révolte d’Artabasde en 741/742 et fut le siège du septième concile œcuménique qui condamna l’iconoclasme en 787. Au cours du même siècle, la ville devint la capitale du thème de l’Opsikion.


title: Nicée

text: Au , l’empereur Michel III, dans la lutte acharnée qu’il menait contre les Arabes, fit reconstruire ses fortifications. En raison de sa proximité de Constantinople, Nicée devint le point de départ de rebellions au et , comme celle de Bardas Sklèros (978). Celles-ci furent facilement maîtrisées, mais à la suite de la rébellion de Nicéphore Melissenos qui s’était fait proclamé empereur à Nicée et avait appelé le sultan seldjoukide Soliman à son aide, la ville finit par tomber aux mains des Turcs seldjoukides en 1081, dix ans après la chute de la majeure partie de l’Anatolie aux mains des Turcs . Les Seldjoukides firent de Nicée la capitale de leurs possessions d’Asie Mineure jusqu’en 1097 lorsqu’elle fut reprise par les Byzantins avec l’aide de la première croisade au prix d’un long siège .


title: Nicée

text: Comme pour le reste de l’Empire, Nicée connut au un siècle de stabilité relative et de prospérité : la population s’établissait alors à entre et . Les empereurs Comnènes (Alexis, Jean et Manuel) conduisirent de nombreuses campagnes pour raffermir la présence byzantine en Asie Mineure. D’importantes fortifications furent construites, spécialement sous Jean et Manuel, qui aidèrent à protéger à la fois la ville et ses campagnes fertiles, convoités par les émirs turcs. Plusieurs bases militaires et colonies existaient également dans la région, par exemple près de Rhyndakos en Bithynie où l’empereur Jean passa toute une année à entraîner ses soldats en vue de campagnes en Asie Mineure.


title: Nicée

text: Après la chute de Constantinople aux mains de la quatrième croisade en 1204, l’Empire de Nicée fut l’un des États grecs survivants. Lorsque les croisés créèrent un nouvel empire « latin » dans la capitale après avoir déposé l’empereur Alexis III Ange, son gendre Théodore Laskaris quitta Constantinople pour l’Asie Mineure où, en 1206, il s'établit à Nicée où il fut couronné empereur en 1208. Après des débuts difficiles, le jeune empire prit bientôt son essor : au printemps 1211, Théodore réussit à vaincre les forces du sultan seldjoukide auprès duquel s’était réfugié Alexis III ; le sultan périt au cours de la bataille alors qu’Alexis III finit ses jours dans une prison de Nicée.


title: Nicée

text: Sur le plan religieux, le patriarche de Constantinople, Jean X Kamateros, réfugié en Thrace, déclina l’invitation de Théodore Laskaris de venir s’établir à Nicée. Mais dès son décès en 1206, le synode de Nicée élut patriarche le savant Michel Autoreianos qui reprit le titre de patriarche œcuménique et procéda au couronnement de Théodore en 1208. Lorsque les Serbes demandèrent leur autonomie ecclésiastique, c’est au patriarche de Nicée qu’ils s’adressèrent, le reconnaissant ainsi comme primat de l’Église orthodoxe, de sorte qu’en 1332, Jean III et son patriarche Germain II purent s’adresser au pape comme représentants légitimes des chrétiens orientaux. Toutefois, la ville de Nicée fut bientôt délaissée comme résidence principale des empereurs qui lui préféraient Nymphaion et Magnésie sur le Méandre. Jean III Doukas Vatatzès (1222-1254) réussit à faire de l’état grec de Nicée, pourtant coincé entre les « latins » au nord-ouest et les musulmans au sud-est, une puissance respectée. Il réussit non seulement à reprendre pied dans les Balkans et à se rendre maître de l’empire de Thessalonique, mais aussi à nouer des relations tant avec la papauté qu’avec l’Empire latin.


title: Nicée

text: Peu après la fondation de l’empire de Nicée, la ville devint non seulement un point de ralliement pour la reconquête de Constantinople à l’instar des deux autres États grecs successeurs (le despotat d’Épire et l’empire de Trébizonde) mais aussi un centre d’intense activité intellectuelle. Si bien que (1241-1290), qui s’était réfugié à Nicée et deviendra patriarche de Constantinople après la reconquête, dira d’elle qu’elle « ressemblait à l’ancienne Athènes par l’abondance de ses érudits » et une « source de connaissance aussi merveilleuse qu’intensément aimée. Théodore y attira de nombreux lettrés du monde grec tombé aux mains des Latins. Nombre d’intellectuels s’y réfugièrent comme l’écrivain Nicétas Choniatès, l’érudit Nicéphore Blemmydès, et l’historien Georges Akropolitès. En 1234 s’y tint une réunion avec les représentants du pape Grégoire IX (qui fut transférée par la suite à Nymphaeion) dans le but de négocier la réunion des deux Églises séparées depuis 1054.


title: Nicée

text: Après la reconquête de Constantinople par les Grecs, Nicée perdit de son importance. De plus la politique de Michel VIII Paléologue qui délaissait la frontière anatolienne occasionna de graves rébellions en 1262 et 1265, alors que la panique s’insinuait en ville, nourrie par les rumeurs au sujet d’une attaque mongole imminente. Cette rébellion de paysans bien armés se doubla de la rivalité opposant l’empereur Michel VIII Paléologue et le patriarche Arsène Autorianos, partisan de la famille des Lascaris. L’empereur Andronic II visita la ville en 1290 et prit soin de restaurer ses défenses, mais l’Empire s’avéra incapable de freiner l’expansion de l’Empire ottoman dans la région. Aussi, lorsque l’empereur Andronic III et Jean Cantacuzène furent défaits à Pélékanon le , seules quelques villes comme Nicée, Nicomédie, Brousse, Sardes et Philadelphie continuèrent à résister. Il devint rapidement impossible de les défendre et Nicée dut se rendre aux Ottomans après un long siège, le .


title: Nicée

text: La ville fut donc conquise et intégrée à l’Empire ottoman qui, après la conquête de Nicomédie, s’étendait sur la presque totalité de la Bithynie et de l’Asie Mineure. Soumis à cette nouvelles puissance et à sa législation musulmane, les habitants s’y intégrèrent : nombreux furent ceux qui se convertirent à l’islam et passèrent au turc pour échapper au statut de "roumis" et à la double-capitation imposée aux non-musulmans, en dépit des protestations du patriarche de Constantinople qui leur adressa vainement des admonestations en 1339 et 1340. Les villes de Bithynie reprirent le rôle important qui avait jadis été le leur dans le commerce international : les deux industries majeures de Nicée, le textile et la céramique en furent ravivées. Orhan , le deuxième sultan ottoman, envoya même une caravane à Constantinople pour y vendre les icônes, manuscrits et reliques qu’il avait enlevés aux églises de Nicée. Un grand nombre d’édifices publics furent détruits et leurs matériaux utilisés par les Ottomans pour la construction de mosquées et autres édifices. Après la chute de Constantinople en 1453, Nicée perdit à nouveau son importance, mais retrouva une nouvelle vitalité au en devenant un centre de production de faïence et porcelaine.


title: Nicée

text: Dans l’un de ses poèmes, Nicéphore Blemmydès (1197-vers 1269) décrit ainsi la ville : « Nicée, une ville aux larges avenues, remplie de gens, fière de ce qu’elle contient, constitue la marque par excellence de la bienveillance impériale ».


title: Nicée

text: Les anciennes murailles ainsi que leurs tours et portes sont relativement bien conservées. Elles s’étendent sur plus de trois kilomètres, étant d’une épaisseur de 5 à 7 mètres à la base et d’une hauteur de 10 à 13 mètres. Elles sont percées de quatre larges portes et de deux plus petites. Sauf à quelques endroits, elles sont faites de dalles romaines et de blocs de pierre équarris joint par un ciment très épais. Des colonnes et autres fragments de ruines ou d’édifices plus anciens y sont intégrés çà et là. Comme ceux de Constantinople, les murs semblent avoir été édifiés au . Quelques tours portent des inscriptions grecques.


title: Nicée

text: Les ruines des temples antiques, églises, synagogues, mosquées, bains, marchés couverts et villas, dispersées à travers les jardins et immeubles modernes, occupant une grande partie de l’espace autrefois à l’intérieur des fortifications romaines et byzantines, témoignent de ce que l’endroit eut, pendant la période ottomane, une importance certaine, quoique moindre que pendant la période byzantine. L’ancien centre-ville ottoman semble avoir été entièrement construit avec les débris de l’ancienne Nicée et les murs en ruine des anciennes mosquées et bains publics (thermes devenus « bains turcs ») sont pleins de fragments des anciens temples et églises greco-romains. Au nord-ouest de la ville, deux digues s’avancent dans le lac, formant un port. Toutefois, le lac s’est considérablement envasé à cet endroit et l’ancien port est désormais un marécage. Hors des murs de la ville, on peut aussi voir les ruines d’un ancien aqueduc.


title: Nicée

text: L’"église de la Dormition" était la principale église grecque orthodoxe de Nicée et l’une des églises byzantines d’Asie Mineure dont l’architecture était la plus impressionnante. Ornée d’un dôme et dotée d’une nef ayant la forme d’une croix à l’abside allongée, elle datait possiblement de la fin du . Son "bêma", où se trouvaient l’autel et le trône patriarcal, était décoré de fines mosaïques, détruites par les iconoclastes mais restaurées au . Bombardée en 1922 lors du conflit gréco-turc consécutif à la Première Guerre mondiale, il n’en reste plus aujourd’hui que les bases des murs, le pavement et quelques éléments de marbre.


title: Nicée

text: L’église Sainte-Sophie de Nicée, site du concile de 787, musée à l’époque de Mustafa Kemal Atatürk, est redevenue mosquée en novembre 2011, neuf ans avant la basilique "Ayasofya" d'Istanbul.


title: Nicée

text: Des fouilles archéologiques sont en cours dans les fourneaux ottomans où étaient produites les faïences de Nicée.


title: Nicée

text: Le concile de Nicée a établi que les clercs doivent toujours être attachés à une Église (canon 15). Plus tard, le concile de Chalcédoine (451) pose l’interdiction d’ordonner un clerc, y compris un évêque, sans lui confier un lieu à desservir (canon 6). Dans l’esprit de ces conciles anciens, il s’agit d’une communauté réelle de chrétiens et non d’un titre. Entre-temps, à mesure que l’Égypte, le Proche-Orient et l’Anatolie passaient sous juridiction musulmane et perdaient leurs communautés chrétiennes, est apparue dans les Églises issues de la Pentarchie (Église catholique romaine et Églises orthodoxes canoniques) la tradition des sièges titulaires (épiscopaux ou archiépiscopaux : des titres accordés à certains prélats qui, sans avoir de juridiction territoriale sur des diocèses actuels, occupent des fonctions dans le gouvernement de leur Église, pour lesquelles ils sont consacrés évêques. La nomination d’évêques ou archevêques « titulaires » est strictement du ressort du Saint-Siège dans l’Église catholique romaine et des Patriarches (surtout celui de Constantinople) dans les Églises orthodoxes mais la pertinence théologique de ces évêques sans charge pastorale réelle suscite des débats et beaucoup de ces sièges, dont Nicée, sont désormais vacants.


title: Nicée

text: Dans l’Église catholique romaine, ceux auxquels ce titre est accordé, autrefois appelés évêques ', pour ' (« en pays des infidèles »), par référence à d’anciens diocèses disparus au cours de l’histoire, sont depuis Léon XIII (1882) dénommés « évêques titulaires ». Tout évêque, même si contraint à la démission, reste 'évêque d'un lieu particulier'; il lui est alors donné le titre d'un siège titulaire. Ainsi, l’archevêché catholique de Nicée constitue un « siège titulaire » vacant depuis le décès de son dernier titulaire en 1976.


title: Nicée

text: Dans les Églises orthodoxes, particulièrement celle de Grèce, les sièges titulaires correspondent aux anciens évêchés ou archevêchés de l’Empire byzantin restés sans fidèles en raison du passage des habitants de ces territoires à l’islam et de l’expulsion des chrétiens au fil des siècles (notamment au moment du Traité de Lausanne de 1923) : Nicée est ainsi siège titulaire pour le patriarcat œcuménique de Constantinople. Le titulaire de 2001 à 2010 était l’ancien archevêque de Carélie et de toute la Finlande, le métropolite .


title: Lambda-calcul

text: Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M.


title: Lambda-calcul

text: Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel. Il a depuis été appliqué comme langage de programmation théorique et comme métalangage pour la démonstration formelle assistée par ordinateur. Le lambda-calcul peut être "typé" ou non.


title: Lambda-calcul

text: Le lambda-calcul est apparenté à la logique combinatoire de Haskell Curry et se généralise dans les calculs de substitutions explicites.


title: Lambda-calcul

text: L'idée de base du lambda-calcul est que "tout est fonction". Une fonction est en particulier exprimée par une expression qui peut contenir des fonctions qui ne sont pas encore définies : ces dernières sont alors remplacées par des variables. Il existe une opération de base, appelée "application" :


title: Lambda-calcul

text: Appliquer l'expression formula_1 (qui décrit une fonction) à l'expression formula_2 (qui décrit une fonction) se note formula_3.


title: Lambda-calcul

text: On peut aussi fabriquer des fonctions en disant que si "E" est une expression, on crée la fonction qui à "x" fait correspondre l'expression "E;" On écrit "λx.E" cette nouvelle fonction.


title: Lambda-calcul

text: Le nom de la variable n'est pas plus important qu'il ne l'est dans une expression comme "∀x P(x)" qui est équivalente à "∀y P(y)" . Autrement dit si "E[y/x]" est l'expression "E" dans laquelle toutes les occurrences de "x" ont été renommées en "y", on considérera que les expressions "λx.E" et "λy.E[y/x]" sont équivalentes.


title: Lambda-calcul

text: En utilisant les outils dont on vient de se doter, on obtient, par applications et abstractions, des fonctions assez compliquées que l'on peut vouloir simplifier ou évaluer. Simplifier une application de la forme "(λx.E) P" revient à la transformer en une variante de l'expression "E" dans laquelle toute occurrence libre de "x" est remplacée par "P". Cette forme de simplification s'appelle une contraction (ou une β-"contraction" si l'on veut rappeler que l'on applique la règle β du lambda-calcul).


title: Lambda-calcul

text: Sur cette base, on peut construire quelques fonctions intéressantes, comme la "fonction identité" formula_4, qui est la fonction qui à formula_5 fait correspondre formula_5, autrement dit la fonction formula_7. On peut aussi construire la fonction constante égale à formula_5, à savoir formula_9.


title: Lambda-calcul

text: De là on peut construire la fonction qui fabrique les fonctions constantes, pourvu qu'on lui donne la constante comme paramètre, autrement dit la fonction formula_10, c'est-à-dire la fonction qui à formula_5 fait correspondre la fonction constamment égale à formula_5.


title: Lambda-calcul

text: On peut aussi par exemple construire une fonction formula_13 qui permute l'utilisation des paramètres d'une autre fonction, plus précisément si formula_14 est une expression, on voudrait que formula_15 fonctionne comme formula_16. La fonction formula_17 est la fonction formula_18. Si on applique la fonction formula_17 à formula_20 on obtient formula_21 que l'on peut simplifier en formula_22.


title: Lambda-calcul

text: Jusqu'à maintenant nous avons été assez informels. L'idée du lambda-calcul consiste à fournir un langage précis pour décrire les fonctions et les simplifier.


title: Lambda-calcul

text: Le lambda calcul définit des entités syntaxiques que l'on appelle des "lambda-termes" (ou parfois aussi des "lambda expressions") et qui se rangent en trois catégories :


title: Lambda-calcul

text: L’application peut être vue ainsi : si est une fonction et si est son argument, alors est le résultat de l'application à de la fonction .


title: Lambda-calcul

text: L’abstraction peut être interprétée comme la formalisation de la fonction qui, à , associe , où contient en général des occurrences de .


title: Lambda-calcul

text: Ainsi, la fonction qui prend en paramètre le lambda-terme et lui ajoute "2" (c'est-à-dire en notation mathématique courante la fonction ) sera dénotée en lambda-calcul par l'expression . L'application de cette fonction au nombre "3" s'écrit et s'« évalue » (ou se normalise) en l'expression "3+2".


title: Lambda-calcul

text: Alonzo Church connaissait la relation entre son calcul et celui des "Principia Mathematica" de Russell et Whitehead. Or ceux-ci utilisent la notation formula_23 pour noter l'abstraction, mais Church utilisa à la place la notation formula_24 qui devint par la suite formula_25. Peano a lui aussi défini l'abstraction dans son "Formulaire de mathématique", il utilise notamment la notation, formula_26 pour noter la fonction formula_27 telle que formula_28.


title: Lambda-calcul

text: Pour délimiter les applications, on utilise des parenthèses, mais par souci de clarté, on omet certaines parenthèses. Par exemple, on écrit "x" "x" ... "x" pour (("x" "x") ... "x").


title: Lambda-calcul

text: Il y a en fait deux conventions :


title: Lambda-calcul

text: Shönfinkel et Curry ont introduit la curryfication : c'est un procédé pour représenter une fonction à plusieurs arguments. Par exemple, la fonction qui au couple ("x", "y") associe "u" est considérée comme une fonction qui, à "x", associe une fonction qui, à "y", associe "u". Elle est donc notée : "λx.(λy.u)". Cela s'écrit aussi "λx.λy.u" ou "λxλy.u" ou tout simplement "λxy.u". Par exemple, la fonction qui, au couple ("x", "y") associe "x"+"y" sera notée "λx.λy.x+y" ou plus simplement "λxy.x+y".


title: Lambda-calcul

text: Dans les expressions mathématiques en général et dans le lambda calcul en particulier, il y a deux catégories de variables : les variables libres et les variables liées (ou "muettes"). En lambda-calcul, une variable est liée par un λ. Une variable liée a une portée et cette portée est locale. De plus, on peut renommer une variable liée sans changer la signification globale de l'expression entière où elle figure. Une variable qui n'est pas liée est dite libre.


title: Lambda-calcul

text: Par exemple dans l'expression formula_29, la variable formula_5 est libre, mais la variable formula_31 est liée (par le formula_32). Cette expression est « la même » que formula_33 car formula_31 était un nom local, tout comme l'est formula_35. Par contre formula_36 ne correspond pas à la même expression car le formula_35 est libre.


title: Lambda-calcul

text: Tout comme l'intégrale lie la variable d'intégration, le formula_38 lie la variable qui le suit.


title: Lambda-calcul

text: Exemples:  On définit l'ensemble "VL(t)" des "variables libres" d'un terme "t" par récurrence :


title: Lambda-calcul

text: Un terme qui ne contient aucune variable libre est dit clos (ou fermé). On dit aussi que ce lambda-terme est un "combinateur" (d'après le concept apparenté de logique combinatoire).


title: Lambda-calcul

text: Un terme qui n'est pas clos est dit ouvert.


title: Lambda-calcul

text: L'outil le plus important pour le lambda-calcul est la substitution qui permet de remplacer, dans un terme, une variable par un terme. Ce mécanisme est à la base de la réduction qui est le mécanisme fondamental de l'évaluation des expressions, donc du « calcul » des lambda-termes.


title: Lambda-calcul

text: La substitution dans un lambda terme "t" d'une variable "x" par un terme "u" est notée "t[x := u]". Il faut prendre quelques précautions pour définir correctement la substitution afin d'éviter le phénomène de capture de variable qui pourrait, si l'on n'y prend pas garde, rendre liée une variable qui était libre avant que la substitution n'ait lieu.


title: Lambda-calcul

text: Par exemple, si "u" contient la variable libre "y" et si "x" apparaît dans "t" comme occurrence d'un sous terme de la forme "λy.v", le phénomène de capture pourrait apparaître. L'opération "t[x := u]" s'appelle la substitution dans "t" de "x" par "u" et se définit par récurrence sur "t" :


title: Lambda-calcul

text: Remarque : dans le dernier cas on fera attention à ce que "y" ne soit pas une variable libre de "u". En effet, elle serait alors « capturée » par le lambda externe. Si c'est le cas, on renomme "y" et toutes ses occurrences dans "v" par une variable "z" qui n'apparaît ni dans "t" ni dans "u".


title: Lambda-calcul

text: L'α-conversion identifie "λy.v" et "λz.v[y := z]". Deux lambda-termes qui ne diffèrent que par un renommage (sans capture) de leurs variables liées sont dits "α-convertibles". L'α-conversion est une relation d'équivalence entre lambda-termes.


title: Lambda-calcul

text: Exemples :


title: Lambda-calcul

text: Remarque : l'α-conversion doit être définie avec précaution avant la substitution. Ainsi dans le terme "λx.λy.xyλz.z", on ne pourra pas renommer brutalement "x" en "y" (on obtiendrait "λy.λy.yyλz.z") en revanche on peut renommer "x" en "z".


title: Lambda-calcul

text: Définie ainsi, la substitution est un mécanisme externe au lambda-calcul, on dit aussi qu'il fait partie de la méta-théorie. À noter que certains travaux visent à introduire la substitution comme un mécanisme interne au lambda-calcul, conduisant à ce qu'on appelle les calculs de "substitutions explicites".


title: Lambda-calcul

text: Une manière de voir les termes du lambda-calcul consiste à les concevoir comme des arbres ayant des nœuds binaires (les applications), des nœuds unaires (les λ-abstractions) et des feuilles (les variables). Les réductions ont pour but de modifier les termes, ou les arbres si on les voit ainsi ; par exemple, la réduction de "(λx.xx)(λy.y)" donne "(λy.y)(λy.y)".  On appelle "rédex" un terme de la forme "(λx.u) v", où u et v sont des termes et x une variable. On définit la bêta-contraction (ou β-contraction) de "(λx.u) v" comme "u[x := v]".  On dit qu'un terme "C[u]" se réduit en "C[u']" si "u" est un rédex qui se β-contracte en "u"', on écrit alors "C[u]"→"C[u']", la relation → est appelée "contraction".


title: Lambda-calcul

text: Exemple de contraction :


title: Lambda-calcul

text: "(λx.xy)a " donne "(xy)[x := a] = ay".


title: Lambda-calcul

text: On note → la fermeture réflexive transitive de la relation de contraction → et on l'appelle "réduction". Autrement dit, une réduction est une suite finie, éventuellement vide, de contractions.


title: Lambda-calcul

text: On définit = comme la fermeture réflexive symétrique et transitive de la contraction et elle est appelée "bêta-conversion", β-"conversion", ou plus couramment bêta-équivalence ou β-"équivalence".


title: Lambda-calcul

text: La β-équivalence permet par exemple de comparer des termes qui ne sont pas réductibles l'un envers l'autre, mais qui après une suite de β-contractions arrivent au même résultat. Par exemple "(λy.y)x = (λy.x)z" car les deux expressions se contractent pour donner "x".


title: Lambda-calcul

text: Formellement, on a "M = M' " si et seulement si "∃ N, ..., N" tels que "M = N, M'=N" et, pour tout "i" inférieur à "p" et supérieur à "0", "N→ N" ou "N→ N" .


title: Lambda-calcul

text: Cela signifie que dans une conversion on peut appliquer des réductions ou des relations inverses des réductions (appelées "expansions").


title: Lambda-calcul

text: On définit également une autre opération, appelée êta-réduction, définie ainsi : "λx.ux → u", lorsque x n'apparait pas libre dans u. En effet, "ux" s'interprète comme l'image de "x" par la fonction "u". Ainsi, "λx.ux" s'interprète alors comme la fonction qui, à "x", associe l'image de "x" par "u", donc comme la fonction "u" elle-même.


title: Lambda-calcul

text: Le calcul associé à un lambda-terme est la suite de réductions qu'il engendre. Le terme est la description du calcul et la "forme normale" du terme (si elle existe) en est le résultat.


title: Lambda-calcul

text: Un lambda-terme t est dit en forme normale si aucune bêta-contraction ne peut lui être appliquée, c'est-à-dire si "t" ne contient aucun rédex, ou encore s'il n'existe aucun lambda-terme "u" tel que "t → u". La structure syntaxique des termes en forme normale est décrite plus loin.


title: Lambda-calcul

text: On dit qu'un lambda-terme "t" est normalisable s'il existe un terme "u" auquel on ne peut appliquer aucune bêta-contraction et tel que "t = u". Un tel "u" est appelé la "forme normale" de "t".


title: Lambda-calcul

text: On dit qu'un lambda-terme "t" est fortement normalisable si toutes les réductions à partir de "t" sont "finies".


title: Lambda-calcul

text: Si un terme est fortement normalisable, alors il est normalisable.


title: Lambda-calcul

text: Théorème de Church-Rosser : soient "t" et "u" deux termes tels que "t = u". Il existe un terme "v" tel que "t → v" et "u → v".


title: Lambda-calcul

text: Théorème du losange (ou de confluence) : soient "t", "u" et "u" des lambda-termes tels que "t → u" et "t → u". Alors il existe un lambda-terme "v" tel que "u → v" et "u → v".


title: Lambda-calcul

text: Grâce au "Théorème de Church-Rosser" on peut facilement montrer l’unicité de la forme normale ainsi que la cohérence du lambda-calcul (c'est-à-dire qu'il existe au moins deux termes distincts non bêta-convertibles). On peut décrire la structure des termes en forme normale qui forment l'ensemble formula_53. Pour cela on décrit des termes dits neutres qui forment l'ensemble formula_54. Les termes neutres sont les termes dans lesquels une variable (par exemple formula_5) est appliquée à des termes en forme normale. Ainsi, par exemple, formula_56 est neutre si formula_57 ... formula_58 sont en forme normale. Les termes en forme normale sont les termes neutres précédés de zéro, un ou plusieurs λ, autrement dit, des abstractions successives de termes en forme normale. Ainsi formula_59 est en forme normale. On peut décrire les termes en forme normale par une grammaire.


title: Lambda-calcul

text: "Exemples" : formula_5 est neutre, donc aussi en forme normale. formula_61 est en forme normale. formula_62 est neutre. formula_63 est en forme normale. Par contre, formula_64 n'est pas en forme normale car il n'est pas neutre et il n'est pas une abstraction d'un terme en forme normale, mais aussi parce qu'il est lui-même un β-rédex, donc β-réductible.


title: Lambda-calcul

text: Sur la syntaxe et la réduction du lambda-calcul on peut adapter différents calculs en restreignant plus ou moins la classe des termes. On peut ainsi distinguer deux grandes classes de lambda-calculs : le lambda-calcul non typé et les lambda-calculs typés. Les types sont des annotations des termes qui ont pour but de ne garder que les termes qui sont normalisables, éventuellement en adoptant une stratégie de réduction. On espère ainsi avoir un lambda-calcul qui satisfait les propriétés de Church-Rosser et de normalisation.


title: Lambda-calcul

text: La correspondance de Curry-Howard relie un lambda calcul typé à un système de déduction naturelle. Elle énonce qu'un type correspond à une proposition et un terme correspond à une preuve, et réciproquement.


title: Lambda-calcul

text: Des codages simulent les objets usuels de l'informatique dont les entiers naturels, les fonctions récursives et les machines de Turing. Réciproquement le lambda-calcul peut être simulé par une machine de Turing. Grâce à la thèse de Church on en déduit que le lambda-calcul est un modèle universel de calcul.


title: Lambda-calcul

text: Dans la partie Syntaxe, nous avons vu qu'il est pratique de définir des primitives. C'est ce que nous allons faire ici.


title: Lambda-calcul

text: Ceci n'est que la définition d'un codage, et l'on pourrait en définir d'autres.


title: Lambda-calcul

text: Nous remarquons que :


title: Lambda-calcul

text: et que : Nous pouvons alors définir un lambda-terme représentant l'alternative: "if-then-else". C'est une fonction à trois arguments, un booléen "b" et deux lambda termes "u" et "v", qui retourne le premier si le booléen est vrai et le second sinon.


title: Lambda-calcul

text: Notre fonction est bien vérifiée:


title: Lambda-calcul

text: On verra de la même manière que À partir de là nous avons aussi un lambda-terme pour les opérations booléennes classiques :


title: Lambda-calcul

text: Le codage des entiers qui suit s'appelle les "entiers de Church" du nom de leur concepteur. On pose :


title: Lambda-calcul

text: et d'une manière générale : Ainsi, l'entier n est vu comme la fonctionnelle qui, au couple "≺f, x≻", associe "f (x)".


title: Lambda-calcul

text: Il y a deux manières de coder la fonction "successeur", soit en ajoutant un "f" en tête, soit en queue. Au départ nous avons "n = λfx.f x" et nous voulons "λfx.f x". Il faut pouvoir rajouter un "f" soit au début des "f" (« sous » les lambdas), soit à la fin.Les autres fonctions sont construites avec le même principe. Par exemple l'addition, en « concaténant » les deux lambda-termes : "λnpfx.n f (p f x)".


title: Lambda-calcul

text: Pour coder la "multiplication", on utilise le f pour « propager » une fonction sur tout le terme : "λnpf.n (p f)"


title: Lambda-calcul

text: Le "prédécesseur" et la "soustraction" ne sont pas simples non plus. On en reparlera plus loin.


title: Lambda-calcul

text: On peut définir le test à 0 ainsi : "if0thenelse = λnab.n (λx.b) a",  ou bien en utilisant les booléens "λn.n (λx.faux) vrai".


title: Lambda-calcul

text: Définissons d'abord une fonction d'itération sur les entiers : itère = "λnuv.n u v"


title: Lambda-calcul

text: "v" est le cas de base et "u" une fonction. Si "n" est nul, on calcule "v", sinon on calcule "u (v)".


title: Lambda-calcul

text: Par exemple l'addition qui provient des équations suivantes


title: Lambda-calcul

text: peut être définie comme suit. Le cas de base "v" est le nombre "p", et la fonction "u" est la fonction successeur. Le lambda-terme correspondant au calcul de la somme est donc :


title: Lambda-calcul

text: On remarquera que "add n p → n "successeur" p".


title: Lambda-calcul

text: On peut coder des couples par "c = λz.z a b" où "a" est le premier élément et "b" le deuxième. On notera ce couple "(a, b)".  Pour accéder aux deux parties on utilise "π = λc.c (λab.a)" et "π = λc.c (λab.b)". On reconnaîtra les booléens "vrai" et "faux" dans ces expressions et on laissera le soin au lecteur de réduire "π(λz.z a b)" en "a".


title: Lambda-calcul

text: On peut remarquer qu'un entier est une liste dont on ne regarde pas les éléments, en ne considérant donc que la longueur. En rajoutant une information correspondant aux éléments, on peut construire les listes d'une manière analogue aux entiers : [a ; ... ; a] = λgy. g a (... (g a y)...). Ainsi :


title: Lambda-calcul

text: De la même manière qu'on a introduit une itération sur les entiers on introduit une itération sur les listes. la fonction liste_it se définit par λlxm.l x m comme pour les entiers. Le concept est à peu près le même mais il y a des petites nuances. Nous allons voir par un exemple.


title: Lambda-calcul

text: exemple : La longueur d'une liste est définie par x :: l est la liste de tête x et de queue l (notation ML). La fonction longueur appliquée sur une liste l se code par :


title: Lambda-calcul

text: ou tout simplement


title: Lambda-calcul

text: Le principe de construction des entiers, des couples et des listes se généralise aux arbres binaires : Un arbre est soit une feuille, soit un nœud. Dans ce modèle, aucune information n'est stockée au niveau des nœuds, les données (ou clés) sont conservées au niveau des feuilles uniquement. On peut alors définir la fonction qui calcule le nombre de feuilles d'un arbre : nb_feuilles = λa.arbre_it a (λbc.add b c) (λn.1), ou plus simplement: nb_feuilles = λa.a add (λn.1)


title: Lambda-calcul

text: Pour définir le prédécesseur sur les entiers de Church, il faut utiliser les couples. L'idée est de reconstruire le prédécesseur par itération : pred = λn.π (itère n (λc.(π c, successeur (π c))) (0,0)). Puisque le prédécesseur sur les entiers naturels n'est pas défini en 0, afin de définir une fonction totale, on a ici adopté la convention qu'il vaut 0.


title: Lambda-calcul

text: On vérifie par exemple que  pred 3 → π (itère 3 (λc.(π c, successeur (π c))) (0,0)) → π (2,3) → 2.


title: Lambda-calcul

text: On en déduit que la soustraction est définissable par : sub = λnp.itère p pred n avec la convention que si p est plus grand que n, alors sub n p vaut 0.


title: Lambda-calcul

text: En combinant prédécesseur et itérateur, on obtient un "récurseur". Celui-ci se distingue de l'itérateur par le fait que la fonction qui est passée en argument a accès au prédécesseur.


title: Lambda-calcul

text: rec = λnfx.π (n (λc.(f (π c) (π c), successeur (π c))) (x, 0))


title: Lambda-calcul

text: Un combinateur de point fixe permet de construire pour chaque "F", une solution à l'équation "X = F X" . Ceci est pratique pour programmer des fonctions qui ne s'expriment pas simplement par itération, telle que le pgcd, et c'est surtout nécessaire pour programmer des fonctions partielles.


title: Lambda-calcul

text: Le combinateur de point fixe le plus simple, dû à Curry, est :


title: Lambda-calcul

text: Turing a proposé un autre combinateur de point fixe : On vérifie que formula_65 quel que soit g. Grâce au combinateur de point fixe, on peut par exemple définir une fonction qui prend en argument une fonction et teste si cette fonction argument renvoie vrai pour au moins un entier : teste_annulation = λg.Y (λfn.ou (g n) (f (successeur n))) 0.


title: Lambda-calcul

text: Par exemple, si on définit la suite alternée des booléens "vrai" et "faux" : alterne = λn.itère n non faux, alors, on vérifie que : teste_annulation alterne → ou (alterne 0) (Y (λfn.ou (alterne n) (f successeur n)) (successeur 0)) → ou (alterne 1) (Y (λfn.ou (alterne n) (f successeur n)) (successeur 1)) → vrai.


title: Lambda-calcul

text: On peut aussi définir le pgcd : pgcd = Y (λfnp.if0thenelse (sub p n) (if0thenelse (sub n p) p (f p (sub n p))) (f n (sub p n))).


title: Lambda-calcul

text: Le récurseur et le point fixe sont des ingrédients clés permettant de montrer que toute fonction partielle récursive est définissable en λ-calcul lorsque les entiers sont interprétés par les entiers de Church. Réciproquement, les λ-termes peuvent être codés par des entiers et la réduction des λ-termes est définissable comme une fonction (partielle) récursive. Le λ-calcul est donc un modèle de la calculabilité.


title: Lambda-calcul

text: On annote les termes par des expressions que l'on appelle des "types". Pour cela, on fournit un moyen de donner un type à un terme. Si ce moyen réussit, on dit que le terme est bien typé. Outre le fait que cela donne une indication sur ce que « fait » la fonction, par exemple, elle transforme les objets d'un certain type en des objets d'un autre type, cela permet de garantir la normalisation forte, c'est-à-dire que, pour tous les termes, toutes les réductions aboutissent à une forme normale (qui est unique pour chaque terme de départ). Autrement dit, tous les calculs menés dans ce contexte terminent. Les types simples sont construits comme les types des fonctions, des fonctions de fonctions, des fonctions de fonctions de fonctions vers les fonctions, etc. Quoi qu'il puisse paraître, le pouvoir expressif de ce calcul est très limité (ainsi, l'exponentielle ne peut y être définie, ni même la fonction formula_66).


title: Lambda-calcul

text: Plus formellement, les types simples sont construits de la manière suivante:


title: Lambda-calcul

text: Intuitivement, le second cas représente le type des fonctions acceptant un élément de type formula_68 et renvoyant un élément de type formula_69.


title: Lambda-calcul

text: Un contexte formula_73 est un ensemble de paires de la forme formula_74 où formula_5 est une variable et formula_76 un type. Un jugement de typage est un triplet formula_77 (on dit alors que formula_78 est bien typé dans formula_73), défini récursivement par:


title: Lambda-calcul

text: Si on a ajouté des constantes au lambda calcul, il faut leur donner un type (via formula_73).


title: Lambda-calcul

text: Le lambda-calcul simplement typé est trop restrictif pour exprimer toutes les fonctions calculables dont on a besoin en mathématiques et donc dans un programme informatique. Un moyen de dépasser l'expressivité du lambda-calcul simplement typé consiste à autoriser des variables de type et à quantifier sur elles, comme cela est fait dans le système F ou le calcul des constructions.


title: Lambda-calcul

text: Le lambda-calcul constitue la base théorique de la programmation fonctionnelle et a ainsi influencé de multiples langages de programmation. Le premier d'entre eux est Lisp qui est un langage non typé. Plus tard, ML et Haskell, qui sont des langages typés, seront développés.


title: Lambda-calcul

text: Les indices de de Bruijn sont une notation du lambda calcul qui permet de représenter par un terme, chaque classe d'équivalence pour l'α-conversion. Pour cela, de Bruijn a proposé de remplacer chaque occurrence d'une variable par un entier naturel. Chaque entier naturel dénote le nombre de λ qu'il faut croiser pour relier l'occurrence à son lieur.


title: Lambda-calcul

text: Ainsi le terme " λ x. x x" est représenté par le terme " λ 0 0" tandis que le terme " λx. λy. λz .x z (y z)" est représenté par " λ λ λ 2 0 (1 0)", parce que, dans le premier cas, le chemin de "x" à son lieur ne croise aucun λ, tandis que, dans le deuxième cas, le chemin de "x" à son lieur croise deux λ (à savoir "λy" et "λz"), le chemin de "y" à son lieur croise un λ (à savoir "λz") et le chemin de "z" à son lieur ne croise aucun λ.


title: Lambda-calcul

text: Comme autre exemple, le terme "(λ x λ y λ z λ u . (x (λ x λ y. x))) (λ x. (λ x. x) x)" et un terme qui lui est α-équivalent, à savoir "(λ x λ y λ z λ u . (x (λ v λ w. v))) (λ u. (λ t. t) u)" sont représentés par (λ λ λ λ (3 (λ λ 1))) (λ (λ 0) 0) (voir la figure).


title: Chronologie de l'histoire du Québec (1608 à 1662)

text: Cette section de la Chronologie de l'histoire du Québec et de la Nouvelle-France concerne les événements ayant eu lieu entre la fondation de Québec et la mise sur pied du Conseil souverain de la Nouvelle-France.


title: Assemblée générale des Nations unies

text: LAssemblée générale des Nations unies (anglais : "United Nations General Assembly") est l'un des six organes principaux de l'ONU. Elle a un rôle consultatif pour les questions touchant au maintien de la paix et à la sécurité internationale.


title: Assemblée générale des Nations unies

text: Le rôle de l'Assemblée est principalement consultatif, contrairement au conseil de sécurité qui a des pouvoirs principalement exécutifs.


title: Assemblée générale des Nations unies

text: Un État (membre ou non de l'ONU) peut saisir l'Assemblée générale sur les questions touchant au maintien de la paix ou à la sécurité internationale. Ses conclusions n'ont qu'une valeur de recommandation, finalement c'est le Conseil de sécurité qui décidera.


title: Assemblée générale des Nations unies

text: Elle a également pour rôle de nommer le Secrétaire général de l'ONU (sur recommandation du Conseil de sécurité), les membres non-permanents du Conseil de sécurité, ceux du Conseil économique et social, du Conseil de tutelle (qui ne se réunit plus depuis l'indépendance du dernier pays sous tutelle en 1994) et également ceux de la Cour internationale de justice et du Conseil des droits de l'homme.


title: Assemblée générale des Nations unies

text: Elle a un pouvoir de décision sur le budget de l'ONU, la répartition des contributions entre les États membres et l'entrée des nouveaux membres au sein de l'Organisation.


title: Assemblée générale des Nations unies

text: Elle est composée de cinq représentants par État membre. Chaque État dispose d'une seule voix, de manière à mettre sur un pied d'égalité tous les États membres.


title: Assemblée générale des Nations unies

text: Elle est composée également d'un Bureau, lui-même composé :


title: Assemblée générale des Nations unies

text: Il y a, une fois par an, une session ordinaire qui commence le troisième mardi de septembre. Les sessions ordinaires se terminent généralement vers la mi-décembre.


title: Assemblée générale des Nations unies

text: Chaque session débute par l'élection à la majorité simple des différents membres du Bureau.


title: Assemblée générale des Nations unies

text: Comme le nombre de questions pour chaque session ordinaire est important (plus d'une centaine), elles sont généralement renvoyées aux grandes commissions qui sont au nombre de six :


title: Assemblée générale des Nations unies

text: Que les questions soient traitées en session plénière ou par les grandes commissions, le vote est toujours fait en session plénière. Il se déroule généralement à la fin de la session ordinaire.


title: Assemblée générale des Nations unies

text: La première session ordinaire s'est tenue en 1946 au Westminster Central Hall à Londres (du 10 au ), puis s'est poursuivie au musée d'art de Queens de Flushing Meadows à New York (du au ). À l'exception de la de 1948 et de 1951 qui se sont déroulées au palais de Chaillot à Paris, toutes les autres sessions avant 1950 se sont tenues à Flushing Meadows. Depuis le (ouverture de ), l'assemblée générale se réunit annuellement dans l'actuel siège des Nations unies à Manhattan (seule la en 1988 se déroula au palais des Nations à Genève).


title: Assemblée générale des Nations unies

text: La se tient entre et .


title: Assemblée générale des Nations unies

text: Si une question ne peut pas attendre le début d'une session ordinaire, et si le Conseil de sécurité n’est pas en mesure, généralement en raison d’un désaccord entre les membres permanents, de prendre une décision sur une menace à la paix et à la sécurité internationales, des sessions extraordinaires d’urgence peuvent être convoquées afin de faire des recommandations appropriées aux États Membres en vue de prendre des mesures collectives. Ce pouvoir a été conféré à l’Assemblée par la résolution 377(V) du 3 novembre 1950. La proposition de session extraordinaire doit être appuyée par au moins sept membres, ou par une majorité d’États Membres de l’Organisation des Nations Unies. Si des votes sont suffisants, l’Assemblée doit se réunir dans les 24 heures, les membres étant informés au moins douze heures avant l’ouverture de la session. À la date du 28 février 2022, il y a eu 11 sessions extraordinaires d’urgence dans l’histoire de l’ONU. Par exemple, le 27 février 2022, le Conseil de sécurité a adopté la résolution 2623 (2022) pour convoquer une session extraordinaire d’urgence de l’Assemblée générale, afin d'étudier la situation en Ukraine : n'ayant besoin que d'une majorité de neuf voix, sans possibilité de veto, le Conseil a adopté la résolution par 11 voix pour, une voix contre (Russie), et les abstentions de l'Inde, de la Chine et des Émirats arabes unis.


title: Assemblée générale des Nations unies

text: Sur les questions touchant à la paix, à la sécurité internationale, à l'admission de nouveaux membres et aux budgets, les décisions sont prises à la majorité des deux tiers. Toutes les autres décisions sont prises à la majorité simple.


title: Assemblée générale des Nations unies

text: De nombreux documents, concernant un ou plusieurs points de l'ordre du jour de l'Assemblée générale sont publiés lors de chaque session. Ces documents reflètent les travaux, les débats et le processus décisionnel de l'Assemblée générale. Il s'agit principalement de rapports, de lettres, de comptes rendus de réunions, de résolutions et décisions.


title: Assemblée générale des Nations unies

text: Toutes les résolutions font l'objet d'une publication individuelle. Elles sont des expressions formelles de l'opinion ou de la volonté des organes des Nations unies. Elles concernent en général les questions de fonds. Les décisions concernent des questions de procédure, comme les élections, les nominations, organisation des futures sessions. Elles ne sont pas publiées individuellement mais sont reproduites dans une compilation annuelle.


title: Sucre d'érable

text: Le sucre d'érable résulte de la déshydratation du sirop d'érable par chauffage. C'est un sucre naturel, dont l'indice glycémique de 54 est inférieur à celui du sucre de betterave ou canne (60) et celui du miel (55-87).


title: Sucre d'érable

text: Le sirop d'érable est chauffé jusqu'à une température d’ébullition de 114 à 125 °C, en refroidissant il cristallise. Les cristaux de sucre d'érable sont ensuite obtenus par filtration. En refroidissant rapidement le sirop tout en le brassant, on obtient une pâte de consistance similaire au beurre, appelé pour cette raison beurre d'érable.


title: Sucre d'érable

text: C'est un marquant bien adapté aux préparations culinaires comme les desserts, en ingrédient ou en couverture. En effet, on trouve sur le marché français du sucre sous trois formes : cigarette, pailleté et fin. Le pailleté est idéal pour une crème brûlée (froide ou chaude), la cigarette pour une mise en place finale, comme sur une glace ou une tarte.


title: Secrétaire général des Nations unies

text: Le secrétaire général des Nations unies est le plus haut fonctionnaire de l'ONU. Nommé par l'Assemblée générale sur recommandation du Conseil de sécurité, il est membre du Secrétariat des Nations unies. En règle générale, il parle couramment anglais et français, les deux langues officielles de travail de l'ONU.


title: Secrétaire général des Nations unies

text: L'actuel titulaire du poste est le Portugais António Guterres depuis le 1 janvier 2017.


title: Secrétaire général des Nations unies

text: Le secrétaire général est nommé par l'Assemblée générale sur recommandation du Conseil de sécurité. Les membres permanents peuvent utiliser leur droit de veto pour empêcher la nomination d'un candidat. La durée de son mandat est de 5 ans renouvelable (un nombre limite de renouvellement n'a cependant pas été fixé). Jusqu'à présent, à l'exception de Boutros Boutros-Ghali qui n'a effectué qu'un seul mandat, tous les secrétaires généraux ont vu leur mandat renouvelé une fois.


title: Secrétaire général des Nations unies

text: Le secrétaire général est le plus indépendant possible, c'est pourquoi la pratique veut que la nationalité des différents secrétaires généraux ne soit jamais celle d'un État membre permanent au Conseil de sécurité.


title: Secrétaire général des Nations unies

text: Il dirige le Secrétariat des Nations unies. La Charte définit le Secrétaire général comme le « chef de l'Administration de l'Organisation ». Pour l'assister dans sa tâche, il dispose du Cabinet dirigé par le vice-secrétaire général des Nations unies.


title: Secrétaire général des Nations unies

text: La Charte des Nations unies dans son le charge de remplir toutes les fonctions dont il peut être chargé par le Conseil de sécurité, l'Assemblée générale, le Conseil économique et social ou tout autre organe de l'ONU.


title: Secrétaire général des Nations unies

text: En tant que plus haut fonctionnaire de l'ONU, il peut utiliser son indépendance pour empêcher l'apparition, l'aggravation ou l'extension de tout conflit pouvant mettre en péril le maintien de la paix ou du respect du droit international, notamment en attirant l'attention du Conseil de sécurité. Il peut nommer des représentants spéciaux.


title: Hydro-Québec

text: Hydro-Québec est une société d'État québécoise responsable de la production, du transport et de la distribution de l'électricité au Québec. Fondée en 1944, son unique actionnaire est le gouvernement du Québec. La société a son siège social à Montréal.


title: Hydro-Québec

text: Avec ses 61 centrales hydroélectriques, Hydro-Québec constitue le principal producteur d'électricité au Canada et l'un des plus grands producteurs mondiaux d'hydroélectricité. La puissance installée de ses installations s'établit à (MW) et elle comptait de clients en 2021.


title: Hydro-Québec

text: Les grands développements hydroélectriques menés sans interruption pendant un demi-siècle — les centrales de Bersimis, l'extension de la centrale de Beauharnois, Carillon, Manic-Outardes, Churchill Falls et le gigantesque projet de la Baie-James — ont permis au Québec de réduire sa dépendance à l'égard des combustibles fossiles. En 2017, l'électricité représentait 40,9 % de la demande finale d'énergie primaire au Québec. Cependant, la construction et l'exploitation de ces aménagements ont eu des conséquences sur l'environnement nordique. Elles ont aussi eu un impact sur les populations autochtones vivant dans le Nord-du-Québec, qui ont vigoureusement contesté les développements hydroélectriques de l'État québécois.


title: Hydro-Québec

text: Depuis sa fondation, Hydro-Québec joue un rôle déterminant dans le développement économique du Québec, par la taille et la fréquence de ses investissements, par le développement d'une expertise reconnue, notamment dans le domaine du génie-conseil, de la gérance de grands projets d'infrastructures et du transport de l'électricité, ainsi que par sa capacité à produire une grande quantité d'électricité à bas prix.


title: Hydro-Québec

text: L'augmentation des coûts de l'énergie au cours des années 2000, les bas taux d'intérêt et l'émergence d'un consensus international sur la question des changements climatiques ont eu un impact positif sur les résultats financiers d'Hydro-Québec. Entre 2017 et 2021, l'entreprise a versé des dividendes de de dollars canadiens au gouvernement du Québec tout en garantissant aux Québécois des tarifs d'électricité qui figurent parmi les plus bas en Amérique du Nord.


title: Hydro-Québec

text: À la suite de la Grande Dépression des années 1930, des voix s'élèvent au Québec en faveur d'une intervention du gouvernement dans le secteur de l'électricité. Les reproches se multiplient à l'endroit du : leurs tarifs sont considérés abusifs et leurs profits excessifs. Inspirés par la nationalisation de la production et la municipalisation de la distribution menée en Ontario par Sir Adam Beck au début du , des personnalités, comme Philippe Hamel et T.-D. Bouchard, proposent d'imiter la province voisine. Porté au pouvoir en 1939, Adélard Godbout est favorable aux idées des partisans de la nationalisation. Il dénonce l'inefficacité du système, dominé par des intérêts anglophones, ainsi que la collusion entre les deux principaux acteurs, la "Montreal Light, Heat and Power" (MLH&P) et la "Shawinigan Water and Power", qu'il qualifie de .


title: Hydro-Québec

text: À l'automne 1943, le gouvernement Godbout annonce qu'il déposera un projet de loi afin de prendre le contrôle de la MLH&P, qui exerce un monopole dans la grande région de Montréal. Le , l'Assemblée législative du Québec adopte une loi créant une entreprise commerciale de propriété publique, la Commission hydroélectrique de Québec, abrégée en Hydro-Québec. L'article 22 de la loi confie à la nouvelle société le mandat de , de restaurer le réseau électrique, vétuste, et de développer l'électrification des régions rurales, non desservies par les entreprises existantes.


title: Hydro-Québec

text: La prise de contrôle de la MLH&P survient dès le lendemain, le et la défaite du parti libéral de Godbout, battu par l'Union nationale de Maurice Duplessis quelques mois plus tard, ne remet pas en cause cette décision à l'exception du mandat d'électrification rurale confié à l'Office de l'électrification rurale (OER). Le ministre Daniel Johnson, qui deviendra premier ministre entre 1966 et 1968, sera de ceux qui encourageront le développement d'Hydro-Québec.


title: Hydro-Québec

text: La nouvelle direction doit accroître rapidement la production de l'entreprise si elle veut subvenir à l'augmentation rapide de la demande. Dès 1948, Hydro-Québec met en chantier la deuxième phase de la centrale de Beauharnois, qui sera complétée en 1953. Une fois ce projet terminé, la société entreprend la construction de deux centrales sur la rivière Betsiamites sur la Côte-Nord, à de Montréal. Les centrales Bersimis-1 et Bersimis-2 sont construites entre 1953 et 1959. Elles constituent un banc d'essai technique et offrent un avant-goût du développement des prochaines décennies dans le Nord du Québec.


title: Hydro-Québec

text: La Révolution tranquille n'interrompt pas l'aménagement de nouveaux barrages. Au contraire, elle lui apporte une impulsion nouvelle sous la gouverne de René Lévesque, qui hérite du poste de ministre responsable d'Hydro-Québec après l'élection de de Jean Lesage. Le ministre approuve la poursuite des projets en cours à Beauharnois, Carillon et sur la Cote-Nord et se prépare à nationaliser les 11 compagnies privées qui dominent la production et la distribution dans la plupart des régions du Québec.


title: Hydro-Québec

text: Le , Lévesque donne le coup d'envoi à sa campagne pour la nationalisation. Dans un discours prononcé devant les représentants de l'industrie, il dénonce la situation actuelle, « un tel fouillis, invraisemblable et coûteux ». Il ajoute que la réforme contribuera à « un aménagement rationnel de notre économie ». Le ministre fait ensuite le tour du Québec pour rassurer le public et réfuter les arguments de la Shawinigan Water & Power, le principal opposant au projet. Les 4 et , il parvient à convaincre ses collègues du gouvernement libéral d'appuyer la nationalisation pendant une réunion secrète du conseil des ministres, au camp de pêche du lac à l'Épaule. La question sera l'enjeu d'une élection générale anticipée. Le thème choisi est .


title: Hydro-Québec

text: Le gouvernement Lesage est réélu en et René Lévesque va de l'avant : Hydro-Québec lance une offre publique d'achat et achète toutes les actions des 11 compagnies privées pour la somme de de dollars. Presque toutes les coopératives électriques et une partie des réseaux municipaux acceptent aussi l'offre d'achat et sont fusionnés. Hydro-Québec devient ainsi le plus grand fournisseur d'électricité québécois le .


title: Hydro-Québec

text: Pour financer les acquisitions, Hydro-Québec émet des obligations d'une valeur totale de de dollars sur les marchés américains et ne reçoit aucun apport de capital du gouvernement. Compte tenu du montant de la transaction, qui constituait à l'époque la plus grosse opération financière réalisée par des étrangers sur la place de New York, l'emprunt est effectué en 15 émissions de de dollars chacune. Les emprunts ont été complètement remboursés à leur terme, en 1984.


title: Hydro-Québec

text: Au lendemain de la nationalisation de 1963, Hydro-Québec mène trois grands dossiers de front. En doublant de taille du jour au lendemain, elle doit d'abord se réorganiser afin d'intégrer les nouvelles filiales aux structures existantes, tout en imposant le français comme langue de travail au sein de l'entreprise. En même temps, elle doit standardiser des réseaux hétéroclites, ce qui nécessite la conversion de milliers de clients de l'Abitibi de à la fréquence standard de . Tout cela en poursuivant la construction d'un autre grand complexe hydroélectrique sur la Côte-Nord, rendu nécessaire en raison du rythme de croissance de la consommation, qui double entre 1964 et 1973.


title: Hydro-Québec

text: Depuis 1959, la construction du projet Manic-Outardes bat son plein dans l'arrière-pays de Baie-Comeau. Des milliers d'ouvriers sont à l'œuvre afin de construire les sept centrales du complexe, dont le colossal barrage Daniel-Johnson est l'emblème. Large de , l'ouvrage en voûte et contreforts est le plus imposant au monde. Le barrage a été nommé en l'honneur du premier ministre, qui est mort sur les lieux le , quelques heures avant la cérémonie de parachèvement du barrage.


title: Hydro-Québec

text: Le projet Manic-Outardes consiste en quatre centrales, d'une puissance de , sur la rivière Manicouagan et de trois centrales () sur la rivière aux Outardes. La construction du complexe se terminera en 1976 sur la rivière Manicouagan avec l'installation des derniers groupes à la centrale René-Lévesque et en 1978 sur la rivière aux Outardes, lors de la mise en service de la centrale Outardes-2.


title: Hydro-Québec

text: Les coûts des infrastructures de transport de l'électricité produite par ces nouveaux barrages, situés à des centaines de kilomètres des grands centres urbains, posent un problème qui divise les ingénieurs d'Hydro-Québec. L'ingénieur Jean-Jacques Archambault propose de construire des lignes à , une tension beaucoup plus élevée que celles qui sont généralement utilisées à cette époque. Archambault persiste et convainc ses collègues. Son projet inédit monopolise les efforts d'Hydro-Québec et de quelques-uns des plus grands fournisseurs internationaux de matériel à haute tension et la première ligne du réseau à a été mise en service le .


title: Hydro-Québec

text: À cette époque, plusieurs considèrent qu'Hydro-Québec constitue un «État dans l'État», la société représentant à elle seule 6 % du PIB et 20 % de tous les investissements sur l'ensemble du Québec.


title: Hydro-Québec

text: En faisant l'acquisition de la Shawinigan Water & Power et de certaines de ses filiales en 1963, Hydro-Québec obtient une participation de 20 % au capital d'une société qui planifie la construction d'une centrale hydroélectrique aux chutes Hamilton, au Labrador, avec la "" (BRINCO), un consortium de financiers britanniques dirigés par Edmund de Rothschild, de NM Rothschild & Sons. Après des années de négociations, les parties concluent une entente définitive le .


title: Hydro-Québec

text: En vertu de l'entente, Hydro-Québec achète la quasi-totalité de l'électricité produite pendant à un quart de cent le kilowattheure (kWh) — le taux exact a été fixé à le kilowattheure jusqu'en 2016 et pour les dernières du contrat. En échange, elle partage les risques d'intérêts et rachète une partie de la dette du projet pour une participation accrue à 34,2 % dans le capital de la société propriétaire de l'ouvrage, la Churchill Falls (Labrador) Corporation Limited. La centrale de Churchill Falls, d'une puissance installée de , effectue ses premières livraisons à Hydro-Québec le 6 décembre 1971 et la mise en service des 11 turbines sera complétée en 1974.


title: Hydro-Québec

text: À Terre-Neuve, le gouvernement change en 1972 et le libéral Joey Smallwood est remplacé par le conservateur Frank Moores. Le nouveau gouvernement est scandalisé par les prix prévus au contrat, d'autant plus que les prix de l'énergie montent en flèche durant cette période, marquée par le premier choc pétrolier. Sous la menace d'une loi d'expropriation de Brinco, le gouvernement de Terre-Neuve rachète la participation du promoteur dans CF(L)Co. en , pour la somme de de dollars. Ce faisant, la province récupérait la concession hydraulique du cours inférieur du fleuve Churchill.


title: Hydro-Québec

text: Le nouvel actionnaire majoritaire insiste ensuite pour renégocier le contrat de vente d'électricité avec Hydro-Québec. S'amorce alors une bataille judiciaire qui se terminera à deux reprises devant la Cour suprême du Canada. La cour tranche en faveur d'Hydro-Québec les deux fois, en 1984 et en 1988. En 2014, la Cour supérieure du Québec a débouté un autre recours intenté par CF(L)Co., qui demandait de revoir le prix de l'énergie vendue en vertu du contrat. Le jugement affirme qu'Hydro-Québec n'a aucune obligation de rouvrir le contrat puisque le bas prix payé pour l'électricité est le principal avantage obtenu par Hydro-Québec en échange des risques que l'entreprise a accepté de prendre en finançant une part importante du projet. Le gouvernement terre-neuvien a annoncé son intention de porter la cause en appel.


title: Hydro-Québec

text: Un an après son élection en 1970, le nouveau premier ministre Robert Bourassa lance « le projet du siècle » afin de tenter de réaliser sa promesse de nouveaux emplois. Le , il annonce, devant des membres du Parti libéral du Québec, qu'Hydro-Québec construira un complexe hydroélectrique de dans la Jamésie, région de la baie James. Après avoir évalué les options disponibles, le gouvernement et Hydro-Québec optent l'année suivante pour la construction de trois centrales sur la Grande Rivière : LG-2, LG-3 et LG-4.


title: Hydro-Québec

text: En plus des difficultés techniques et logistiques que posent un projet de cette envergure dans une région pratiquement vierge et éloignée, le président de la Société d'énergie de la Baie James, Robert A. Boyd, doit faire face à l'opposition des cris du territoire, qui craignent les conséquences qu'aura le projet sur leur mode de vie traditionnel. En , les Cris obtiennent une injonction qui arrête temporairement les travaux. L'opposition des autochtones forcera le gouvernement Bourassa à négocier un compromis avec les résidents.


title: Hydro-Québec

text: Le recours judiciaire du Grand Conseil des Cris force le gouvernement du Québec à négocier une solution. Le , les parties signent la Convention de la Baie-James et du Nord québécois. La convention accorde aux Cris et aux Inuit une compensation financière, un territoire défini, la gestion des services de santé et d'éducation en échange d'une reconnaissance territoriale réciproque et de l'arrêt des poursuites.


title: Hydro-Québec

text: À la pointe des travaux, entre 1977 et 1981, entre et œuvrent sur les chantiers de la baie James. Inaugurée le , la centrale souterraine LG-2, d'une puissance initiale de , est la plus puissante de son genre au monde. La centrale, le barrage et le réservoir seront renommés en l'honneur de Robert Bourassa quelques jours après sa mort, en 1996. La construction de la première phase du projet est complétée par la mise en service de LG-3 en et de LG-4 en . Une seconde phase du projet, comprenant l'aménagement de cinq centrales supplémentaires — les centrales LG-1 (), LG-2A (), Laforge-1 (), Laforge-2 () et Brisay () —, sera réalisée entre 1987 et 1996.


title: Hydro-Québec

text: Après deux décennies de croissance soutenue, les années 1980 et 1990 seront difficiles pour Hydro-Québec, qui doit faire face à plusieurs controverses environnementales et à une certaine méfiance du public, en raison des controverses et des hausses de tarifs. Les répercussions du deuxième choc pétrolier et la sévère récession qui a suivi forcent aussi l'entreprise à modifier ses stratégies de développement pour recentrer ses priorités vers les besoins des consommateurs. Ainsi, un nouveau projet d'aménagement hydroélectrique et la construction d'une ligne à haute tension destinée à l'exportation vers la Nouvelle-Angleterre se heurtent à l'opposition de groupes autochtones et environnementaux canadiens et américains, alors que les éléments provoquent deux pannes générales en moins d'un an.


title: Hydro-Québec

text: Afin d'exporter l'électricité de la Baie-James vers la Nouvelle-Angleterre, Hydro-Québec se propose de construire une ligne de transport d'électricité à courant continu de , le Réseau multiterminal à courant continu. La ligne, d'une capacité de et longue de , doit relier les centrales de la Baie-James, à la région de Boston au Massachusetts. La construction de la ligne se déroule généralement sans incident, sauf à l'endroit où les câbles à haute tension doivent traverser le fleuve Saint-Laurent, entre Grondines et Lotbinière.


title: Hydro-Québec

text: En raison de l'opposition organisée des citoyens des deux rives, dont la tisserande réputée Micheline Beauchemin, Hydro-Québec doit construire un tunnel de sous le fleuve, au coût de de dollars. Cette ligne sous-fluviale a nécessité deux ans et demi de travail. Elle a été mise en service le .


title: Hydro-Québec

text: Hydro-Québec et gouvernement Bourassa auront toutefois beaucoup plus de difficultés dans le Nord du Québec. Annoncé en 1986, le projet Grande-Baleine prévoit la construction de trois centrales hydroélectriques sur la Grande rivière de la Baleine. Ce projet de de dollars aurait eu une puissance installée de et devait produire d’énergie annuellement à sa mise en service, en 1998-1999.


title: Hydro-Québec

text: Le projet suscite immédiatement la controverse. Comme en 1973, les Cris du Nord du Québec s'opposent au projet. Ils intentent des recours judiciaires contre Hydro-Québec, au Québec, au Canada et dans plusieurs États américains, afin d'arrêter la construction ou de stopper les exportations d'électricité québécoise vers les États-Unis. Les Cris obtiennent du gouvernement fédéral qu'il mène des processus d'évaluation environnementaux distincts, afin d'étudier la construction du complexe. Les dirigeants cris s'allient aussi à des groupes écologistes américains et lancent une campagne de relations publiques attaquant le projet Grande-Baleine, Hydro-Québec et le Québec en général. La campagne menée tambour battant aux États-Unis et en Europe quelques mois après l'échec de l'Accord du lac Meech et la crise d'Oka, exaspère les groupes écologistes québécois qui se sont dissociés de la campagne des cris.


title: Hydro-Québec

text: La campagne connaît cependant du succès dans l'État de New York et force la "New York Power Authority" à annuler un contrat de de dollars américains, signé avec Hydro-Québec en 1990. Deux mois après son élection, en 1994, le nouveau premier ministre Jacques Parizeau annonce la suspension du projet de Grande-Baleine, affirmant qu'il n'était pas nécessaire pour répondre aux besoins énergétiques du Québec.


title: Hydro-Québec

text: Hydro-Québec doit aussi lutter sur un autre front. La nature s'acharne contre le réseau de transport de la société, qui subit trois grandes pannes en dix ans. Ces incidents mettent en relief le talon d'Achille du réseau électrique québécois : les grandes distances séparant ses installations de production des principaux centres de consommation.


title: Hydro-Québec

text: Le à , tout le Québec, une partie de la Nouvelle-Angleterre et du Nouveau-Brunswick, sont plongés dans le noir en raison d'un bris d'équipement dans un poste de transport sur la Côte-Nord, point de passage obligé de l'électricité qui transite des chutes Churchill, et Manicouagan. La panne, qui a duré jusqu'à huit heures par endroits, a été causée par une accumulation de glace sur les équipements du poste Arnaud.


title: Hydro-Québec

text: Moins d'un an plus tard, le à , une importante éruption solaire entraîne de brusques variations du champ magnétique terrestre, qui provoquent le déclenchement des mécanismes de protection des lignes de transport d'électricité, isolant le réseau de la Baie-James et entraînant une panne d'électricité générale, qui dure plus de neuf heures. Cette panne a forcé Hydro-Québec à prendre des mesures pour réduire les risques que posent les éruptions solaires.


title: Hydro-Québec

text: En , cinq jours consécutifs de pluie verglaçante dans le sud du Québec provoquent la plus grave panne de courant de l'histoire d'Hydro-Québec. Le poids de la glace accumulé sur les lignes de transport et de distribution cause l'écroulement de de lignes de transport et de de lignes de distribution dans le sud du Québec et plonge d'abonnés dans le noir pour des périodes variant de quelques heures à près de quatre semaines.


title: Hydro-Québec

text: Une partie de la Montérégie, surnommée le par les médias et la population, est particulièrement affectée par la crise du verglas, en raison d'accumulations de glace dépassant les . Les abonnés de l'île de Montréal et de l'Outaouais souffrent aussi de l'interruption de service qui prend une importance particulière puisque la majorité des ménages québécois se chauffent à l'électricité. Immédiatement, Hydro-Québec mobilise plus de pour rebâtir le réseau. Au plus fort de la crise, le , l'île de Montréal n'est plus alimentée que par une seule ligne à haute tension. Le gouvernement prend la décision de couper temporairement l'électricité au centre-ville de Montréal afin de maintenir l'approvisionnement en eau potable de la métropole.


title: Hydro-Québec

text: Le service sera finalement rétabli pour l'ensemble des clients le , ce qui inspirera cette comparaison au rédacteur en chef du magazine "L'actualité", Jean Paré, dans son éditorial du :


title: Hydro-Québec

text: La tempête a entraîné des coûts directs de de dollars pour Hydro-Québec au cours de l'année 1998 et plus d'un milliard de dollars ont été investis au cours des suivantes afin de renforcer le réseau contre des événements similaires. Toutefois, une partie des travaux de l'opération de « bouclage » du réseau à dans la région métropolitaine de Montréal, autorisée sans évaluation environnementale préalable pendant la crise, s'est rapidement heurtée à l'opposition des citoyens du Val-Saint-François, en Estrie, qui obtiennent l'annulation des décrets autorisant la construction. Après l'adoption d'une loi et la tenue d'audiences publiques sur le projet, la construction de la ligne Hertel-Des Cantons sera finalement autorisée en et mise en service l'année suivante.


title: Hydro-Québec

text: À la fin des années 1990, Hydro-Québec se porte bien sur le plan financier. Le rôle plus actif qu'elle joue dans les marchés de l'électricité de la Nouvelle-Angleterre et de l'état de New York permet à Hydro-Québec de franchir le cap du nouveau millénaire avec son premier bénéfice annuel d'un milliard $ en 2000. La même année, l'Assemblée nationale ratifie la séparation fonctionnelle entre les activités de production, de transport et de distribution de l'électricité et établit un système d'appel d'offres pour les approvisionnements supplémentaires qui seront éventuellement requis, auquel Hydro-Québec Production pourra être mise en concurrence avec des producteurs privés.


title: Hydro-Québec

text: Entre-temps, une succession d'années plus sèches qu'à la normale dans les bassins versants du nord du Québec suscite l'appréhension, d'autant plus qu'aucune nouvelle centrale n'a été mise en service depuis l'ouverture de Laforge-2 en 1996. Prévue pour une mise en service au cours de l'année 2001, la centrale SM-3 sur la Côte-Nord connaît des retards en raison de problèmes avec ses deux groupes turbine-alternateurs. Le déficit d'hydraulicité atteint en 2003, ce qui oblige Hydro-Québec à utiliser la centrale thermique de Tracy pendant sur 12 pour une production thermique de cette année-là.