title: Ourthe (rivière)

text: Au début du , l'Ourthe sera le théâtre d'un projet industriel extraordinaire pour l'époque: le canal de Meuse et Moselle. L'entreprise, lancée en 1827, sera affectée par des problèmes de financement. Les incertitudes liées à l'avenir géopolitique de la région et le développement du chemin de fer mineront le projet. L'indépendance reconnue du Grand-Duché de Luxembourg en 1839 provoquera son arrêt définitif.


title: Ourthe (rivière)

text: D'importantes sections de ce canal sont encore visibles entre Liège et Comblain-au-Pont. À Bernistap, un hameau de Tavigny (commune de Houffalize), sous la frontière belgo-luxembourgeoise, un tunnel de quelque 2,5 kilomètres est encore visible (classé monument historique en 1988 et à l'intérieur de propriétés privées). L'ouvrage d'art est le point haut du parcours, reliant le bassin mosan de l'Ourthe et le bassin rhénan de la Wiltz.


title: Ourthe (rivière)

text: Le cours de l'Ourthe est rectifié entre le pont des Grosses Battes à Angleur et sa confluence avec la Meuse. Les travaux sont entrepris entre 1902 et 1905. Le débit moyen observé à Angleur (Liège) entre 1995 et 2004 est de /s, avec un débit annuel moyen maximal de /s en 2002, et un débit annuel moyen minimal de /s en 1996.


title: Ourthe (rivière)

text: Toujours à Angleur, de 1992 à 2001, sur une période de 10 ans, on a calculé :


title: Ourthe (rivière)

text: La lame d'eau écoulée dans le bassin se monte à 480 millimètres, ce qui doit être considéré comme assez élevé. Le débit spécifique (Qsp) de la rivière est donc de par seconde et par kilomètre carré de bassin.


title: Ourthe (rivière)

text: Sur l'amont du bassin-versant et le cours inférieur, à la fin du XXème jusqu'au début des années 1990 les crues ne semblent pas plus nombreuses qu'avant et elles semblent même un peu moins intense, peut être grâce à des aménagements destinés à faciliter l'écoulement dans le lit mineur ou majeur du cours d'eau.


title: Joost van den Vondel

text: Joost van den Vondel est un écrivain, poète et dramaturge néerlandais né à Cologne le , mort à Amsterdam le .


title: Joost van den Vondel

text: Selon l"'Encyclopædia Universalis", Joost van den Vondel et Rembrandt représentent


title: Joost van den Vondel

text: Joost van den Vondel connut une grande renommée. Il eut beaucoup d'influence et est aujourd'hui considéré comme le créateur de la langue et du théâtre classique néerlandais. Tout comme on parle de la « langue de Molière », de « langue de Shakespeare » et de « langue de Goethe » pour évoquer respectivement le français, l'anglais et l'allemand, on parle généralement de la « langue de Vondel » pour désigner le néerlandais.


title: Joost van den Vondel

text: Né de parents mennonites et originaires d'Anvers, il se convertit en 1641 au catholicisme, ce qui a provoqué un choc pour les Hollandais, à majorité calviniste. Cette conversion est peut-être due à un mariage avec une catholique, Mayken de Wolff (qui mourut en 1635), à 23 ans, et avec qui il eut quatre enfants dont deux sont morts en bas âge. Vondel s'est d'ailleurs souvent battu pour la liberté de culte. Il a en effet écrit de nombreux écrits satiriques dénonçant le calvinisme et Johan van Oldenbarnevelt, grand pensionnaire de 1589 à 1619 des États de Hollande.


title: Joost van den Vondel

text: Joost van den Vondel est mort très vieux, à 91 ans. Il a d'ailleurs écrit la plupart de ses plus célèbres pièces à plus de 65 ans, comme "Lucifer" et "Adam en exil" ("Adam in Ballingschap").


title: Joost van den Vondel

text: Un grand parc portant son nom situé à Amsterdam rend hommage à l'écrivain : le Vondelpark, et il y a une Rue Vondel (Vondelstraße) en Cologne, dans l'arrondissement Neustadt-Süd.


title: Joost van den Vondel

text: L'astéroïde (2992) Vondel porte son nom.


title: Joost van den Vondel

text: Le corps de Vondel est aujourd'hui enterré dans la Nieuwe Kerk d'Amsterdam, l'église nationale des Pays-Bas où sont couronnés les souverains du pays.


title: Joost van den Vondel

text: Cinq tragédies, éd. Didier, Paris, 1969, 468 p.


title: Joost van den Vondel

text: La première représentation de la pièce de Vondel, "Gisbrecht van Aemstel", eut lieu le pour l’inauguration du nouveau théâtre d’Amsterdam, le Schouwburg, dû à l’architecte Jacob van Campen. La pièce a ensuite été jouée à chaque Jour de l'an à Amsterdam jusqu'en 1968. La pièce se déroule après le siège d‘Amsterdam de 1300.


title: Joost van den Vondel

text: Gijsbrecht van Aemstel est un des membres de la conjuration contre le comte de Hollande, Florent. Après l’assassinat du comte, en 1296, la plupart des conjurés sont exécutés. Gijsbrecht, lui, s’exile, puis croit pouvoir retourner à Amsterdam sans être inquiété. Mais les amis et partisans du comte Florent n’ont rien oublié : avec l’assentiment du nouveau comte, ils assiègent Amsterdam.


title: Joost van den Vondel

text: Vondel développe dans cette pièce ses conceptions politiques : il croit en l'idéal d'un homme politique sage, capable de restaurer l'équilibre en évitant des conflits sanguinaires. C'est un thème également abordé par son contemporain Pieter Corneliszoon Hooft dans une pièce appelée "Geeraerdt van Velsen", qui aborde le même sujet de l'histoire nationale néerlandaise.


title: Régions de Belgique

text: La Belgique est un État fédéral qui se compose de communautés et de régions.


title: Régions de Belgique

text: Les régions disposent d'une autonomie étendue en particulier dans les domaines de l'économie, de l'emploi, de l'aménagement du territoire, de l'agriculture, des travaux publics, du logement, du tourisme, de l'énergie, de l'environnement, des voies navigables, des eaux et forêts, de la tutelle sur les pouvoirs subordonnés, de la politique familiale, des handicapés, du troisième âge (etc.). Ainsi que (partiellement) : de l'aide aux personnes, de l'enseignement (bâtiments, transports scolaires) ou du patrimoine et les communautés en disposent en matière culturelle ainsi qu'en matière d'aide aux personnes et d'enseignement.


title: Régions de Belgique

text: L'autonomie des régions, comme de toutes les entités fédérées belges, est très étendue en raison du principe des compétences exclusives qui singularisent le fédéralisme belge par le fait qu'il prolonge, pratiquement sans réserves, l'autonomie des entités fédérées sur la scène internationale.


title: Régions de Belgique

text: La Belgique comprend trois régions : la Région wallonne, la Région flamande et la Région de Bruxelles-Capitale.


title: Régions de Belgique

text: Au sein de l'état fédéral qu'est la Belgique, chaque région, comme un état fédéré, possède son gouvernement et son parlement. Le fédéralisme belge est bâti sur le concept de l'équipollence des normes, c’est-à-dire que de manière générale, le niveau de pouvoir fédéral (belge) n'a aucune préséance par rapport aux entités fédérées pour ce qui concerne les compétences relatives de chacun des niveaux de pouvoir.


title: Régions de Belgique

text: Ainsi, un « décret » loi votée par un Parlement régional dans le domaine des compétences régionales ne peut pas être contredit par une loi belge. De plus, comme les compétences des entités fédérées leur sont exclusives sur leur territoire, une même compétence ne peut pas être détenue à la fois par les entités fédérées et par l'État belge.


title: Régions de Belgique

text: Par ailleurs, le fédéralisme belge prévoit depuis 1993 que les entités fédérées (Régions, communautés) ont le droit de régler, pour leurs matières, la coopération internationale - y compris la conclusion des traités.


title: Régions de Belgique

text: Cependant, c'est bien au niveau de la constitution belge et des lois spéciales fédérales que sont déterminées les compétences respectives de l'État fédéral et des entités fédérées.


title: Régions de Belgique

text: Sauf exception, le roi des Belges, chef de l'État belge, n'intervient plus dans le processus de la décision politique au niveau des entités fédérées, à l'exception de l'assermentation des chefs de gouvernement.


title: Régions de Belgique

text: Le territoire de la région wallonne est divisé en 262 communes, dont 253 communes dans la région de langue française et 9 communes dans la région de langue allemande, qui forment la Communauté germanophone de Belgique (2 % de la population wallonne). Les Wallons représentent environ un tiers de la population belge et la Wallonie près de 60 % du territoire du Royaume. La Wallonie est la région belge la plus grande en superficie.À côté de Wavre, Mons, Liège, Arlon et Namur, qui sont les chefs-lieux des provinces wallones, les autres villes les plus importantes de la Région Wallonne sont, par ordre de population décroissante :


title: Régions de Belgique

text: La région de Bruxelles-Capitale est formée des 19 communes de l'agglomération bruxelloise. Cette Région n'est pas divisée en provinces et représente un dixième de la population totale du pays. Elle est officiellement bilingue, historiquement néerlandophone, mais actuellement majoritairement francophone, et entièrement enclavée par la Région flamande. À côté d'Anvers, Louvain, Bruges, Gand et Hasselt, qui sont les chefs-lieux des provinces flamandes, les autres villes importantes de la Région flamande sont :


La Radio-télévision belge de la Communauté française (RTBF) est une entreprise publique autonome à caractère culturel responsable du service public de la radio et de la télévision pour la Communauté française de Belgique (Wallonie et Bruxelles). Elle succède le à la Radiodiffusion-télévision belge (RTB) et dispose actuellement de trois offres : une offre radio, une offre télévisuelle et une offre Internet.


title: Radio-télévision belge de la Communauté française

text: Ses équivalents sont la (VRT) pour la Communauté flamande de Belgique et la (BRF) pour la Communauté germanophone de Belgique.


text: La RTBF est membre de l'Union européenne de radio-télévision, est actionnaire de la chaîne d'information Euronews à 0,60 %, de TV5 Monde à 11,1 %, de la RMB à 100 %, de Casa Kafka Pictures à 100 %, de la Sonuma à 40 % et de Dreamwall à 22 %.


text: La loi du 18 juin 1930 créée l'Institut national de radiodiffusion (INR, ou NIR en néerlandais) qui se voit attribuer l'usage exclusif des trois longueurs d'onde accordées à la Belgique, dont deux seront utilisées pour diffuser des émissions en français et en néerlandais. Elle s'installe à la Maison de la Radio, à Ixelles. Le , face à l'invasion allemande, l'INR interrompt ses activités après avoir démonté ou détruit tous ses émetteurs afin d'éviter leur utilisation par l'ennemi. Le , l'INR, par arrêté du régent équivalant à un arrêté royal, retrouve son mandat de service de radiodiffusion public. Le marque les débuts de la télévision en Belgique avec diffusion d'émissions régulières dès le 31 octobre.


text: En 1954, l'INR participe à la création de l'Eurovision. La Belgique est choisie comme pays hôte de la régie centrale - installée sous la coupole du Palais de justice de Bruxelles - qui réceptionne et redistribue les programmes de plusieurs pays d'Europe grâce à une antenne plantée sur le dôme du palais. L'INR devient la Radiodiffusion-télévision belge, émissions françaises (RTB) en 1960. La RTB comprend un institut d'émissions françaises, un institut d'émissions néerlandaises, indépendants l'un par rapport à l'autre, et un institut des services communs. Ses statuts lui assurent une totale autonomie culturelle, la garantie de la liberté d'information et l'indépendance vis-à-vis du gouvernement. En néerlandais, la RTB est appelée BRT (Belgische Radio - en Televisie).


