OpenLLM-France/wikimedia huggingface dataset:
# Ligne Nyon – Saint-Cergue – La Cure

La ligne Nyon – Saint-Cergue – La Cure est une ligne ferroviaire suisse appartenant au chemin de fer Nyon-Saint-Cergue-Morez. Située dans le canton de Vaud, elle relie la ville de Nyon à la localité de La Cure, sur la commune de Saint-Cergue. Elle mesure 27 kilomètres de longueur. La partie française de cette ligne, soit le tronçon La Cure - Morez, a été fermée en 1958.
À l'exception des deux terminus et de Saint-Cergue, tous les arrêts sont sur demande. Un bouton de demande d'arrêt active un signal disant au mécanicien de locomotive de s'arrêter.

## Caractéristiques

* Longueur : 27 km
* Électrification : courant continu, tension de 1 500 V
* Écartement : 1 000 mm (voie métrique)
* Point culminant : 1 233 m en passant le col de la Givrine
* Nombre de ponts : 3 pour une longueur totale de 235 m
* Nombre de tunnels : 2 pour une longueur totale de 215 m
* Vitesse maximale sur la ligne : 70 km/h
* Pente maximum : 60 ‰
* Passagers : 1 569 145 en 2018
* Taux de couverture : 23 % par les billets
* Subvention : 5,8 millions de francs suisses en 2005

## Tracé
### Section suisse

* Nyon, 395 m
* Les Plantaz, 420 m
* La Vuarpillière
* L'Asse (où est organisé le Paléo Festival de Nyon), 466 m
* Trélex, 501 m
* Givrins, 554 m
* Genolier, 562 m
* Sus-Châtel, 598 m
* La Joy-Clinique
* Le Muids, 715 m
* Bassins, 756 m
* Arzier-Le Muids, 842 m
* La Chèvrerie-Monteret, 970 m
* Saint-Cergue, 1047 m
* Saint-Cergue Les Cheseaux
* Les Pralies, 1176 m
* La Givrine, 1208 m
* La Cure (Suisse), 1155 m

### Section française (jusqu'en 1958)

Le tracé passait dans le village des Rousses et suivait la RN5 jusqu'à la gare de Morez.
* La Cure (France), 1155 m
* Les Rousses, 1110 m
* Sous les Barres,
* Gouland, 895 m
* Morez École,
* Morez Ville, 701 m
* Morez Gare (SNCF), 734 m

## Exploitation

La section suisse est exploitée depuis l'origine par la Compagnie du chemin de fer Nyon - Saint Cergue - Morez. La section française est exploitée à l'ouverture par la Compagnie des Chemins de fer électriques du Jura. Cette compagnie est remplacée en 1932 par la Régie départementale du chemin de fer Morez-La Cure (MLC) jusqu'en septembre 1958, date de la fin de l'exploitation de la section.

## Projets

À ce jour, seules la gare de Nyon ainsi que les haltes de la Vuarpillère, Bassins et des Cheseaux sont équipées de quais rehaussés permettant l'accès de plain-pied dans les nouvelles rames. Une mise à niveau de toutes les gares et halte est prévue à l'horizon 2031.
# Emilia Dragieva

Emilia Dragieva (en bulgare : Емилия Драгиева ; née le 11 janvier 1965) est une athlète bulgare spécialiste du saut en hauteur, active à la fin des années 1980.

## Biographie
### Palmarès

Palmarès international :
| Date | Compétition | Lieu | Résultat | Performance |
| 1987 | Championnats du monde en salle | Indianapolis | 3e | 2,00 m |
| 1988 | Championnats d'Europe en salle | Budapest | 5e | 1,91 m |

### Records

Records personnels :
| Épreuve | Épreuve | Performance | Lieu | Date |
| Saut en hauteur | Plein air | 1,94 m | Sofia | 31 mai 1987 |
| Saut en hauteur | Salle | 2,00 m | Indianapolis | 8 mars 1987 |
# Calendes