text: La télévision est devenue autonome par rapport à la radio, avec du personnel distinct, et des locaux appropriés. En 1971, la télévision passe à la couleur et des centres régionaux de production sont créés à Liège et Charleroi en 1976, puis à Bruxelles en 1979. La RTB lance en 1977 une deuxième chaîne de télévision, RTbis, qui propose des rediffusions de la première chaîne ainsi que la diffusion de diverses émissions et feuilletons (qui deviendra RTBF Bis puis en 1979 Télé 2).


text: À la suite de la fédéralisation de la Belgique dans les années 1970 et à la création de trois communautés linguistiques dotés de compétences juridiques, un décret du Conseil culturel de la Communauté française de Belgique transforme la RTB en Radio-Télévision belge de la Communauté française (RTBF) le . La Belgischer Rundfunk (BRF) est alors créée par la Communauté germanophone de Belgique pour assurer les services jusqu'ici dévolus à la RTB. La RTBF et la BRF ont gardé le 'B' de Belgique alors qu'en 1998, la BRT devenait VRT.


text: Tout comme la RTB, la RTBF dispose de l'autonomie culturelle, de la liberté de l'information, d'une indépendance face aux pouvoirs publics et d'un monopole de diffusion radio-télévisée.


text: Les années 1980 vont permettre à la RTBF de se développer, tout d’abord en tant que membre fondateur de la chaîne internationale francophone TV5, créée en 1984 avec TF1, Antenne 2, FR3 et la SSR, puis avec la création en 1985 de la première filiale de la RTBF, la RMB (Régie Média Belge). La Communauté française autorise par décret du la diffusion par la RTBF de publicités dont la gestion et la commercialisation des espaces publicitaires est confiée à TVB, société commune aux chaînes publique et privée de la Communauté française (RTBF et RTL-TVi). C'est enfin la création de Canal+ TVCF, télévision à péage, filiale de la RTBF et du groupe Canal+ créée à Bruxelles, le 28 août 1988 et qui deviendra Canal+ Belgique en mai 1995. Le 21 mars 1988 naît Télé 21, deuxième chaîne à part entière alliant l'événement en direct et la diffusion de films, de musique et de documentaires sociaux et culturels.