Les calendes (en latin archaïque : kǎlendāī, -āsōm ; en latin classique : kǎlendae, -ārum) étaient le premier jour de chaque mois dans le calendrier romain, celui de la nouvelle lune quand le calendrier suivait un cycle lunaire (années de Romulus et de Numa Pompilius).
Ce jour-là, les pontifes annonçaient la date des fêtes mobiles du mois suivant et les débiteurs devaient payer leurs dettes inscrites dans les calendaria, les livres de comptes, à l'origine du mot calendrier.
C'est Auguste qui popularisera les « calendes grecques », pour évoquer une action repoussée indéfiniment.

## Étymologie

Ce terme archaïque proviendrait de l'étrusque, ce qui pourrait expliquer le maintien de la lettre k dans l'écriture des dates, lettre dont les Romains s'étaient quant à eux rapidement débarrassés au profit de c (les rares mots latins en k sont en effet souvent d'origine étrangère).
Une autre explication donne une origine purement latine : il proviendrait du latin calenda (« ce qui doit être appelé ») du verbe calare (« appeler »).

## Décompte des jours

Pour trouver la date calendaire latine, il faut compter le nombre de jours jusqu'à la nouvelle lune ou jusqu'au début du mois suivant et ajouter deux à ce nombre. Par exemple, le 22 avril est le dixième jour avant les calendes de mai, parce qu'il reste huit jours auxquels on ajoute deux.
Ainsi, les calendes de Mars sont les jours intercalaires avant le premier jour du mois de mars qui est le premier mois de l'année romaine.

## Fêtes

Chaque mois, les calendes étaient consacrées à Junon, comme les ides l'étaient à Jupiter. Junon était dite Junon calendaire ou mensale.
Les calendes de janvier se disaient Saturnales, que les romains célébraient à la fin du mois de décembre.
Les Matronalia (en latin : Mātrōnālǐa, - ǐum) : fêtes célébrées aux calendes de mars par les dames romaines.
Les Fabaries (en latin : fabariae Kalendae) étaient les calendes de juin, où l'on offrait aux dieux les fèves nouvelles.

## Héritage linguistique

Ce mot est à l'origine de plusieurs termes et expressions utilisés en français.
Le calendrier dérive de l'adjectif calendarium (« calendaire »), qui désignait un registre de comptes (que l'on apurait le premier du mois ; le calendarium était proprement le « registre des échéances ») et, partant, le calendrier est, originellement, le registre sur lequel l'on note les événements liés à une date précise du mois. Le mot français provient directement de l'adjectif latin, avec un sens plus général.
« Renvoyer aux calendes grecques » (Ad kalendas graecas) signifie « repousser indéfiniment la réalisation d'une action ». En effet, les Grecs n'ayant jamais eu de calendes, l'expression fait référence à une date inconnue. Les calendes grecques, tout comme la Saint-Glinglin, évoquent de manière ironique une date qui semble fixée mais qui en fin de compte n'aura jamais lieu.
# Johan Hellsten

Johan Hellsten est un joueur d'échecs suédois né le 25 décembre 1975 à Malmö.

## Biographie et carrière

Originaire de Malmö, Hellsten a déménagé en 2003 à Arica au nord du Chili où il a pendant plusieurs années enseigné les échecs et remporté plusieurs tournois en Amérique du Sud. Il s'est installé plus tard en Équateur.
Champion de Suède junior (à moins de 16 ans) en 1991, Hellsten a remporté le Championnat de Suède d'échecs en 2006 à Göteborg.
Grand maître international en 2004, Hellsten atteignit son meilleur classement Elo de 2 592 en octobre 2006 à la suite de sa victoire au championnat de Suède. Il est inactif dans les compétitions depuis 2010.

## Compétitions par équipe

Hellsten a représenté la Suède lors des olympiades de 1996 à Erevan (au 4e échiquier), de 2004 à Calvià (au 4e échiquier) et de 2006 à Turin (au 2e échiquier), des championnats d'Europe par équipe de 1997, 2003 et 2005. Lors de ces compétitions, Hellsten marqua à chaque fois plus de la moitié des points et remporta la médaille d'or individuelle au 4e échiquier au championnat d'Europe 1997 et la médaille de bronze individuelle au 2e échiquier en 2005.

## Publications

Hellsten a écrit plusieurs livres sur les échecs traduits en anglais :
* Play the Sicilian Kan: A Dynamic and Flexible Repertoire for Black, Everyman Chess, Londres 2008 (ISBN 978-1-85744-581-7).
* Mastering Chess Strategy, Everyman Chess, Londres 2010 (ISBN 978-1-85744-648-7).
* Mastering Opening Strategy, Everyman Chess, Londres 2012 (ISBN 978-1-85744-692-0).
* Mastering Endgame Strategy, Everyman Chess, Londres 2013 (ISBN 978-1-71894-018-5).
# Passerelles de Bréhec

Les passerelles de Bréhec étaient une série de quatre passerelles ferroviaires construites par Louis Auguste Harel de La Noë sur la ligne de Paimpol à Plouha, exploitée par les Chemins de Fer des Côtes-du-Nord. Elles sont situées sur la commune de Plouézec, dans les Côtes-d'Armor en Bretagne. Elles étaient situées entre le viaduc de Bréhec et la passerelle de Kermanac'h, et longeaient la route dite "Côte des Terres Neuvas" (Départementale n$^o$ 54). Elles sont mises en service avec l'ouverture de la ligne le 11 juillet 1922. Le dernier voyage eut lieu le 31 décembre 1956, la ligne fut déclassée le 27 janvier 1958.

## Caractéristiques des ouvrages

| Passerelle | Construction | Longueur | Hauteur | Portées | Type Ouvrage | Coordonnées GPS | Démolition |
| 1re passerelle | 1913-1918 | 131,10 m | 3,50 m | -- | | 48° 43′ 47″ N 2° 57′ 07″ O | 1968 |
| 2e passerelle | 1913-1918 | 81,10 m | 11 m | -- | | 48° 43′ 54″ N 2° 57′ 14″ O | 1968 |
| 3e passerelle | 1913-1918 | 95,30 m | 9,40 m | -- | En courbe | 48° 44′ 00″ N 2° 57′ 21″ O | Partielle - 1968 |
| 4e passerelle | 1913-1918 | 73,70 m | 5,70 m | -- | En courbe | 48° 44′ 06″ N 2° 57′ 22″ O | Partielle - 1968 |
# Paper Trail

Paper Trail est le sixième album studio de T.I., sorti le 30 septembre 2008 aux États-Unis.
La sortie de l'album a été plusieurs fois repoussée. Prévu pour le 12 août 2008 puis pour le 9 septembre 2008, il a finalement été publié le 30 septembre 2008. T.I. a travaillé sur ce nouvel opus alors qu'il était en résidence surveillée dans l'attente de la fin de son procès pour détention illégale d'armes. L'album est intitulé Paper Trail (« papier recyclé »), qui vient des paroles qu'il a écrites sur le papier.
Cet album s'est vendu à plus de 2 millions d'exemplaires aux États-Unis. C'est le plus gros succès du rappeur T.I. grâce, notamment, aux singles Whatever You Like, Live Your Life (avec Rihanna) et Dead and Gone (avec Justin Timberlake).
Paper Trail s'est classé 1er au Billboard 200, au Top R&B/Hip-Hop Albums, au Top Rap Albums et au Top Internet Albums et a été certifié double disque de platine par la Recording Industry Association of America (RIAA) le 26 août 2009.
# Jean Brinon