text: Malgré ces développements, l’entreprise subit la concurrence conjointe des chaînes de télévision et de radio françaises et privées belges. En vue d'enrayer son déficit croissant, l'entreprise met en place en 1993 le plan Horizon 97 prévoyant le départ anticipé à la retraite du personnel statutaire. Télé 21 cède la place à Arte 21 (la RTBF entre alors dans le G.E.I.E d'ARTE en mars 1993 en tant que membre associé, cet accord sera suspendu en mars 1994) et Sport 21 qui reste la chaîne de l'événement sportif et des grands directs (canal partagé avec les programmes d'Arte).


text: Quatre ans plus tard, le 8 juillet, un décret du parlement de la Communauté française donne l'autonomie financière à la RTBF en en faisant une entreprise publique autonome. Le mars 1997, la deuxième chaîne, RTBF 2, divise son offre de programmes entre la Deux, chaîne de multidiffusion de programmes culturels, de documentaires et chaîne d'accueil des événements non sportifs en direct (Commissions parlementaires, Concours musical Reine Elisabeth par exemple) et Eurosport 21 qui propose des « fenêtres » de programmes sportifs produits par la RTBF, insérées dans le programme complet de Eurosport. À l'occasion de la Coupe du Monde de Football de 1998, la RTBF décide de diffuser l'intégralité des matches sur ses deux chaînes de télévision principales, RTBF la Une et RTBF la Deux. Afin que le public le plus large ait accès à ces programmes, on procède à une redistribution des émetteurs, qui permet de capter la Une et la Deux sur les réseaux de télédistribution bien sûr, mais aussi par voie hertzienne, sur la totalité du territoire de la Région wallonne et de la Région de Bruxelles-Capitale. Ce dispositif sera maintenu au-delà de la Coupe du Monde, par décision du Conseil d'Administration du 13 juillet.


text: Au milieu des années 1990, la RTBF reprend une politique d’expansion en participant à la création d'EuroNews en 1993, en signant un accord de coproduction avec la chaîne franco-allemande Arte en 1995, portant sur la production d'une vingtaine d'heures de programmes par an, en reprenant ensuite la diffusion d'émissions radio en ondes courtes par RTBF International le 1999, à destination de l'Afrique centrale et de l'Europe méridionale et en créant enfin en 2001 RTBF Sat diffusée en clair et en numérique vingt-quatre heures sur vingt-quatre sur toute l'Europe grâce au satellite Astra.


text: Le plan Magellan, destiné à assainir les finances de l'entreprise grâce notamment à des départs en retraite anticipés, mais aussi par un repositionnement des chaînes du groupe, est approuvé le par le conseil d'administration de la RTBF. Ainsi, les radios sont réformées : Bruxelles Capitale et Fréquence Wallonie fusionnent pour donner VivaCité ; quant à Radio 21, elle se scinde en une chaîne "classic rock" (Classic 21) et une chaîne musicale « jeune » (Pure FM). Les deux chaînes de télévision sont également profondément remaniés pour être plus complémentaires. La deuxième chaîne de la RTBF fait peau neuve en septembre 2003 en prenant l’appellation la deux et en s'offrant un nouvel habillage, de nouvelles émissions et de nouveaux visages.


text: Ce plan de transformation se termine en mai 2005 avec l'adoption d’une nouvelle identité visuelle qui abandonne le logo « oreille » datant de l'INR pour un look plus moderne.


text: En , la RTBF commence à adopter le format 16/9.


text: La Trois, copie dérivée de RTBF Sat, est lancée officiellement le 30 novembre 2007. Son contenu et son habillage sont identiques à celui de la RTBF Sat. Seul le logo de la chaîne change. Son inauguration a lieu dans le cadre du lancement officiel du bouquet TNT de la RTBF. Quatre chaînes de télévision sont alors disponibles : la Une, la Deux, la Trois et Euronews.


text: La crise économique des années 2008 et suivantes n'épargnera pas la RTBF. Pour causes d'économies imposées par la Communauté française de Belgique, son pouvoir de tutelle, en trois mois à peine le groupe de radio-télévision voit la fin des émissions radio en ondes courtes et la disparition d'une de ses chaînes de télévision. Les recettes fiscales étant insuffisantes à cause de la crise économique, le budget alloué à la RTBF par la Communauté française est revu à la baisse.


text: Le 31 décembre 2009 à 23 h 15, la diffusion en ondes courtes de RTBF International est définitivement abandonnée, mettant un terme à l'utilisation de cette technologie au sein du groupe. La chaîne radio est désormais disponible en streaming et podcasting. La diffusion en AM depuis l'émetteur de Wavre a été arrêtée le 31 décembre 2018 et se poursuit en FM à Kinshasa jusqu'en juillet 2019.


text: Le 12 janvier 2010, Jean-Paul Philippot, administrateur général, annonce une nouvelle évolution dans l'histoire du groupe : la RTBF s'appelle désormais RTBF.be, changeant par la même occasion de logo. Cette petite révolution montre l'intérêt du groupe pour les nouvelles technologies et surtout pour son pôle internet, entre télé et radio, qu'il souhaite développer.


text: Le 15 février 2010 à minuit, pour la première fois de son histoire, la RTBF connaît la fermeture d'une de ses chaînes de télévision. RTBF Sat est en effet suspendue, car la diffusion par satellite est jugée trop onéreuse. La Trois continue la diffusion du programme de RTBF Sat, mais uniquement à destination du public belge. La grille des programmes connaît une période de transition allant de mi-février 2010 à septembre 2010. Le 25 septembre 2010, elle devient une chaîne sans publicité, ouverte à des productions externes à la RTBF, accueillant les programmes pour enfants, des films et séries en version originale, des documentaires, des archives, des JT avec traduction gestuelle et des rediffusions des autres chaînes.


text: De septembre 2014 à 2018, la RTBF couvre tous les matches de l'équipe de Belgique de football.


text: Le 22 juin 2014, la RTBF a réalisé un record d'audience lors du match Belgique Russie de la phase de poule.


text: À partir de la saison 2018-2019, la RTBF récupère les droits de la coupe de football Ligue Europa pour une durée de 3 ans.


text: Le , la RTBF arrête d'utiliser les ondes moyennes pour la diffusion de ses programmes.


text: Le 7 septembre 2020, les chaînes de radio Pure et de TV La Deux fusionnent pour donner naissance au média Tipik, ciblant les jeunes adultes et se déclinant en TV, radio et sur le digital.


text: En 1967, le graphiste anversois Michel Olyff – à qui l'on doit notamment les logos du Crédit communal, du Patrimoine mondial et de la Loterie nationale – conçoit un emblème commun pour la RTB et la BRT. Surnommé « l'oreille » – mais parfois aussi « le coquillage », « l’œil qui entend », « l’oreille qui voit », ou « la corne d’abondance » –, il représente un cercle tournant sur lui-même et s'élargissant, à la manière d'une onde, et ce, afin « d'exprimer l'idée de la diffusion ». Dans une interview réalisée en 1997, M. Olyff précise que son emblème – terme qu'il préfère à celui de « logo » – prend la forme du pavillon d'un phonographe : "« Ce n'est ni une oreille, ni un œil, symboles de récepteur, mais un pavillon ou un cornet, symbole de l'émetteur »". L'emblème sera également utilisé par la BRF, le groupe audiovisuel public de la Communauté germanophone de Belgique créé en 1977.


text: En décembre 1977, les lettres « RTB » ainsi qu'un grand « F » sont ajoutées à l'emblème, toujours sous la supervision de M. Olyff. Ce changement traduit le changement de nom de RTB (Radio-télévision belge) en RTBF (Radio-Télévision belge de la Communauté française). En octobre 1982, l'emblème de Michel Olyff est modifié une seconde fois, par Jean Binon afin d'être décliné dans les trois couleurs primaires.


text: En 1994, la RTBF confie à Imagique – filiale de la RTBF dirigée par Jean-Louis Stalport, et spécialisée dans le graphisme –, puis à la société française Gédéon, la réalisation de nouveaux sonores et habillages pour ses émissions. Le « pavillon de phonographe » est alors modifié sans l'accord de Michel Olyff : un encadrement est ajouté, la couleur bleue remplace le noir, le disque blanc est remplacé par un anneau, et enfin une brisure dans la courbe inférieure apparaît. Selon Olyff, ces changements sont probablement dus à l'erreur d'interprétation de l'emblème par la RTBF et Gédéon, qui y voient un œil et une oreille au lieu du disque et de la spirale qui évolue. Olyff écrit alors à la RTBF, et des contacts sont établis entre Olyff et Stalport afin de respecter l'emblème initial. Olyff consent au maintien du rectangle d'encadrement et de la couleur bleue, mais demande le retour du disque plein blanc ainsi qu'une correction de la courbe. Après trois ans de tractations qui n'aboutirent pas, Olyff intente un procès au groupe, qui est condamné le 5 août 1997 au paiement d'une astreinte de francs pour chaque utilisation du logo dénaturé, et ce, dès le 8 août 1997. Finalement, la RTBF et Olyff concluent un accord à l'amiable : l'emblème retravaillé par Olyff et dont Stalport ne voulait pas est adopté.


text: Le , la RTBF abandonne définitivement le « pavillon de phonographe », la remplaçant par un logo fait des lettres « rtbf » en minuscules, synonymes de souplesse, de simplicité et d’ouverture. Le 13 janvier 2010, afin de marquer le passage de l’institution au numérique et aux nouvelles technologies, un cercle bleu comprenant le domaine .be est ajouté à l'ensemble.


text: Notons enfin que la VRT a abandonné l'emblème de Michel Olyff au début des années 1990, mais utilise depuis 2017 un logo vert fluo dont la forme rappelle le logo de M. Olyff. Quant à la BRF, elle l'utilisa jusqu'en juin 2015.


text: Le siège de la RTBF est situé dans un immeuble au Boulevard Auguste Reyers 52 à Schaerbeek, Bruxelles. Ce site est desservi par la station de prémétro Diamant.


text: La RTBF possède des centres régionaux de production à Charleroi, Liège, Mons, Namur et Libramont. Elle dispose également d'un site à Rhisnes qui concentre l'ensemble des moyens techniques et mobiles (cars de captations) de l'entreprise, pour l'ensemble de ses médias.


text: Les émissions sont préparées dans les différents centres de productions du groupe. Le journal télévisé, les émissions sportives, le "Dan Late Show" et certaines émissions devant utiliser un fond vert sont enregistrées dans les studios du Boulevard Reyers, à Schaerbeek. Jusqu'en 2010, "Ici Bla-Bla" y était aussi enregistré. C'est aussi depuis cette location qu'émettent les radios La Première, Musiq'3 et Tipik. Les radios VivaCité et Classic 21, elles, émettent depuis le centre de Mons. Les émissions de divertissement sont produites à Liège. Autrefois, certaines étaient produites à Charleroi, mais , seules les émissions pour enfants et la météo y sont enregistrées.


text: La RTBF est une entreprise publique autonome à caractère culturel de la communauté (décret du 14 juillet 1997 modifié par décrets du 19 décembre 2002, du 9 janvier 2003, du 27 février 2003, du 3 juillet 2003 et du 19 mai 2004).


text: La RTBF fait partie de différentes instances internationales :


text: Les recettes des radios et télévisions publiques belges s’élèvent en 2012 à 316 millions d'euros dont 70 % proviennent de la dotation de la Communauté française et 30 % ont leur origine dans la publicité et autres recettes commerciales.


text: La RTBF est dirigée par un Conseil d'Administration dont les membres sont élus conformément aux répartitions politiques au sein du Conseil culturel de la Communauté française de Belgique, autorité de tutelle de la RTBF, afin d'éviter que les membres du conseil d'administration de la RTBF appartiennent tous à la même tendance politique.


text: Conseil d’administration :L'Administrateur général est désigné par le Conseil culturel pour un mandat de six ans. Les membres du Comité de Direction de la RTBF sont aussi nommés pour un mandat de 6 ans.


text: Administrateurs généraux :


text: Directeur général du pôle Médias :


text: Directeur général du pôle Contenus :Directeur de l'Information :


text: Directeur général des Technologies et Exploitations


text: Directeur des Finances RTBF Entreprise : https://www.rtbf.be/entreprise/a-propos#gouvernance


text: La RTBF diffuse neuf stations de radio (sans compter les webradios) et quatre chaînes de télévision (quatre chaînes propres, une en collaboration avec Arte France). La RTBF opère cinq chaînes de télévision destinées à la Communauté française de Belgique, dont l'actualité et les coulisses peuvent être suivies en ligne :À l'exception de TipikVision, chaque chaîne de la RTBF bénéficie d'un canal diffusé en haute définition, même si seulement une petite partie des programmes est en qualité HD.L’offre VOD (vidéo à la demande) de la RTBF se décline sur plusieurs plateformes :Depuis le début des années 2010, la RTBF coproduit de nombreuses séries télévisées et collections de téléfilms, le plus souvent à caractère policier, en association avec France Télévisions, TF1 et diverses sociétés de production françaises ou belges (comme Be-Films).


text: Le , on apprend que l'action de mobilisation de la RTBF intitulée « Viva for Life » a récolté en 2017 et financera associatifs. Du 17 au 23 décembre 2018, une nouvelle édition de l'opération « Viva for Life » au profit de l'enfance défavorisée est menée par la RTBF depuis la commune de Nivelles. Du 17 au , la RTBF organise la de l'opération « Viva for Life » au profit de l'enfance précarisée depuis la Grand-Place de Tournai.


text: Les audiences de la RTBF citées ci-dessous se basent sur les parts de marché 4 ans et plus :


title: Calcul des propositions

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


title: Calcul des propositions

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


title: Calcul des propositions

text: Quoique le calcul des propositions ne se préoccupe pas du contenu des propositions, mais seulement de leurs relations, il peut être intéressant de discuter ce que pourrait être ce contenu. Une proposition donne une information sur un état de chose. Ainsi « 2 + 2 = 4 » ou « le livre est ouvert » sont deux propositions.


title: Calcul des propositions

text: En logique classique (logique bivalente), une proposition peut prendre uniquement les valeurs "vrai" ou "faux". Une phrase optative (qui exprime un souhait comme « Que Dieu nous protège ! »), une phrase impérative (« viens ! », « tais-toi ! ») ou une interrogation n'est pas une proposition. « Que Dieu nous protège ! » ne peut être ni vraie ni fausse : elle exprime uniquement un souhait du locuteur.


title: Calcul des propositions

text: Par contre, une phrase comme « Dans ce calcul, "toutes les variables informatiques sont toujours strictement positives" » est une proposition dont le contenu a été modifié par le quantificateur "toutes les" et la modalité temporelle "toujours" et qui est donc supposée s'avérer dans la durée. Ce type de proposition relève de la logique modale et plus précisément de la logique temporelle. En effet, la modalité "toujours" affirme sa pérennité dans le temps et elle sera donc toujours vraie, tandis que le quantificateur "tous les" stipule que la proposition "sont toujours positives" s'applique à toutes les variables informatiques, ce qui d'ailleurs sort du domaine du calcul des propositions.


title: Calcul des propositions

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


title: Calcul des propositions

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


title: Calcul des propositions

text: Dans les théories de la logique mathématique, on considère donc deux points de vue dits syntaxique et sémantique, c'est le cas en calcul des propositions.


title: Calcul des propositions

text: Pour une logique donnée, les règles de déductions envisagées sont correctes vis-à-vis de la sémantique, au sens où à partir de propositions vraies on ne peut déduire que des propositions vraies. Si la déduction correspond parfaitement à la sémantique le système est dit complet.


title: Calcul des propositions

text: Le système exposé ci-dessous se situe dans le cadre de la logique classique, qui est la branche de la logique mathématique la plus utilisée en mathématiques. On trouvera plus loin une présentation de logiques non classiques. L'adjectif « classique » ne doit pas être pris dans un sens de « normalité », mais comme un attribut que lui a donné l'histoire de la logique, elle aurait tout aussi bien pu s'appeler « booléenne ».


title: Calcul des propositions

text: À la base de la syntaxe du calcul des propositions sont les variables propositionnelles ou propositions atomiques, notées "p", "q", etc., qui constituent généralement un ensemble infini dénombrable.


title: Calcul des propositions

text: Les deuxièmes constituants de base du langage du calcul des propositions sont les opérateurs ou connecteurs. Ce sont des symboles qui permettent de construire des propositions plus élaborées. Les plus courants de ces connecteurs logiques sont :


title: Calcul des propositions

text: On considère souvent aussi la constante notée ⊥, prononcé « taquet vers le haut », « type vide », « "" » ou « bot », qui vise à représenter le "faux".


title: Calcul des propositions

text: À côté de ces symboles on utilise des parenthèses pour lever les ambiguïtés dans les formules (choix adopté ci-dessous), ou une notation comme la notation polonaise, inventée par le logicien polonais Jan Łukasiewicz. Il est important que la définition des formules soit simple et sans ambiguïtés, pour permettre en particulier les définitions inductives sur la structure des formules, mais pratiquement il est possible d'économiser les parenthèses, soit en adoptant certaines conventions pour lever les ambiguïtés, soit parce que le contexte fait que ces ambiguïtés sont sans importance.


title: Calcul des propositions

text: Le calcul des propositions repose de plus sur des règles de formation indiquant comment construire des propositions complexes à partir des propositions élémentaires, ou atomes, que sont les variables propositionnelles, et d'éventuelles constantes comme ⊥. Ces règles déterminent quels assemblages de signes, quels mots, sont bien formés et désignent des propositions. La définition dépend d'un choix de connecteurs, et d'un choix d'atomes.


title: Calcul des propositions

text: On se donne un ensemble formula_2 de variables propositionnelles. L'ensemble des formules du calcul des propositions (sur formula_2), ou simplement des propositions, est défini par induction, c'est-à-dire que c'est le plus petit ensemble tel que :


title: Calcul des propositions

text: "Exemples" : Si "P", "Q" et "R" sont des propositions,


title: Calcul des propositions

text: Afin d'alléger la présentation des expressions sans mettre en péril l'absence d'ambiguïté, on autorise par des conventions syntaxiques certaines entorses à la définition ci-dessus.


title: Calcul des propositions

text: Pour la lisibilité, on utilise également plusieurs formes de parenthèses (taille, remplacement par des crochets...)


title: Calcul des propositions

text: Par ailleurs, on démontre que seules les parenthèses ouvrantes sont nécessaires à la non-ambiguïté de la lecture des formules qui pour cette raison sont remplacées par un point "." dans certaines notations.


title: Calcul des propositions

text: Le calcul des propositions permet de présenter les trois systèmes déductifs les plus connus. On se limite pour cela aux propositions contenant, outre les variables propositionnelles, seulement des implications, des disjonctions et des occurrences de "faux" autrement dit de ⊥. On admet que ¬"P" est une abréviation de "P" → ⊥. Si "P" est un théorème, autrement dit une proposition qui a une démonstration, on note cela par ⊢"P".


title: Calcul des propositions

text: Les systèmes déductifs utilisent des règles de déduction (appelées aussi "règles d'inférence") qui s'écrivent:


Calcul des propositions


title: Calcul des propositions

text: Les formula_6 sont appelées les prémisses et formula_7 est appelée la conclusion.


title: Calcul des propositions

text: Il n'y a qu'une seule règle appelée le "modus ponens", elle s'écrit :


title: Calcul des propositions

text: Elle peut se comprendre ainsi : "si formula_9 est un théorème et formula_10 est un théorème alors formula_11 est un théorème". À cela, on peut ajouter :


title: Calcul des propositions

text: Alors que la déduction à la Hilbert manipule et démontre des théorèmes, la déduction naturelle démontre des propositions sous des hypothèses et quand il n'y a pas (plus) d'hypothèses, ce sont des théorèmes. Pour dire qu'une proposition formula_10 est conséquence d'un ensemble formula_22 d'hypothèses, on écrit formula_23. Alors que dans la déduction à la Hilbert, il n'y a qu'une règle et plusieurs axiomes, dans la déduction naturelle il y a un seul axiome et plusieurs règles. Pour chaque connecteur, on classe les règles en "règles d'introduction" et en "règles d'élimination".


title: Calcul des propositions

text: En outre, il y a une règle de réduction à l'absurde, nécessaire en logique classique:


title: Calcul des propositions

text: On remarquera que la règle d'élimination de l'implication est très proche du "modus ponens", d'ailleurs on l'appelle aussi "modus ponens". On remarquera qu'il n'y pas de règle d'introduction du "faux" et que la règle d'élimination du "faux" revient à dire que si d'un ensemble d'hypothèses je déduis le "faux" (ou l'absurde) alors de ce même ensemble je peux déduire n'importe quoi. On remarquera que la réduction à l'absurde est la règle qui correspond au raisonnement par l'absurde: pour démontrer formula_10, on ajoute formula_32 aux hypothèses et si l'on obtient l'absurde, alors on a formula_10.


title: Calcul des propositions

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


title: Calcul des propositions

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


title: Calcul des propositions

text: Les trois systèmes utilisent le même symbole formula_55, mais cette notation est cohérente. Le format formula_56 utilisé pour la déduction naturelle est en fait un séquent dans lequel il n'y a qu'une seule conclusion, on parle alors d'un séquent naturel. Le format formula_57 utilisé pour les théorèmes dans les systèmes à la Hilbert correspond à un séquent naturel où il n'y a pas d'hypothèse.


title: Calcul des propositions

text: On peut montrer que ces trois systèmes sont équivalents dans le sens où ils ont exactement les mêmes théorèmes.


title: Calcul des propositions

text: L'aspect « classique » du calcul des propositions est obtenu, dans le système à la Hilbert, par l'axiome de contraposition formula_14, il apparaît dans la déduction naturelle à travers la réduction à l'absurde. Le calcul des séquents est classique, mais si l'on se restreint aux séquents avec un seul conséquent, il devient intuitionniste.


title: Calcul des propositions

text: La sémantique détermine les règles d'interprétations des propositions. Attribuer des valeurs de vérité à chacune des propositions élémentaires intervenant dans une proposition revient à choisir un modèle de cette proposition.


title: Calcul des propositions

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


title: Calcul des propositions

text: Nous explicitons le comportement, puis donnons la table de vérité associée


title: Calcul des propositions

text: Exemple 1 : En effet, si on attribue à "A" la valeur 0, alors ¬"A" prend la valeur 1, (¬"A" → "A") prend la valeur 0, et (¬"A" → "A") → "A" prend la valeur 1. De même, si on attribue à "A" la valeur 1, alors ¬"A" prend la valeur 0, (¬"A" → "A") prend la valeur 1, et (¬"A" → "A") → "A" prend la valeur 1.


title: Calcul des propositions

text: Exemple 2 : En effet, si on attribue à "A" la valeur 1, alors ¬"A" prend la valeur 0, ("A" → ¬"A") prend la valeur 0, et "A" → ("A" → ¬"A") prend la valeur 0.


title: Calcul des propositions

text: Une table de vérité à "n" entrées définit un connecteur "n"-aire. Un ensemble de connecteurs propositionnels est dit "complet" si tout connecteur peut se définir au moyen des connecteurs de l'ensemble. Toute table de vérité se décrit à l'aide de conjonctions de disjonctions et de négation, par exemple on décrit entièrement la table de vérité de l'équivalence ci-dessus par « "p" ↔ "q" prend la valeur vrai si et seulement si "p" et "q" prennent la valeur faux ou "p" et "q" prennent la valeur vraie », c'est-à-dire que "p" ↔ "q" ≡ (¬"p" ∧ ¬"q") ∨ ("p" ∧ "q"). Cette méthode est générale et permet de montrer que le système {¬, ∧, ∨} est un système complet de connecteurs. On en déduit que {¬, ∧}, {¬, ∨} sont aussi des systèmes complets (à cause des lois de de Morgan, "A"∨"B" ≡ ¬ (¬"A" ∧ ¬"B"), "A" ∧ "B" ≡ ¬ (¬"A" ∨ ¬"B")). L'ensemble {¬, →} est également complet : "A" ∨ "B" ≡ ¬"A" → "B".


title: Calcul des propositions

text: L'ensemble constitué du seul connecteur NON-ET (noté « | » par Henry Sheffer ) est également complet, ¬"P" étant équivalent à "P"|"P" et "P"∨"Q" à ("P"|"P") | ("Q"|"Q"). Cette particularité est utilisée pour la construction de circuits logiques, une seule porte logique suffit alors pour concevoir tous les circuits existants.


title: Calcul des propositions

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


title: Calcul des propositions

text: Le fait que toute proposition soit démontrable si elle est une tautologie exprime une propriété du calcul propositionnel que l'on appelle la complétude, cela signifie que la présentation déductive du calcul propositionnel est équivalente à la présentation sémantique. La complétude repose sur les remarques suivantes.


title: Calcul des propositions

text: L'article théorème de complétude du calcul des propositions propose une autre démonstration plus détaillée.


title: Calcul des propositions

text: Il résulte de la complétude du calcul des propositions que :


title: Calcul des propositions

text: Supposons donné un nombre infini de propositions. Peut-on satisfaire simultanément ces propositions ? Autrement dit, existe-il des valeurs de vérité pour leurs variables propositionnelles qui donnent 1 comme valeur de vérité à toutes les propositions? Si la réponse est positive pour tout sous-ensemble fini de ces propositions, alors elle l'est pour toutes les propositions. Cette propriété, qui assure que l'on peut passer de tous les sous-ensembles finis à l'ensemble infini tout entier, est appelée la compacité.


title: Calcul des propositions

text: Nous avons vu que, pour décider si une proposition est démontrable classiquement, il suffit de vérifier si c'est une tautologie, c'est-à-dire de vérifier si elle prend la valeur de vérité 1 quelles que soient les valeurs de vérité de ses variables propositionnelles.


title: Calcul des propositions

text: Cette approche brutale se heurte cependant au temps de calcul qu'elle requiert. En effet, si la proposition possède "n" variables propositionnelles, il faut calculer 2 combinaisons de valeurs possibles pour les variables propositionnelles, ce qui devient rapidement infaisable pour "n" grand. Ainsi, si "n" = 30, il faudra énumérer plus d'un milliard de combinaisons de valeurs.


title: Calcul des propositions

text: Il existe certes des améliorations possibles. Par exemple, si on attribue la valeur de vérité 0 à une variable propositionnelle "p", on peut attribuer directement la valeur 0 à formula_92 indépendamment de la valeur ultérieure attribuée à "q", ce qui diminue le nombre de calculs à effectuer.


title: Calcul des propositions

text: On peut également chercher à voir s'il est possible d'invalider les implications. Considérons par exemple la proposition : Étant constituée d'une implication, pour la rendre invalide, il suffit que la conclusion formula_75 puisse prendre la valeur 0 (et donc formula_74 la valeur 1) et que l'hypothèse formula_96 puisse prendre la valeur 1 (et donc formula_97 et formula_98 la valeur 1). Mais alors formula_99 prend la valeur 0 et formula_100 ne peut plus prendre que la valeur 0. Il est donc impossible d'invalider l'implication et celle-ci est une tautologie.


title: Calcul des propositions

text: Mais les améliorations précédentes ne changent pas fondamentalement la difficulté du problème. On est donc devant la situation suivante. Étant donnée une proposition "f", on se demande si "f" est une tautologie ou non et pour cela, on se demande s'il existe des valeurs de vérité attribuables aux variables propositionnelles de "f" qui rendraient "f" invalide.


title: Calcul des propositions

text: La question de l'invalidité de "f", ainsi que tous les problèmes qui se résolvent suivant la méthode que nous venons d'esquisser, sont dits NP (pour polynomial non déterministe). Tester l'invalidité de "f" équivaut par des calculs très simples (en temps polynomial) à tester la satisfaisabilité de sa négation. Le problème de la satisfaisabilité d'une proposition, à savoir trouver une configuration qui donne 1 comme valeur de vérité de la proposition est appelé problème SAT (de l'anglais ""). Il joue un rôle fondamental en théorie de la complexité, puisqu'on peut montrer que la découverte d'un algorithme déterministe en temps polynomial pour ce problème permettrait d'en déduire des algorithmes déterministes en temps polynomial pour tous les problèmes de type NP (théorème de Cook). On dit que SAT (et donc également le problème de la non-démontrabilité d'une proposition) est un problème NP-complet. Le problème de la démontrabilité d'une proposition est dit co-NP (pour complémentaire de NP).


title: Calcul des propositions

text: Le problème SAT désigne en fait le plus souvent celui de la satisfaisabilité d'une conjonction de clauses (un cas particulier parmi les propositions), mais on ramène le problème de la satisfaisabilité d'une proposition à celui-ci par une réduction polynomiale (une mise sous forme clausale par équisatisfaisabilité, celles par équivalence logique ne fonctionnent pas).


title: Calcul des propositions

text: Soit E l'ensemble des propositions sur un ensemble de variables propositionnelles. La relation binaire définie sur E par l'équivalence (classique) entre deux propositions est notée ≡. C'est une relation d'équivalence sur E, compatible avec la conjonction (qui donne la borne inférieure de deux éléments), la disjonction (qui donne la borne supérieure de deux éléments), et la négation (qui donne le complément).


title: Calcul des propositions

text: Dès que l'ensemble des variables propositionnelles est infini, l'algèbre de Lindenbaum des formules propositionnelles ne possède aucun atome, c'est-à-dire aucun élément non nul minimal (pour toute formule qui n'est pas une antilogie, on obtient un élément strictement inférieur par conjonction avec une variable propositionnelle non présente dans la formule). Ceci la distingue de l'algèbre de Boole de toutes les parties d'un ensemble, qui a pour atomes les singletons de celui-ci.


title: Calcul des propositions

text: Les algèbres de Heyting ont été définies par Arend Heyting pour interpréter la logique intuitionniste.


title: Calcul des propositions

text: Une disjonction est une proposition de la forme formula_101 et une conjonction est une proposition de la forme formula_102. Une proposition est en forme normale conjonctive (FNC) si elle est composée de conjonctions de disjonctions. Une proposition est en forme normale disjonctive (FND) si elle est composée de disjonctions de conjonctions.


title: Calcul des propositions

text: Exemples :Lorsque chaque bloc disjonctif d'une FND comporte une et une seule occurrence des mêmes variables propositionnelles, on parle alors de FND "distinguée".


title: Calcul des propositions

text: Lorsque chaque bloc conjonctif d'une FNC comporte une et une seule occurrence des mêmes variables propositionnelles, on parle alors de FNC "distinguée".


title: Calcul des propositions

text: Exemples :On peut montrer que toute proposition est équivalente à une FND (en admettant que formula_65 est la disjonction d'un ensemble vide de propositions) et est équivalente à une FNC (en admettant que T est la conjonction d'un ensemble vide de propositions). Autrement dit, pour toute proposition formula_74 il existe une proposition formula_112 en forme normale disjonctive telle que formula_74formula_114formula_115 et une proposition formula_116 en forme normale conjonctive telle que formula_74formula_114formula_116.


title: Calcul des propositions

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


title: Calcul des propositions

text: Il existe des variantes de logique non classique, notamment la logique minimale de Ingebrigt Johansson (1936) et la logique intuitionniste de Heyting (1930). Les connecteurs primitifs sont →, ∧, ∨ et ¬. Ces variantes diffèrent l'une de l'autre par le choix des axiomes qu'elles utilisent. La logique absolue utilise les axiomes suivants relatifs à l'implication, la conjonction et la disjonction. Elle ne traite pas de la négation.


title: Calcul des propositions

text: Axiomes de l'implication (ce sont les deux premiers axiomes de la logique classique) :


title: Calcul des propositions

text: Axiomes de la conjonction formula_122 :


title: Calcul des propositions

text: Axiomes de la disjonction formula_126, (duaux des précédents) :


title: Calcul des propositions

text: L'ensemble des théorèmes de cette logique est inclus strictement dans l'ensemble des théorèmes de la logique classique qui n'utilisent pas la négation. Il est impossible par exemple d'y prouver la formule formula_130 ou la loi de Peirce formula_131.


title: Calcul des propositions

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


title: Calcul des propositions

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


title: Calcul des propositions

text: La seule différence entre la logique intuitionniste et la logique minimale porte sur l'axiome ax.10 qu'on remplace par :


title: Calcul des propositions

text: En présence d'une proposition et de sa négation, les trois logiques, classique, intuitionniste et minimale, concluent toutes trois à une contradiction ⊥. Mais la différence porte sur l'utilisation que l'on fait de cette contradiction :


title: Calcul des propositions

text: Logique minimale et logique intuitionniste ont toutes deux la proposition ¬(p ∧ ¬p) comme théorème. En revanche, p ∨ ¬p n'est pas un théorème de ces logiques.


title: Calcul des propositions

text: De même, elles permettent de démontrer p → ¬¬p mais pas la réciproque. Par contre, elles permettent de démontrer l'équivalence entre ¬p et ¬¬¬p. Enfin, la proposition (¬p ∨ q) → (p →q) est un théorème de la logique intuitionniste, mais pas un théorème de la logique minimale.


title: Calcul des propositions

text: Enfin, pour avoir une démonstration de "p ∨ q" en logique intuitionniste, il faut soit une démonstration de "p" soit une démonstration de "q", alors qu'en logique classique, une démonstration de "¬(¬p ∧ ¬q)" suffit.


title: Calcul des propositions

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


title: Élections législatives fédérales belges de 1999

text: Les élections législatives fédérales belges de 1999 se tiennent le , afin d'élire les de la  de la Chambre des représentants et les de la  du Sénat pour un mandat de quatre ans.


text: Le scrutin voit la victoire du parti libéral flamand (VLD), dans l'opposition depuis huit ans, notamment du fait de l'effondrement des chrétiens-démocrates du (CVP), au pouvoir depuis et empêtré dans les scandales de l'affaire Dutroux et de la crise de la dioxine. Le président du VLD Guy Verhofstadt parvient à remplacer Jean-Luc Dehaene comme Premier ministre après avoir mis sur pied une avec les socialistes et les écologistes, signant la première participation gouvernementale fédérale de ces derniers.


text: Les élections législatives fédérales du sont les premières à se tenir sous l'empire de la Constitution .


text: Parmi les partis flamands, les chrétiens-démocrates du (CVP), membres du gouvernement depuis et à sa tête depuis , confirment leur position de premier parti du pays avec 17,2 % des voix. Ils devancent les libéraux des (VLD), qui totalisent 13,2 %, et les socialistes du (SP), qui remportent 12,6 %.


text: Au sein des formations wallonnes, c'est le Parti socialiste (PS) qui l'emporte, constituant avec 11,9 % le premier parti francophone de Belgique, mais seulement le quatrième en voix. Il s'impose donc face à la coalition libérale Parti réformateur libéral-Front démocratique des francophones (PRL-FDF), qui recueille 10,3 %. Ils laissent loin derrière le Parti social-chrétien (PSC) et ses 7,7 %.


text: En moins d'un mois, le chrétien-démocrate flamand Jean-Luc Dehaene forme son second gouvernement, après avoir reconduit sa unissant le CVP, le SP, le PS et le PSC, qui rassemble sur 150.


text: Les élections régionales qui se tiennent en parallèle voient le CVP l'emporter en Flandre, tandis que le PS s'impose en Wallonie et le PRL-FDF à Bruxelles.


text: Les de la Chambre des représentants sont élus au suffrage universel direct pour une législature de quatre ans, au scrutin proportionnel d'Hondt avec possibilité de vote préférentiel dans plurinominales : neuf wallonnes, dix flamandes et Bruxelles-Hal-Vilvorde (BHV).


text: Sur les du Sénat, 40 sont élus au suffrage universel direct pour une législature de quatre ans, au scrutin proportionnel d'Hondt avec possibilité de vote préférentiel dans (le collège français et le collège néerlandais) et : la Région wallonne (correspondant au collège français), la Région flamande (correspondant au collège néerlandais) et Bruxelles-Hal-Vilvorde (chaque électeur choisit dans quel collège il vote).


text: Il y a issus du collège néerlandais, et 15 provenant du collège français (qui inclut les germanophones).


text: Forte de sous la législature sortante, la coalition de Jean-Luc Dehaene est désavouée en perdant et sa majorité absolue. Le président du VLD Guy Verhofstadt met alors sur pied en un mois une réunissant les libéraux, les socialistes, et les écologistes dont c'est la première participation gouvernementale. Le gouvernement Verhofstadt I est le premier dont les chrétiens-démocrates sont exclus depuis .


title: Assertion

text: Une assertion est un énoncé présenté comme vrai mais qui n'est pas encore vérifié voire non vérifiable, et potentiellement faux.La définition dépend du domaine dans lequel elle est utilisée :


title: Principe du tiers exclu

text: En logique formelle, le principe du tiers exclu (ou "principium medii exclusi" [principe du milieu exclu ] ou " tertium non datur" [une troisième possibilité n'est pas accordée] , ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie. Par exemple, Socrate est vivant ou mort, et il n'y a pas de cas intermédiaire entre ces deux états de Socrate, c'est pourquoi on parle de « tiers-exclu » : tous les autres cas de figure sont nécessairement exclus. C'est un des principes de la logique classique. Au début de la formalisation des mathématiques, ce principe a été tenu comme un dogme intangible. D'ailleurs, David Hilbert, un de ses grands défenseurs, a écrit,


title: Principe du tiers exclu

text: Le tiers-exclu est souvent comparé au principe de non-contradiction qui affirme que les propositions "p" et "non-p" ne peuvent être simultanément vraies, c'est-à-dire que la conjonction « "p" et "non-p" » est nécessairement fausse.


title: Principe du tiers exclu

text: Dans Métaphysique, Aristote introduit le principe du tiers exclu comme complément du principe de non-contradiction.


title: Principe du tiers exclu

text: En philosophie, le principe du tiers exclu, comme le principe d'identité, a une double version, ontologique ou logique. La version ontologique rejette la notion de gradation dans l'être : il y a être, ou non-être, pas de demi-être.


title: Principe du tiers exclu

text: Parmi les deux propositions "p" et "non-p" (ou toute autre paire de propositions), en l'absence de système de logique formelle, on pourrait en théorie avoir l'un des trois cas suivants : Le principe de non-contradiction qui fonde la logique formelle rejette le cas 2 pour une paire de propositions qui sont la négation logique l'une de l'autre : on ne peut penser "p" et "non-p" vraies à la fois. Le principe du tiers-exclu rejette le cas 3 : on ne peut penser que "p" ou "non-p", il n'y a pas de troisième cas hypothétique.


title: Principe du tiers exclu

text: La « loi de l'alternative » (Robert Blanché) résulte de la conjonction du principe de non-contradiction et du principe du tiers exclu. À eux deux, ces principes participent à fonder la logique mathématique formelle dite "classique". La logique intuitionniste, quant à elle, n'inclut pas le principe du tiers-exclu.


title: Principe du tiers exclu

text: Parménide utilise implicitement le principe du tiers exclu. Aristote le mentionne, le premier, avec clarté : Kant, dans sa "Logique" (1800), lie principe du tiers exclu et problèmes apodictiques (nécessaires).  Les « logiques polyvalentes » mettent en question le principe dès Lukasiewicz en 1910, qui revient à l'antique question des « futurs contingents » : si une proposition qui concerne le futur pouvait être caractérisée au présent déjà comme vraie ou fausse, on devrait admettre que le cours des événements est déterminé à l'avance. Les logiques polyvalentes contestent le principe du tiers exclu. Elles reconnaissent d'autres valeurs que le vrai et le faux, elles admettent, entre les deux, l'indéterminé, ou le possible, ou, en deçà, l'impossible (qui est un faux renforcé), et au-delà le nécessaire (degré supérieur du vrai). Heyting ne dit pas que le tiers exclu est faux, il en limite la portée. Une proposition peut être absurde ou probable, et non seulement vraie ou fausse.


title: Principe du tiers exclu

text: Brouwer puis Arend Heyting en 1930, en tant qu'intuitionnistes, critiquent les raisonnements fondés sur le tiers exclu. Ils estiment qu'on n'a pas le droit d'inférer une proposition de l'absence de démonstration de sa négation. Leur position est adoptée par les logiciens spécialistes de la théorie des types, assez nombreux, avec le développement de l'informatique.


title: Principe du tiers exclu

text: En mathématiques, le principe du tiers exclu affirme la disjonction « formula_1 ou (non formula_1) », pour toute proposition formula_1. Cela signifie que pour toute proposition formula_1, on doit accepter soit formula_1, soit sa négation.


title: Principe du tiers exclu

text: En logique, le principe du tiers exclu est équivalent à l'implication de la double négation formula_6, au sens que l'un se déduit de l'autre.  Comme la double négation, le raisonnement par l'absurde est équivalent au principe du tiers exclu. En effet, il fonctionne sur le mécanisme suivant : je veux prouver R. Pour cela, je suppose « non(R) » et je tombe sur une contradiction : c'est donc que « non(R) » est fausse, et d'après le principe du tiers exclu, que « R » est vraie. Plus formellement où formula_8 signifie de l'ensemble formula_9 de propositions je déduis formula_1 et formula_11 représente la contradiction. Quand le tiers-exclus est mis en œuvre dans un assistant de preuve, on parle de "réflexion booléenne", c'est un concept clé de la démonstration du théorème de Feit-Thompson.


title: Principe du tiers exclu

text: La logique intuitionniste ne stipule pas le « principe » du tiers exclu. Autrement dit, le tiers exclu n'est pas un dogme en logique intuitionniste. En revanche, on peut montrer en logique intuitionniste que le tiers exclu est "irréfutable", c'est-à-dire qu'admettre sa négation aboutirait à une contradiction. Dit autrement, la négation du tiers-exclu n'est pas démontrable en logique intuitionniste.


title: Principe du tiers exclu

text: Un exemple de raisonnement faisant appel au tiers-exclu est le suivant :  Pour cela, appelons R la proposition « a=0 » et utilisons le principe du tiers exclu pour R. Il y a alors deux cas à examiner (un troisième cas étant exclu) :


title: Principe du tiers exclu

text: Dans l'implication précédente, un mathématicien intuitionniste reformulera le raisonnement précédent en termes de démonstrations :


title: Principe du tiers exclu

text: Le mathématicien intuitionniste refusera de conclure qu'il a une démonstration de a=0 ou b=0, parce qu'il ne peut pas exhiber une démonstration de a=0 ou une démonstration de non(a=0) ».


title: Principe du tiers exclu

text: D'ailleurs, en logique intuitionniste, pour démontrer formula_1 ou formula_14, il faut soit avoir une démonstration de formula_1, soit avoir une démonstration de formula_14.


title: Principe du tiers exclu

text: On se propose de démontrer que "« Il existe des nombres irrationnels et , tels que est rationnel »." Considérons la démonstration suivante :"« On sait que est irrationnel et que 2 est rationnel. Notons la proposition « est rationnel ». Appliquons le tiers exclu : est vraie ou est fausse. Cette démonstration n'est pas constructive ; en effet, de par son utilisation du tiers exclu, elle n'exhibe pas une solution explicite, mais démontre seulement l'existence d'un couple-solution sans pouvoir préciser "lequel" (puisqu'on ne sait pas si est vraie ou fausse). En fait, est faux car d'après le théorème de Gelfond-Schneider, est même transcendant.


title: Principe du tiers exclu

text: Nous avons vu plus haut des formulations équivalant au tiers exclu, mais ce ne sont pas les seules. Voici des formulations équivalant au tiers-exclu, parmi les plus connues : En revanche, la proposition formula_27, est une tautologie (classique), non démontrable en logique intuitionniste, et plus faible que le tiers-exclu.


title: Kim Stanley Robinson

text: Kim Stanley Robinson, né le à Waukegan dans l'Illinois, est un auteur américain de romans et nouvelles de science-fiction. Il habite à Davis en Californie.


title: Kim Stanley Robinson

text: Il est principalement connu pour sa trilogie sur Mars et la terraformation de celle-ci : "Mars la rouge", "Mars la verte" et "Mars la bleue".


title: Kim Stanley Robinson

text: La quasi-totalité de son œuvre a déjà été traduite en français.


title: École élémentaire en France

text: En France, l'école élémentaire est l'école qui accueille les enfants à partir de six ans (cinq pour ceux nés en fin d'année civile). Elle représente la suite de la maternelle (à partir de trois ans, âge auquel commence l'instruction obligatoire en France depuis ), avec laquelle elle forme l'école dite primaire.


title: École élémentaire en France

text: L'école publique est gratuite et laïque. Elle a obligation d'accueillir les enfants habitant dans la zone qui lui est attribuée par la carte scolaire, qu'ils soient de nationalité française ou pas, en situation régulière ou pas.


title: École élémentaire en France

text: Elle accueille les enfants dont le handicap a été reconnu par la MDPH situés hors carte scolaire, lorsqu'ils ne trouvent pas de structure d'accueil dans l'école la plus proche, école dite de rattachement (c'est le cas principalement pour les élèves accueillis en classe pour l'inclusion scolaire). L'objectif principal de l'école élémentaire est d'enseigner aux enfants les savoirs fondamentaux : l'apprentissage de la lecture (lire), de l'écriture (écrire) et du calcul (compter) est bien sûr prioritaire. Les activités d'éveil (activités artistiques et ludiques) y restent importantes, surtout dans les premières classes. Un secteur privé coexiste avec l'enseignement public.


title: École élémentaire en France

text: Sous l'Ancien Régime, il existait environ 10 000 écoles. C'étaient des écoles confessionnelles (catholiques) et il y en avait en moyenne, une pour trois paroisses.


title: École élémentaire en France

text: À la révolution française, il fut prévu que des premières écoles soient installées dans toute la République pour y admettre des enfants des deux sexes et leur enseigner en langue française; il fut alors prévu une première école dès 400 habitants. Mais la tourmente de la Terreur rendît impossible ce projet et très peu d'écoles fonctionnèrent. Le , la loi Guizot imposa aux communes de plus de 500 habitants de financer une école de garçons. Le , aménagement d'une extension de la loi Guizot aux filles sans obligation communale. Le , promulgation de la loi Falloux sur l'instruction primaire et la liberté des enseignements primaires et secondaires.


title: École élémentaire en France

text: La scolarité primaire se déroule à l'école maternelle puis à l'école élémentaire, chaque structure étant placée sous la responsabilité d'un directeur d'école ou bien les deux structures étant regroupées sous l'appellation « école primaire » et placées sous la responsabilité d'un seul directeur. En France, dans l'enseignement privé, toutes les écoles recevant des élèves d'un cursus antérieur au collège sont des écoles primaires.


title: École élémentaire en France

text: Une loi de Jules Ferry concernant la laïcité (1882) prévoit un jour par semaine réservé à l'instruction religieuse. Ainsi, les classes vaquent le jeudi, puis le mercredi à partir de 1972, et ce principe laïc est respecté jusqu'à la fin du .


title: École élémentaire en France

text: Le modèle national est basé sur quatre journées et demie travaillées : lundi, mardi, mercredi matin, jeudi et vendredi. (depuis 2013). À titre dérogatoire, le directeur académique des services de l'Éducation nationale peut substituer à l'enseignement du mercredi matin un enseignement organisé le samedi matin dans une école .


title: École élémentaire en France

text: En 2007 (avant le passage de la semaine de quatre jours et demi à celle de quatre jours), la semaine de quatre jours concernait 24,30 % des élèves, dans 26 % des écoles, notamment dans la quasi-totalité des écoles de 13 départements. Les cours sont transférés du samedi matin au mercredi matin pour 6,5 % des élèves au niveau national.


title: École élémentaire en France

text: Les rythmes scolaires ont évolué au cours du temps, et ont été majoritairement : À noter que, comme les écoles privées catholiques, les écoles publiques n'ont jamais fonctionné le dimanche.


title: École élémentaire en France

text: La scolarité est répartie de septembre à juillet. La rentrée a lieu entre le et tandis que la fin d'année a lieu à la fin de la première semaine de juillet.


title: École élémentaire en France

text: Une école d'application est une école élémentaire ou maternelle comme une autre, qui participe en plus à la formation des futurs Instituteurs (professeurs des écoles). Les écoles d'application étaient rattachées jusqu'en 1991 aux écoles normales d'instituteurs et les étudiants y « appliquaient » (mettaient en pratique), sous la direction des maîtres d'application qui y enseignaient, ce qu'ils apprenaient en théorie à l'école normale. Les écoles normales ont été remplacées en 1991 par les instituts universitaires de formation des maîtres (IUFM), puis par les instituts nationaux supérieurs du professorat et de l'éducation (INSPE) (appelés écoles supérieures du professorat et de l'éducation de 2013 à 2019) le lien avec les écoles d'application existant toujours. Les maîtres d'application (désormais appelés « maîtres formateurs ») qui enseignent dans les écoles d'application sont des maîtres qui possèdent une qualification certifiée de formateur et qui accueillent régulièrement dans leur classe des futurs professeurs des écoles en stage. Ils sont déchargés de classe sur une partie de leur temps de service, pendant laquelle ils vont visiter leurs étudiants dans d'autres écoles où ils effectuent des stages en responsabilité. Ils leur donnent aussi des cours alliant théorie et pratique, les conseillent et les évaluent.


title: École élémentaire en France

text: En 2013, 82 % des enseignants de l'école primaire (maternelle et élémentaire) sont des femmes.


title: École élémentaire en France

text: L'importance des différents enseignements varie progressivement selon les cycles, qui sont eux-mêmes subdivisés en années et qui sont les suivants :


title: École élémentaire en France

text: L'enseignement est généralement dispensé par un professeur des écoles polyvalent (statut remplaçant progressivement celui d'instituteur). Celui-ci est chargé d'organiser l'enseignement des différentes matières en respectant notamment leur répartition horaire moyenne prévue dans les programmes :


title: École élémentaire en France

text: Juridiquement, de même que les écoles maternelles, les écoles élémentaires ne sont pas des établissements publics autonomes. Elles n'ont pas de budget de fonctionnement comme les établissements publics locaux d'enseignement (EPLE), collèges et lycées. Les personnels enseignants dépendent de l'Éducation nationale. Ainsi, le maire n'a aucune autorité sur les enseignants.


title: École élémentaire en France

text: Du point de vue hiérarchique, les enseignants français ne dépendent pas du directeur qui est statutairement un enseignant et dont les compétences, orientées spécifiquement vers le fonctionnement de l'école, n'ont pas d'incidence individuelle, notamment au plan pédagogique, même s'il est un élément de la "chaîne hiérarchique" (le courrier est adressé à la hiérarchie "sous son couvert"). Si les enseignants des écoles ne dépendent pas de ce "primus inter pares" qu'est le directeur, ils relèvent de l'autorité d'un inspecteur de circonscription (Inspecteur de l'Éducation nationale ou IEN). "Mutatis mutandis", l'IEN cumule les responsabilités qui, dans le second degré (collèges et lycées) sont assumées, d'une part, par le chef d'établissement et, d'autre part, par les inspecteurs pédagogiques régionaux.


title: École élémentaire en France

text: En revanche, la commune a la responsabilité des bâtiments, et finance les dépenses matérielles. Sauf en Alsace-Moselle (statut local), il existe une "caisse des écoles", établissement public autonome dont le président est un élu municipal (loi du ). Il existe aussi des coopératives d'école. Les directeurs sont souvent, mais pas nécessairement, présidents de la "coopérative de l'école" à laquelle cotisent parfois les parents - de façon volontaire et sans obligation - et la mairie et qui avec un budget limité permet de financer des projets comme les classes de découverte. Les coopératives scolaires, dont le fonctionnement est encadré par des règles très strictes, sont supervisées par l'office central de la coopération à l'école.


title: École élémentaire en France

text: Mais les coopératives scolaires, par définition, sont des associations indépendantes à vocation éducative. Elles ont interdiction de verser des salaires. En l'absence de "statut d'établissement", il a fallu, lors de la création des aides-éducateurs (AE), que la puissance publique imagine une astuce juridique : les AE, relevant du code du travail et non du statut général de la fonction publique, étaient employés par un EPLE "collège-employeur" et mis à disposition des écoles sous l'autorité du directeur d'école. Le même dispositif a été étendu à d'autres types d'emplois similaires, créés notamment pour favoriser l'insertion des élèves handicapés : assistants d'éducation, emplois vie scolaire, contrats d'avenir…


title: École élémentaire en France

text: Depuis le décret de 1990 à la suite de la loi d'orientation de 1989, l'enseignement primaire est organisé en trois cycles pluri-annuels, des objectifs devant être atteints non plus à la fin d'une année scolaire, comme auparavant, mais en fin de cycle. Depuis la rentrée scolaire 2016, les cycles se divisent ainsi :


title: École élémentaire en France

text: L'enfant dispose de trois ans pour acquérir l'ensemble des compétences du cycle considéré. Par exemple, un élève entrant en cycle 2 aura trois ans pour acquérir une lecture courante, ainsi qu'une compréhension explicite de textes. Cet apprentissage, réparti sur l'ensemble du cycle, peut être en voie d'acquisition dès la grande section, pour les plus matures ; durant le cours préparatoire pour la plus grande partie des élèves ; pour certains enfants, cet apprentissage n'est parfois possible que durant l'année de CE1.


title: École élémentaire en France

text: Des évaluations nationales sont organisées en CE1 et CM2. Elles doivent permettre de vérifier l'acquisition du contenu des programmes afin de proposer aux élèves en difficulté un parcours adapté. Ces évaluations apportent également aux services de l'Éducation Nationale un regard statistique sur l'enseignement primaire en France. Un programme intitulé ABCD de l'Égalité, portant sur l'égalité entre filles et garçons, est expérimenté en 2013-2014, dans 600 classes de maternelle et d'élémentaire de 275 écoles. De nouveaux programmes et de nouveaux cycles entrent en vigueur à partir de :


title: École élémentaire en France

text: Ce cycle est organisé autour de sept champs disciplinaires :


title: École élémentaire en France

text: Les matières enseignées à l'école élémentaire dans ce cycle s'inscrivent dans la continuité du cycle 2. Ainsi « vivre ensemble » devient « éducation civique »… Ces matières sont les suivantes :


title: Glasnost

text: La glasnost ( ; en « publicité [des débats] », traditionnellement traduit par « transparence ») est une politique de liberté d'expression et de la publication d'informations qui s'amorça par l'accident nucléaire de Tchernobyl puis fut portée en URSS par Mikhaïl Gorbatchev à partir de 1986.


title: Glasnost

text: Avec la "glasnost", le but du numéro 1 soviétique était notamment de mettre la pression sur les conservateurs du parti qui étaient opposés à sa politique de restructuration économique (la "perestroïka"). Cependant, cette dernière va échouer devant la résistance passive de l'administration et des décideurs qui avaient beaucoup à y perdre, accentuant la crise économique de l'URSS, ce qui va provoquer une montée des contestations.


title: Glasnost

text: À travers cette politique, Gorbatchev approfondit la déstalinisation, politique mise en place en 1956 par Khrouchtchev au XX congrès du Parti communiste de l'Union soviétique, et renoue avec les principes jadis défendus par Lénine avec sa nouvelle politique économique, par l'économiste soviétique Evseï Liberman et par le socialisme à visage humain. Gorbatchev dénonce également les crimes de Staline, mais cette fois-ci, ce n'est pas sous forme de rapport secret publié à l'intérieur du PCUS, mais bien publiquement que ses crimes sont reconnus au grand jour.


title: Glasnost

text: La "glasnost" donna de nouvelles libertés au peuple, comme la liberté d'expression et d'association, ce qui signifiait un changement important dans la mesure où le contrôle des idées et des citoyens avait été la « colonne vertébrale » du système soviétique. Des milliers de prisonniers politiques et beaucoup de dissidents furent également libérés du goulag et de nombreux camps fermèrent.


title: Glasnost

text: La "glasnost" va permettre ce qui était auparavant impensable : des manifestations massives ainsi que le début des grèves. Elle contribuera aussi au réveil des identités nationales des peuples non-russes de la fédération soviétique, jusque-là soumis à la russification.


title: Glasnost

text: Cependant, le but essentiel de Gorbatchev, qui était de moderniser l'Union soviétique via la "glasnost" et la "perestroïka", ne fut pas atteint, et l'Union, largement basée sur la contrainte étatique, s'effondra en hiver 1991, plus précisément le lors de la démission de Mikhaïl Gorbatchev.


title: The Star-Spangled Banner

text: La musique utilisée pour cet hymne était à l'origine créée pour "", également connue sous le nom "To Anacreon in Heaven", une chanson à boire d'un club de musiciens britanniques en hommage au poète grec, Anacréon. La musique a été reprise par des Américains, et les paroles remplacées par celles de l'hymne actuel des États-Unis. Il a été reconnu pour un usage officiel par la marine américaine en 1889 et par la Maison-Blanche en 1916. Il a été finalement adopté comme hymne national par une résolution du Congrès en date du . La chanson se compose de quatre strophes, mais généralement seuls la première strophe et le premier refrain sont chantés aujourd’hui.


title: The Star-Spangled Banner

text: Cet hymne est reconnu comme étant particulièrement difficile à chanter, même pour des professionnels. Il exige en effet un registre vocal étendu, un bon contrôle de la respiration ainsi qu'un bon phrasé.


title: The Star-Spangled Banner

text: Dès 1904, alors que ce n'est que l'hymne de la Navy, Giacomo Puccini l'emploie dans "Madame Butterfly" pour caractériser le lieutenant Pinkerton de l'USS "Abraham Lincoln".


title: The Star-Spangled Banner

text: En 1969, au Festival de Woodstock, Jimi Hendrix joua une version historique de "" en solo, à la guitare électrique tout en distorsion, évoquant des lâchers de bombes, durant la guerre du Viêt Nam. Elle a été également reprise par d'autres artistes de musique populaire tel que Whitney Houston en 1991, Marvin Gaye en 1983 et Fergie des Black Eyed Peas en 2018.


title: The Star-Spangled Banner

text: Traduction fournie par l'ambassade des États-Unis d'Amérique à Paris :


title: Émilie Jolie

text: Émilie Jolie est un conte musical de Philippe Chatel, arrangé par Jean-Louis Bucchi et sorti en disque en 1979.


title: Émilie Jolie

text: Le conte est devenu un classique et une référence comme comédie musicale pour enfants.


title: Émilie Jolie

text: Quatre versions différentes ont été enregistrées, en 1979, en 1997, en 2002 et en 2018, chacune rassemblant des artistes de la chanson française très connus de leur époque.


title: Émilie Jolie

text: Une adaptation télévisée a été faite en 1980 et une autre pour le cinéma en 2011 par Francis Nielsen et Philippe Chatel.


title: Émilie Jolie

text: Le conteur raconte l'histoire d'Émilie Jolie. Alors que ses parents sont sortis, la petite Émilie est effrayée par le noir, seule dans son lit. Elle trouve un livre d'images sur le sol et y plonge, accompagnée de la voix du conteur (Chanson de la petite fille dans la chambre vide).


title: Émilie Jolie

text: Elle se retrouve dans un paysage où tout, absolument tout, est bleu, même le soleil. Elle croise la compagnie des Lapins Bleus, qui ont un problème : chaque fois qu'il pleut et qu'ils prennent froid, ils se mettent à éternuer et deviennent rouges (Chanson de la Compagnie des lapins bleus).


title: Émilie Jolie

text: Dans la page suivante, Émilie se retrouve au pied d'un grand arbre plein d'oiseaux. L'un d'entre eux vient vers elle ; la petite fille se présente et lui demande de l'emmener avec lui dans le ciel, ce à quoi il répond qu'elle a encore beaucoup de choses à voir sur terre avant (Chanson d'Émilie et du grand oiseau).


title: Émilie Jolie

text: Dans la page suivante, elle rencontre une autruche qui rêve d'être une star de cabaret à Broadway (Chanson de l'autruche).


title: Émilie Jolie

text: La petite fille arrive ensuite dans une page sombre et effrayante, celle de la sorcière. Celle-ci est désespérée par sa situation. Elle apparaît méchante aux yeux de tous, mais n'attend pourtant que l'amour d'un prince charmant qui viendra la sauver (Chanson de la sorcière). Émilie lui promet alors de chercher pour elle le prince à travers le livre, avec l'aide du conteur.


title: Émilie Jolie

text: Elle tourne la page, et croise un ballet de baleines de parapluies (Chanson des baleines de parapluie). Il lui vient alors une idée. Elle téléphone aux lapins bleus, leur demandant de venir dans la page. Ils arrivent, et elle leur annonce qu'elle a trouvé un moyen pour qu'ils ne deviennent plus rouges, grâces aux parapluies (Reprise de la chanson de la Compagnie des lapins bleus).  Dans la page suivante, elle fait la connaissance d'un hérisson triste car personne ne veut le caresser à cause de ses piquants. Émilie en « fée du livre » décide de le caresser, le rendant heureux (Chanson du hérisson).


title: Émilie Jolie

text: Et elle continue son chemin à travers les pages en quête du prince, rencontrant un extra-terrestre avec un fort penchant pour la musique dans son vaisseau (Chanson de l'extra-terrestre), un petit caillou abandonné par le Petit Poucet qui se sent seul dans la forêt et qu'elle ramasse pour qu'il l'accompagne dans sa poche (Chanson du petit caillou), un coq et un âne qui se partagent les mots du livre (Chanson du coq et de l'âne), une petite fleur qui ne veut pas finir fanée sous les feuilles et qu'elle cueille pour mettre dans ses cheveux (Chanson de la petite fleur triste) — "cette chanson n'est pas présente dans la première version" —, un méchant loup maltraité par la mère-grand (Chanson du loup), qu'elle réconforte et réconcilie avec la grand-mère, et enfin un raton-laveur qui rêve d'être coloré (Chanson du raton-laveur-rêveur) à qui elle donne le bleu de ses yeux, le blond de ses cheveux et le rose de ses joues.


title: Émilie Jolie

text: Lorsqu'elle tourne la page, elle se retrouve dans une page où tout est blanc, où il y a des grands « F », des grands « I » et des grands « N ». La voilà arrivée à la fin du livre (Chanson du début de la fin).


title: Émilie Jolie

text: Mais elle n'a pas trouvé de prince charmant pour la sorcière, et refuse de finir l'histoire tant que ce n'est pas fait. Le conteur décide alors de créer lui-même un prince pour la sorcière, qui n'est pas vraiment parfait car il n'a ni armure ni cheval blanc (Chanson du prince charmant débutant), mais qu'importe. Devant tous les personnages, la sorcière se transforme en princesse. L'histoire peut alors se terminer. Émilie s'endort dans son lit, bercée par le conteur qui lui dit que ses nouveaux amis seront toujours là dans le livre d'images quand elle en aura besoin (chanson finale).


title: Émilie Jolie

text: La création en 1979 rassemblait notamment Georges Brassens, Robert Charlebois, Henri Salvador, Sylvie Vartan, Françoise Hardy, Julien Clerc, Isabelle Mayereau, Alain Souchon, Laurent Voulzy, Louis Chedid , Philippe Chatel, Yves Simon et Eddy Mitchell. Le rôle d'Émilie est interprété par Séverine Vincent âgée de six ans lors de l'enregistrement.


title: Émilie Jolie

text: L'album est abondamment illustré par Henri Galeron, chaque nouvelle rencontre du récit occupant une double page. Le disque est édité par RCA.


title: Émilie Jolie

text: Et les arrangements sont de Jean Louis Bucchi


title: Émilie Jolie

text: L'édition CD de 1995 (réf. RCA 743 213 290 92) contient un bonus à la fin : "Chanson de l'autruche", par Diane Dufresne (resté inédit à l'époque). En 2009, une version remixée et remastérisée à l'occasion du trentième anniversaire est éditée par Sony Music. Enfin, en 2018, les éditions Gautier-Langereau rééditent l'enregistrement d'origine sous forme d'un livre-CD grand format. La maquette est entièrement refaite, avec de nouvelles illustrations d'Éric Puydabert.


title: Émilie Jolie

text: En 1997 la reprise rassemblait Alain Bashung, Jacques Dutronc, Johnny Hallyday, Maurane, Zazie, Florent Pagny, Étienne Daho, Lara Fabian, Axelle Red, Alain Chamfort, Philippe Chatel, Danielle Darrieux, Michel Fugain, Khaled, Art Mengo et Arnold Turboust.


title: Émilie Jolie

text: Le disque était produit par Polydor France, sous la direction de Varda Kakon, et enregistré et mixé par Patrice Kung au Studio Marcadet.


title: Émilie Jolie

text: Les arrangements musicaux et la direction musicale étaient de Philippe Gouadin. (Basse/Contrebasse : Marc Vullo, Guitares : Benoît Chanez, Batterie : Hubert Motteau, Sax ténor, sax alto, trompette et clarinette : Julien Duchet, Piano, claviers, Chœurs, réalisation : Philippe Gouadin).


title: Émilie Jolie

text: En 2002, Philippe Chatel et Jean-Marc Ghanassia conçoivent une version enrichie du spectacle, bien plus théâtralisée, avec de nouveaux personnages, créée au Théâtre Mogador, puis jouée au Grand Rex,


title: Émilie Jolie

text: Un enregistrement public est produit et sort sous le label Universal Music - Mercury Records.


title: Émilie Jolie

text: En 2017, une nouvelle version du spectacle est créée avec Bruno Desplanche, Djamel Mehnane, Elodie Guezou, Emmanuelle Bouaziz, Florence Pelly, Gloria, Mtatiana dans une mise en scène de Laurent Serrano.


title: Émilie Jolie

text: Émilie est interprétée en alternance par 3 jeunes artistes : Gloria (membre des Kids United), Zoé Vanhoutte Poggi, et Johanna Serrano.


title: Émilie Jolie

text: Un album enregistré en public est produit par Universal Music Publishing et sort en 2018.


title: Émilie Jolie

text: Le conte a été adapté pour la première fois au théâtre en 1984 dans une mise en scène de Robert Fortune et monté au Cirque d'Hiver, puis au Casino de Paris, en 1986 et 1987 avec Émilie jolie interprétée par Alexandra Pailly et Anne Poliakoff,avec notamment Pascal Greggory dans le rôle du conteur et Ginette Garcin dans celui de l'horloge. Un double contenant uniquement les chansons du spectacle (notamment celles de l'Horloge et du Facteur Temps, absents de la version originale) a été publié.


title: Émilie Jolie

text: Le spectacle a été repris, dans une mise en scène de Philippe Chatel en 2002 au Théâtre Mogador, avec Amélie Saimpont, puis au Grand Rex, puis en tournée dans tous les Zénith de France, puis dans les théâtres. La tournée s'est achevée le . Elle a rassemblé plus de . Le DVD du spectacle s'est vendu à . La vente des deux versions discographiques confondues atteignent deux millions d'exemplaires.


title: Émilie Jolie

text: Dans les années 2000, le spectacle est repris dans la France entière par des associations, notamment Spectacul'art, des écoles de musique, de danse, etc.


title: Émilie Jolie

text: Une quatrième tournée a lieu en 2017 et 2018 avec Laurent Serrano à la mise en scène. Émilie Jolie est incarnée en alternance par Gloria de Kids United, Zoé Vanhoutte Poggi (en alternance) et Johanna Serrano (). On retrouve également Vincent Heden


title: Émilie Jolie

text: Une adaptation télévisée du conte, réalisée par Jean-Christophe Averty, est diffusée sur la chaîne française Antenne 2 pour Noël en 1980.


title: Émilie Jolie

text: Vanessa Paradis fait sa première apparition à la télévision à l'École des fans en interprétant "La chanson d'Émilie et du grand oiseau" le .


title: Émilie Jolie

text: Une adaptation de la comédie musicale en long métrage d'animation, "Émilie Jolie", est réalisée en 2011 par Francis Nielsen et Philippe Chatel ; sa sortie en France a eu lieu le .


title: Émilie Jolie

text: À l'origine du conte, la fille de Philippe Chatel, Émilie âgée de à l'époque, a demandé à son papa de lui jouer une chanson avec un lapin bleu, puis une chanson de hérisson. Émilie est devenue lectrice de scénario à Hollywood.


title: Émilie Jolie

text: L'extra-terrestre "A 440" porte un nom bien singulier : en effet, A440 (ou la 440 avec la notation italienne ou française) est la note donnée par la plupart des diapasons (un La de fréquence ), qui sert de référence aux musiciens pour accorder leurs instruments.


title: Émilie Jolie

text: D'un point de vue strictement sociologique, on peut se rendre compte de l'influence qu'il a eue en observant comment il a popularisé le prénom Émilie en France: celui-ci a été donné à filles en 1980, contre seulement en 1979.


title: Léopold II (roi des Belges)

text: , de son nom Léopold Louis-Philippe Marie Victor de Saxe-Cobourg-Gotha, né le au palais royal de Bruxelles (en Belgique) et mort le au château de Laeken (dans le même pays), est le deuxième roi des Belges (du au ), prince de Belgique, duc de Saxe, prince de Saxe-Cobourg et Gotha, duc de Brabant (1840-1865), fondateur de l'État indépendant du Congo (1885-1908). Il succède à son père, , au trône de Belgique en 1865. Par sa mère Louise d'Orléans, il est le petit-fils de , roi des Français. Il est le frère de Charlotte, impératrice consort du Mexique.


title: Léopold II (roi des Belges)

text: Grâce aux expéditions de Henry Morton Stanley, il a délimité un immense territoire au centre de l'Afrique et a réussi à le faire reconnaître comme l'État libre du Congo à la Conférence de Berlin de 1884-85, tout en le considérant et en l'administrant comme sa propriété personnelle. Les atrocités commises sur les populations locales en vue d'extraire un rendement maximal des ressources ont suscité l'indignation et la mise sur pied d'une commission d'enquête internationale en 1904. En 1908, il a dû remettre sa propriété à l'État belge.


title: Léopold II (roi des Belges)

text: Léopold, né au palais royal de Bruxelles le est le second fils de , premier roi des Belges, et de la reine Louise d'Orléans, fille du roi des Français . Léopold a un frère aîné mort au berceau : Louis-Philippe (1833-1834), un frère cadet : Philippe comte de Flandre (1837-1905) et une sœur : Charlotte, future impératrice consort du Mexique, (1840-1927).


title: Léopold II (roi des Belges)

text: La naissance de Léopold, quatre ans après la proclamation de l'indépendance, assure la continuité dynastique au sein d'une nation encore fragilisée . L'absence de reconnaissance de la souveraineté belge par des puissances européennes de premier plan telles que l'Autriche et la Russie menace également sa pérennité. Pour consolider l'existence de la Belgique, il fallait que son roi ait un héritier mâle en ligne directe.


title: Léopold II (roi des Belges)

text: La naissance de son frère aîné, prénommé Louis-Philippe en hommage au roi des Français, son grand-père maternel, avait suscité autant d'enthousiasme que sa mort au berceau engendra de désespoir. À sa naissance, le second fils du roi est prénommé Léopold, comme son père, affirmant la continuité de la dynastie belge. L'enfant est chétif et malingre. Prudent, le roi ne manifeste aucune joie. Décrivant son fils âgé de sept mois, son père écrit : . En 1837 naît un troisième fils prénommé Philippe en hommage à son grand-père maternel et aux ducs de Bourgogne qui régnèrent sur les états constituant la Belgique au . En 1840, le roi remet à l'honneur au profit de ses deux fils les titres de duc de Brabant, pour l'aîné, et celui de comte de Flandre, pour le cadet. La langue maternelle de Léopold est le français, mais l'héritier apprend aussi l'anglais et l'allemand. En revanche, si on lui donne l'écrivain néerlandophone Hendrik Conscience comme précepteur, cette nomination demeure honorifique car Léopold n'apprendra jamais la langue néerlandaise, ni le flamand.


title: Léopold II (roi des Belges)

text: Gendre du roi des Français, le roi est également l'oncle de la reine Victoria et de son époux, mais aussi leur mentor. La révolution française de 1848, qui épargne la Belgique, entraîne l'abdication du roi des Français Louis-Philippe. Ce dernier se réfugie en Grande-Bretagne où règne Victoria, cousine germaine du jeune prince Léopold, et meurt deux ans plus tard, en . La fragile reine des Belges, Louise d'Orléans, bouleversée par la mort de son père, voit s'altérer davantage sa santé. Elle prend froid au cours d'un service funèbre à Bruxelles et meurt prématurément le de la même année à Ostende, à l'âge de trente-huit ans. Léopold a alors quinze ans et est très affecté par la mort de sa mère qui s'occupait personnellement des enfants royaux, auprès desquels vont alors se succéder plusieurs gouverneurs. Un mois après la mort de la reine Louise, la reine Victoria conseille au roi : À sa majorité, le duc de Brabant devient de droit membre du Sénat belge et prend une part active aux discussions importantes, notamment celles concernant l'établissement d'un service de navigation entre Anvers et le Levant en 1855. La même année, il séjourne auprès de l'empereur durant trois semaines à Paris lors de l'Exposition universelle.


title: Léopold II (roi des Belges)

text: Le changement de régime en France affaiblit la position du roi des Belges, qui était le gendre du souverain déposé par la Révolution de 1848. Pour faire face à la chute de prestige de la monarchie belge, Léopold duc de Brabant, qui vient en 1853 de fêter ses dix-huit ans, s'avère d'un précieux secours pour son père, qui l'emmène faire le tour des cours allemandes et autrichienne. Après s'être rendus à Gotha, Dresde et Berlin, père et fils arrivent à Vienne où quelques jours plus tard, les fiançailles de Léopold avec une archiduchesse issue de la séculaire et catholique Maison d'Autriche sont annoncées. À peine trois mois plus tard, le , par-devant le bourgmestre Charles de Brouckère, Léopold épouse civilement au palais royal de Bruxelles, puis religieusement à la cathédrale Saints-Michel-et-Gudule Marie-Henriette de Habsbourg-Lorraine, archiduchesse d'Autriche et princesse palatine de Hongrie. Âgée de seize ans, fraîche, vive, passionnée d'équitation au point de dispenser elle-même des soins aux chevaux, cette cousine de l'empereur est la fille de Joseph, archiduc d'Autriche (lui-même fils de , empereur romain germanique) et de Dorothée de Wurtemberg. D'aucuns ironisent sur ce , la « religieuse » étant le timide et renfermé Léopold qui avoue s'être résigné au choix de son père pour lui.


title: Léopold II (roi des Belges)

text: Ce mariage pour raisons diplomatiques est mal accueilli en France par , qui voit d'un mauvais œil le succès de la famille royale belge quand lui-même a été refusé par les dynasties régnantes et s'est contenté d'épouser une aristocrate espagnole. Après les cérémonies nuptiales, le jeune couple entreprend la tournée des villes belges avant de s'embarquer en octobre pour un long séjour en Angleterre, auprès de la reine Victoria, qui après les avoir observés, écrit en au roi Léopold : À cette missive, le roi des Belges répond que La différence de personnalités entre les jeunes époux se fait jour lors d'un séjour aux Tuileries en 1855, comme le note la comtesse de Westmorland :


title: Léopold II (roi des Belges)

text: Pendant des années, la santé du duc de Brabant avait donné maints motifs d'inquiétude : le moindre froid lui causait de sérieuses bronchites, tandis qu'une tenace sciatique le conduisait souvent à boiter. Les médecins conseillèrent donc un séjour prolongé sous un climat chaud. C'est ainsi qu'avant de devenir roi, de 1854 à 1865, Léopold parcourt le monde, visitant non seulement les pays méditerranéens mais aussi l'Inde et la Chine tout en songeant à des débouchés économiques pour la Belgique. De Grèce, il envoie en 1860 à Frère-Orban, alors ministre des Finances, une plaque de marbre de l'Acropole, sur laquelle il a fait graver ces mots : . Il effectue également trois voyages en Égypte: le premier durant l'hiver 1854-55 en compagnie de son épouse dans le cadre d'un voyage en Orient qui dure neuf mois; un autre en 1862-63, au cours duquel il visite le chantier du canal de Suez) et un dernier séjour en 1864. Lors de son premier voyage en Égypte, Léopold est conquis par cette contrée : « Notre voyage en Haute-Égypte et nos excursions en Nubie ont réussi à merveille sous le rapport de la santé car Leurs Altesses Royales ne se sont jamais mieux portées [...] Ce séjour en Égypte est extrêmement agréable au duc de Brabant, il cherche de mille manières à le prolonger.» À la fin de 1864, Léopold s'embarque à Marseille pour Alexandrie. Il se rend une fois encore à Suez pour constater les travaux d'achèvement du canal puis poursuit sa route jusqu'à Ceylan. Il met pied à terre à Colombo et visite l'île où tout l'intéresse et l'enchante. Il inaugure le chemin de fer de Colombo à Kandy et se passionne pour le développement économique de la première vraie colonie qu'il visite. De retour sur le continent, Léopold fait un tour complet de l'empire indien (Madras, Calcutta, Bénarès, Agra, Dehli et Lahore). Il poursuit son périple par Rangoon, Singapour, Sumatra et enfin la Chine dont il a tant rêvé. Lorsque le duc de Brabant revient six mois plus tard à Bruxelles, il retrouve son père en mauvaise santé et bien vieilli.