Jean Brinon est un nom de personne notamment porté par :
* Jean I Brinon (mort en 1528), procureur au Parlement de Paris, premier président au Parlement de Normandie, chancelier d’Alençon, père de Jean II ;
* Jean II Brinon (mort en 1555), officier du Parlement de Paris et mécène des poètes de la Pléiade.
# Anna Berreiter

Anna Berreiter, née le 3 septembre 1999 à Berchtesgaden, est une lugeuse allemande.

## Carrière

Anna Berreiter est médaillée d'argent en sprint aux Championnats du monde de luge 2021 à Königssee. Aux Jeux olympiques d'hiver de 2022 à Pékin, elle remporte la médaille d'argent de l'épreuve féminine.

## Palmarès
### Jeux olympiques

* Pékin 2022 :
** : Médaille d'argent en simple

### Championnats du monde de luge

* : Médaille d'or en simple en 2023.
* : Médaille d'or en relais en 2023.
* : Médaille d'argent en sprint en 2021.
* : Médaille de bronze en sprint en 2023.

### Coupe du monde

* 20 podiums individuels :
** en simple : 5 victoires, 6 deuxièmes places et 7 troisièmes places.
** en sprint : 2 troisièmes places.
* 8 podiums en relais : 4 victoires et 4 deuxièmes places

### Championnats d'Europe de luge

* : Médaille d'or en simple en 2023.
* : Médaille d'argent par équipe en 2023.
# Pavillon d'Amour de la Reine Jeanne

Le pavillon d’Amour de la Reine Jeanne du lieu-dit « Le Vallon » aux Baux-de-Provence en Provence est un temple de style arts décoratifs-Renaissance érigé par la baronne des Baux Jeanne de Quiqueran au XVIe siècle. Il est classé aux monuments historiques depuis le 25 novembre 1905.

## Historique

Au XVIe siècle, la baronne Jeanne de Quiqueran (épouse d'Honoré des Martins (1567-1582) baron des Baux de 1568 à 1581) (voir liste des seigneurs des Baux) fait ériger ce petit « temple de l’amour romantique » au fond d'un petit jardin d’ornement appartenant à la famille des Baux, orné de cyprès dans le « vallon de la Fontaine » près de l'ancien lavoir aux portes des Baux-de-Provence.
Ce monument totalement délabré est malheureusement laissé à l’abandon depuis plusieurs années. Le jardin d’agrément l’est également.

## Répliques

En 1906 l’écrivain Frédéric Mistral fait construire une réplique de ce pavillon pour son tombeau dans lequel il repose depuis 1914 au cimetière de Maillane. Compte tenu de l’état d’abandon de l’original qui menace de s’écrouler, cette réplique risque d’être bientôt, en Provence, le seul témoin de ce que fût ce pavillon.
À la fin des années 1920, Gustave Trasenster, grand industriel originaire du hameau de Desnié dans l'actuelle commune de Theux, beau-fils du banquier Ernest Nagelmackers et directeur général de la Société anonyme d'Ougrée-Marihaye dans le bassin sidérurgique liégeois fait aussi construite une réplique tout à fait identique devant servir de tombeau familial et dans lequel il repose lui-même depuis 1931.
* Tombeau de Frédéric Mistral au cimetière de Maillane
* Tombeau de la famille Trasenster au cimetière de Desnié
# Vindoline

La vindoline est un précurseur chimique de la vinblastine. La vindoline est formée par biosynthèse à partir de la tabersonine (en).
# Paul Briggs

Paul Briggs est un scénariste, storyboardeur, réalisateur et un acteur américain. Il est notamment connu pour avoir supervisé l’histoire et les storyboards des films d’animations La Reine des neiges (seul) et Les Nouveaux Héros (avec Joe Mateo). Sa première réalisation sera Raya et le Dernier Dragon, en tant que co-réalisateur avec John Ripa et avec les réalisateurs Don Hall et Carlos López Estrada pour 2021.
# Relations entre l'Algérie et l'Union européenne

Les relations entre l'Algérie et l'Union européenne reposent principalement sur la politique européenne de voisinage et l'accord d'association signé entre ces deux parties en 2002 et entré en vigueur le 1er septembre 2005.

## Autodétermination de l'Algérie

Lors de la création de la CECA (l'ancêtre de la CEE et de l'UE), l'Algérie est composée de départements français et à ce titre, elle bénéficie d'un statut équivalent à celui d'une région ultrapériphérique (RUP) ; elle faisait pleinement partie de la France et donc des Communautés jusqu'en 1962. À la suite des accords d'Évian, un référendum d'autodétermination est réalisé le 1er juillet 1962 ; la population du pays choisi à près de 100 % de devenir indépendante ; elle le devient le 5 juillet et perd par la même son statut européen.

## Tableau comparatif

| | Union européenne | Algérie |
| Population (2015) | 508 191 116 hab. | 40 400 000 hab. |
| Superficie | 4 493 712 km$^2$ | 2 381 741 km$^2$ |
| Densité de population | 113 hab./km$^2$ | 16 hab./km$^2$ |
| Capitale | Bruxelles (de facto) | Alger |
| Plus grande ville | Paris – 12 628 266 hab | Alger – 2 500 000 hab. (7 800 000 aire métropolitaine) |
| Autres grandes villes | Rome, Berlin, Madrid, Milan, Amsterdam... | Oran, Constantine, Sétif, Annaba, Batna... |
| Gouvernement | Association sui generis de vingt-sept États européens | régime présidentiel |
| Langues officielles | 24 langues | Arabe et Tamazight |
| Religions principales | 64 % christianisme, 30 % sans religion 3 % islam, 0,25 % judaïsme, 0,25 % bouddhisme | 99,9 % islam |
| Monnaie | Euro et 9 autres devises | Dinar algerien |
| PIB (2014) | $18 495 milliards | $612 milliards |
| PIB nominal par habitant | $36 268 | $14 259 |
| Espérance de vie (2013) | Hommes (77,8 ans) Femmes (83,3 ans) | Hommes (75,4 ans) Femmes (77,2 ans) |
| Dépenses militaires | $255 milliards (1,4 % du PIB) | $15 milliards (5,3 % du PIB) |

### Représentation de l’Union européenne auprès de l'Algérie
## Accord entre l'Algérie et l’Union européenne

L'accord d'association entre l'Algérie et l'Union européenne forme la base légale des relations entre l'Union européenne et l'Algérie. Cet accord est modelé d'après le réseau d'accords passés entre l'Union européenne et ses voisins du bassin Méditerranéen. Cet accord a été signé en avril 2002 et est entré en vigueur en septembre 2005. Il définit un cadre pour les relations entre l'UE et l'Algérie dans tous les domaines, y compris le commerce.
# Alfreda Benge

Alfreda Benge, dite Alfie, née en 1940 à Klagenfurt, est une parolière et illustratrice britannique d'origine autrichienne.

## Biographie

Alfreda Benge est née en Autriche d'une mère polonaise et est arrivée au Royaume-Uni en 1947. Son beau-père, Ronald Benge, est un éminent bibliothécaire qui a créé des écoles de bibliothéconomie dans les pays en développement.
Benge étudie la peinture au Camberwell Art School, le graphisme à la London School of Printing et le cinéma au Royal College of Art. Elle travaille ensuite dans le cinéma et devient l'assistante du monteur Graeme Clifford pour le film Don't Look Now (1973) de Nicolas Roeg$^,$$^,$.
Elle est mariée au musicien Robert Wyatt depuis 1974. Elle a contribué aux paroles de plusieurs de ses compositions, et sa voix apparaît sur l'album Rock Bottom en 1974. Elle a également écrit des paroles pour le musicien/producteur français Bertrand Burgalat. Elle a produit les illustrations de couverture de tous les albums solo de Robert Wyatt depuis 1974, ainsi que pour des albums d'autres musiciens, notamment Gravity de Fred Frith, Alice de Klimperei et Spanish Dance Troupe (en) de Gorky's Zygotic Mynci.
Elle a également illustré deux livres pour enfants écrits par le poète et musicien écossais Ivor Cutler.
# Revue d'économie financière

La Revue d'économie financière ou REF est une revue scientifique française qui traite de tous les aspects financiers de l'économie. Y sont discutés : finance d'entreprise, finance de marché, histoire financière, industrie bancaire, politique monétaire, etc.
La revue publie quatre numéros par an.
Fondée en 1987, la revue a fêté son numéro 100 en 2010. En 2012, elle se modernise en proposant une version numérique (epub et pdf) tout en conservant une version papier.
Les archives de la revue sont disponibles sur le portail Persée.

## Lecteurs et diffusion

La Revue d'économie financière s'adresse aux étudiants et aux enseignants, aux cadres du secteur bancaire et financier, mais aussi aux particuliers qui s’intéressent aux enjeux fondamentaux du système financier. Sa version papier est diffusée par abonnement et en librairie. Par ailleurs, les articles peuvent être consultés sur le site Internet de son éditeur, l'Association d'économie financière. La REF est une revue de référence largement reconnue sur la place de Paris, aussi bien par les professionnels que par les journalistes. Elle est référencée au Journal of Economic Literature (JEL) et classée par le Comité national de la recherche scientifique (CNRS) dans les publications recensées par la section 37 « économie et gestion ».

## Édition de la revue

Le programme éditorial de la Revue d'économie financière est défini tous les deux ans par le conseil d'orientation de l'association présidé par le gouverneur de la Banque de France, Christian Noyer. C'est ensuite au comité de rédaction, présidé par Thierry Walrafen, et au conseiller scientifique Olivier Pastré de préciser les sommaires et auteurs. Dans chaque numéro, en plus des articles du thème principal, la Revue propose des articles sur des thèmes divers de l'économie financière. Il s'agit d'articles proposés par des économistes et qui avant d'être publiés sont soumis à l'appréciation de deux rapporteurs.
Prochains thèmes abordés : la banque centrale, le financement des PME, l'immobilier, les systèmes financiers africains...
# Alain Dubrieu

Alain Dubrieu, né le 17 avril 1947 à Avignon et mort le 8 septembre 2002 à Montpellier, est un écrivain engagé, dans les années 1980, pour la constitution de comités de prisonniers alors qu'il purge une peine de dix années de prison. Il a utilisé les noms de plume d'Alain d'Ubrieu et André Navlis.

## Biographie

Installé à Montpellier où il travaille à la librairie Sauramps, Dubrieu a grandi à Marseille et connu une vie mouvementée : à la suite d'un braquage, il passe une dizaine d'années en centrale (1969-1977) où il est l'un des meneurs de la révolte des prisons contre les Quartiers de haute sécurité en 1974.

## Œuvre

Son œuvre littéraire décrit le quotidien des prisonniers dans l'environnement carcéral. Lors de la publication de son ouvrage Le Désert de l'iguane en 1979, il le présente dans l'émission de télévision « Apostrophes » animée par Bernard Pivot.
Il écrit en outre des romans policiers, des récits érotiques et signe des articles dans de nombreuses revues dont À suivre….
# Borrego

Borrego est un thriller américain écrit et réalisé par Jesse Harris, sorti en 2022.

## Fiche technique

* Titre original : Borrego
* Réalisation et scénario : Jesse Harris
* Photographie : Octavio Arias
* Montage : Luis Carballar
* Musique : The Newton Brothers
* Production : Nancy Cartwright, Jesse Harris, Greg Lauritano, Moncia Gil-Rodriguez, Damiano Tucci et Tiziano Tucci
** Production locale : Lorenzo Benedick, Fernando Bofill et Gabriel Carratu
** Production déléguée : Harry Finkel, Lucy Hale, Rebecca Miller et Cara Shine Ballarini
** Production exécutive : Nacho Piñar
* Sociétés de production : ABCDE Picture, Black Magic, Spotted Cow Entertainment et Tucci & Company
* Sociétés de distribution : Saban Films (États-Unis)
* Pays de production : États-Unis
* Langue originale : anglais
* Format : couleur
* Genre : thriller
* Dates de sortie :
** États-Unis : 14 janvier 2022 (sortie limitée)
** France : 16 janvier 2022 (vidéo à la demande)

## Distribution

* Lucy Hale (VF : Élisabeth Ventura) : Elly
* Nicholas Gonzalez (VF : Stéphane Fourreau) : Jose
* Olivia Trujillo (VF : Émilie Marie) : Alex
* Jorge A. Jimenez : Guillermo
* Leynar Gomez (VF : Benjamin Penamaria) : Tomas
* Jaime Aymerich : Juan Manuel
* Edward J. Bentley : Brody
* Brendan McNamee : Trent
# Sémantique formelle (logique)

En logique, la sémantique de la logique est l'étude de la sémantique, ou l'interprétation, des langages formels et naturels qui, en général, tentent de saisir la notion pré-théorique de déduction.

## Aperçu

Parmi les tâches des logiciens figure la fourniture de signification aux propositions.
Avant l'avènement de la logique moderne, l'Organon d'Aristote, et en particulier De Interpretatione a servi de base à la compréhension de l'importance de la logique. L'introduction de la quantification, nécessaire à la résolution du problème de généralité multiple, a rendu impossible le genre d'analyse sujet-prédicat que régissait l'œuvre d'Aristote.
Les principales approches modernes de la sémantique des langages formels sont les suivantes :
* La sémantique de la théorie des modèles est l'archétype de la théorie de la vérité d'Alfred Tarski, basé sur son schéma-T, et est l'un des concepts fondateurs de la théorie des modèles. Cette sémantique fournit les bases d'une approche à la théorie de la signification connue comme sous le nom de sémantique vériconditionnelle, qui a été développée, entre autres, par Richard Montague, David Lewis, Max Cresswell, Donald Davidson. La sémantique de Kripke introduit des innovations, mais largement conformes à la théorie tarskienne.
* La théorie de la démonstration donne le sens des propositions par le rôle qu'elles jouent dans des inférences. Gerhard Gentzen, Dag Prawitz et Michael Dummett sont considérés comme les fondateurs de cette approche; celle-ci est fortement liée à la philosophie de Ludwig Wittgenstein, en particulier à son aphorisme « meaning is use ».
* La sémantique de la valeur de vérité a été préconisée par Ruth Barcan Marcus pour les logiques modales au début des années 1960 et a plus tard été défendue par Dunn, Belnap et Leblanc pour la logique du premier ordre standard.
Quand les langages formels sont des langages de programmation ou des systèmes décrivant des calculs, la sémantique formelle comporte trois branches:
* La sémantique axiomatique définit le sens de chaque élément de programme en caractérisant l'état du système avant et après l'application de cet élément de programme.
* La sémantique dénotationnelle associe une fonction mathématique à un programme.
* La sémantique opérationnelle décrit comment fonctionne le programme sur une machine abstraite.
# Peep Lassmann

Peep Lassmann est un pianiste estonien né à Tartu le 19 mars 1948.

## Biographie

Peep Lassmann a fait ses études musicales au Conservatoire de Moscou dans la classe d'Emil Gilels.

## Discographie

* Four Easy Dances (Vier leichte Tanztücke) d'Arvo Pärt sur le disque Estonian Piano Music, chez Eres, 1994

## Récompenses et distinctions

* Ordre de l'Étoile blanche d'Estonie de 4e classe, 2001
* Ordre de l'Étoile blanche d'Estonie de 3e classe, 2018