OpenLLM-France/wikimedia huggingface dataset:
# Amnésie, l'énigme James Brighton

Amnésie, l'énigme James Brighton (Amnesia: The James Brighton Enigma) est un film dramatique canadien réalisé par Denis Langlois, sorti le 30 septembre 2005.
Ce film, écrit sur un scénario du réalisateur en collaboration avec Bertrand Lachance, est inspiré d'un fait divers et a remporté le prix du meilleur long métrage au Festival Inside Out à Toronto l'année suivante.

## Synopsis

En plein parking du Vieux-Montréal en 1998, sur une palette se trouve un homme nu et amnésique qui croit s'appeler James Brighton et surtout être gay. Grâce à l'organisme S.O.S. Gay qui l'aide à trouver sa véritable identité, il devient un personnage important puisqu'il passe partout, à la télévision, dans les journaux... Aussitôt, au bout de trois mois, il sera arrêté pour usurpation d'identité bien que son frère, ministre pentecôtiste du Tennessee, l'ait identifié à la suite d'un reportage…
Sylvie, étudiante en criminologie, s'intéresse à l'histoire de cet amnésique et tente de découvrir sa propre identité.

## Fiche technique

* Titre : Amnésie, l’énigme James Brighton
* Titre original : Amnesia: The James Brighton Enigma
* Titre québécois : Amnésie, l’énigme James Brighton
* Réalisation : Denis Langlois
* Scénario : Denis Langlois, en collaboration avec Bertrand Lachance
* Musique : Peter Xirogiannis
* Direction de la photographie : Larry Lynn
* Chef de montage : Denis Langlois
* Son : François Guérin
* Directrice artistique : Geneviève Blais
* Costumes : Corinne Montpetit
* Producteurs : Denis Langlois et Bertrand Lachance
* Société de la production : Les productions Castor & Pollux Inc.
* Distribution : K-Films Amérique
* Genre : Drame
* Budget : 871 592 de dollars
* Formats : couleur, tourné en DVC-Pro 50, transféré en 35 mm
* Durée : 90 minutes
* Langue : française et anglaise
* Pays : Canada
* Sortie :
** Canada : 30 septembre 2005

## Distribution

* Dusan Dukic : James Brighton / Matthew Honeycutt
* Karyne Lemieux : Sylvie
* Norman Helms : Félix Blain
* Louise Laprade : Geneviève Marler
* Steven Turpin : James Brighton, le vrai
* Matt Holland : Bob Williams
* Bruce Ramsay : Carl Honeycutt
* Mariah Inger : Bobbie
* Henri Pardo : Dominique
* Eric Cabana : Inspecteur Christian Leclerc
* L. Kalo Gow : La tante de Matthew Honeycutt

## Lieux de tournage

Amnésie, l’énigme James Brighton est entièrement tourné à Montréal, Québec au Canada.

## Distinctions

Amnésie, l’énigme James Brighton a remporté le Prix du Meilleur long métrage au Festival Inside Out à Toronto en 2006. Il a aussi remporté le Prix du Public du Meilleur long métrage au Festival de Cine Llamale H de Montevideo, Uruguay, en 2008.
# Championnats du monde de Dart 18 2002

Les championnats du monde de Dart 18 2002 sont une compétition internationale de sport nautique sous l'égide de la Fédération internationale de voile (ISAF). Cette édition 2002 se tient à Marseille en France.

## Résultats

| # | Équipage |
| 1 | Christophe Ghazarian et Catherine Ghazarian |
| 2 | Hervé Le Maux et Joanna Jones-Pierce |
| 3 | Thierry Wibaux et Christine Wibaux |
# Magnolia chocoensis

Magnolia chocoensis est une espèce de plantes à fleurs de la famille des Magnoliacées. C'est un arbre endémique de Colombie.

## Description

C'est un arbre.

## Répartition et habitat

Cette espèce est endémique de Colombie où elle est présente dans les départements de Chocó et Risaralda. Elle pousse dans la forêt de nuage entre 1 450 et 1 900 m d'altitude.
# José María Davó

José Maria Davó, né à Jaén en 1948, a été le Président du Conseil des barreaux européens durant l'année 2010. Il est marié, a deux enfants, et a toujours vécu à Malaga.

## Biographie

José María Davó est associé fondateur du Cabinet « Jiménez y Davó » en 1984, avec plus de 30 ans d´expérience professionnelle en tant qu´avocat devant le Tribunal et dans le conseil juridique pour des entreprises et institutions administratives.
Il est inscrit au Barreau de Malaga en 1973 et a été élu Bâtonnier du Collège des avocats de Malaga de Décembre 1998 jusqu´en Janvier 2002. Durant la période 2000-2002, il a également été Président du Conseil d´Andalousie du Collège des avocats, ainsi que Secrétaire fondateur de la revue juridique de Andalousie et fondateur de la revue MIRAMAR, outil d´expression de Barreaux de Malaga.
Au niveau national, il a été Vice-président du Conseil Général des Barreaux espagnols, occupant la Présidence de la Commission des nouvelles technologies et initiant l´informatisation de tous les Barreaux espagnols. Plus tard, il préside la Commission des relations Internationales dudit Conseil jusqu´en 2002. Et de 2003 à 2009, il fut élu Conseiller par les plus grands avocats.
Il a également été le chef de la Délégation qui représente le Barreau espagnol devant le Conseil des Barreaux Européens (CCBE) de 1999 a 2007. En janvier 2005, il fut élu président de la Commission de Droits de l´homme du CCBE, occupant le poste jusqu´à la fin 2007, créant pendant son mandat le prix annuel des Droits de l´homme pour avocats et entités distingués pour leurs actes de défense des Droits de l´Homme. Coïncidant avec le 50e anniversaire du CCBE, José Maria Davó en était le Président en 2010.
Il a aussi représenté les Barreaux espagnols devant l'International Bar Association (IBA), association comptant le plus grand nombre d´avocats au niveau mondial pour la période de 2000 à 2008, étant actuellement Conseiller par le Barreau espagnol au Conseil Géneral de cette organisation. Depuis la création de la Cour pénale internationale, il fut à la tête de la Délégation du Conseil des Barreaux espagnol devant l´Assemblée des États Membres. Depuis 2006, il est l´unique membre espagnol de la Commission de déontologie pour les avocats intervenant devant le Tribunal pénal international.
# Joe Tshupula

Joe Tshupula est un entraîneur de football belgo-congolais qui est à la tête de l'Académie de Football Nord à Maurice.

## Biographie
### Jeunesse

Né à Kinshasa en République démocratique du Congo, Tshupula émigrant en Belgique à l'âge de dix ans. Tshupula n'était lié à aucune équipe avant l'âge de 15 ans car il ne connaissait aucune tenue locale.

### Maurice

Succédant à Fidy Rasoanaivo en tant qu'entraîneur de l'AS Port-Louis 2000 en 2012, Tshupula a été embauché pour gérer le Cercle de Joachim l'année suivante qui les a poussés à 20 points au premier semestre 2013-2014 et capturant le trophée de cette saison, répétant le succès en 2014-2015 avant de se retirer pour passer plus de temps avec sa famille. Intéressé pour gérer l'équipe nationale mauricienne le Belge a travaillé avec le Français Alain Happe comme assistant en septembre 2015 avant de prendre sa place et de conduire la jeune équipe à la 142e place du classement mondial, leur position la plus éloignée depuis mai 2007, en juin de l'année prochaine malgré l'échec de sa qualification pour la Coupe d'Afrique des nations 2017 avec deux nuls et deux défaites dans le groupe H, cédant face au Rwanda 0-5 lors du dernier match. Cependant, lorsque Maurice a été battue par les Comores et qu'ils n'ont pas atteint la Coupe d'Afrique des nations 2019, il y avait des spéculations sur le licenciement de l'ancien leader démissionnant finalement en 2017 après avoir été battu par l'Angola 3-2, avec le Brésilien. Francisco Filho prenant sa place.
Concernant le football à Maurice, le natif de Kinshasa a déclaré qu'il était plus détendu, pas aussi tactique, et était plus une récréation qu'un travail malgré le fait que la ligue soit professionnelle comparant à la promotion belge. En outre, il estime qu'il existe un potentiel parmi les jeunes footballeurs mauriciens et que la sélection nationale peut se qualifier pour la Coupe d'Afrique des nations à l'avenir.

### Vie privée

Tshupula est capable de comprendre et de parler créole,
Tshupula est père de 3 garçons Kevin, Yannick et Lucas.

## Carrière
### Joueur

| Période | Club |
| | FC Verrewinkel$^,$ |
| | CS Nivelles$^,$ |
| | FC Bordeaux |
| | Gazélec Ajaccio |
| | Le Havre AC |
| 1998–1999 | Rhodienne-Verrewinkel |
| 1999–2000 | AFC Tubize$^,$ |
| 2001 | Kidderminster Harriers FC |

### Entraîneur

| Période | Club |
| 2005-2006 | Royale Union Saint-Gilloise$^,$$^,$$^,$ |
| 2008-2009 | Daring Club Motema Pembe |
| 2010–2011 | AS Rivière du Rempart (Directeur Technique) |
| 2012-2013 | AS Port-Louis 2000 |
| 2013-2016 | Cercle de Joachim SC |
| 2015 | Maurice |
| 2016-2017 | Maurice |
# Unité urbaine de Rambervillers

L'unité urbaine de Rambervillers est une unité urbaine française centrée sur la commune de Rambervillers, dans le département des Vosges et la région Grand Est.

## Caractéristiques

D'après la définition qu'en donne l'INSEE, l'unité urbaine de Rambervillers est composée de 2 communes, toutes appartenant au pôle urbain de Rambervillers et situées dans les Vosges.
En 2021, l'unité urbaine compte 5 418 habitants.

## Composition selon la délimitation de 2020

Voici la liste des communes françaises de l'unité urbaine de Rambervillers.
Liste des communes de l'unité urbaine :
| Nom | Code Insee | Département | Statut | Superficie (km$^2$) | Population (dernière pop. légale) | Densité (hab./km$^2$) | Modifier |
| Rambervillers (ville-centre) | 88367 | Vosges | ville-centre | 20,64 | 5 045 (2021) | 244 | |
| Saint-Gorgon | 88417 | Vosges | banlieue | 5,77 | 373 (2021) | 65 | |

## Évolution démographique

Évolution démographique du territoire :
| 1968 | 1975 | 1982 | 1990 | 1999 | 2009 | 2014 | 2020 |
| 7 561 | 7 444 | 6 883 | 6 219 | 6 329 | 6 018 | 5 903 | 5 451 |
# Amiga Joker

Amiga Joker était un magazine allemand d'informatique et de jeu vidéo consacré à l'Amiga. Lancé en novembre 1989, Amiga Joker arrête sa diffusion en novembre 1996.
Un numéro spécial est sorti en 2017
# Championnats du monde de course d'orientation 2011

Les championnats du monde de course d'orientation 2011, vingt-huitième édition des championnats du monde de course d'orientation, ont lieu du 10 au 20 août 2011 en Savoie (département), en France.

## Podiums
### Femmes

| Épreuves | Or | Argent | Bronze |
| Femmes Sprint | Suède Linnea Gustafsson | Suède Helena Jansson | Suède Lena Eliasson |
| Femmes moyenne distance | Suède Helena Jansson | Danemark Ida Bobach | Suisse Judith Wyder |
| Femmes Longue distance | Suède Annika Billstam | Tchéquie Dana Brožková | Suède Helena Jansson |
| Femmes Relais | Finlande Anni-Maija Fincke Merja Rantanen Minna Kauppi | Tchéquie Martina Zverinová Eva Jureníková Dana Brožková | Suède Helena Jansson Tove Alexandersson Annika Billstam |

### Hommes

| Épreuves | Or | Argent | Bronze |
| Hommes Sprint | Suisse Daniel Hubmann | Suède Anders Holmberg | Suisse Matthias Müller |
| Hommes moyenne distance | France Thierry Gueorgiou | Suède Peter Öberg | Norvège Olav Lundanes |
| Hommes Longue distance | France Thierry Gueorgiou | Finlande Pasi Ikonen | France François Gonon |
| Hommes Relais | France Philippe Adamski François Gonon Thierry Gueorgiou | Norvège Carl Waaler Kaas Anders Nordberg Olav Lundanes | Suède Anders Holmberg Olle Boström David Andersson |

## Tableau des médailles

* Pays organisateur
Tableau des médailles :
| Rang | Nation | Or | Argent | Bronze | Total |
| 1 | Suède | 3 | 3 | 4 | 10 |
| 2 | France | 3 | 0 | 1 | 4 |
| 3 | Finlande | 1 | 1 | 0 | 2 |
| 4 | Suisse | 1 | 0 | 2 | 3 |
| 5 | République tchèque | 0 | 2 | 0 | 2 |
| 6 | Norvège | 0 | 1 | 1 | 2 |
| 7 | Danemark | 0 | 1 | 0 | 1 |
| Total | Total | 8 | 8 | 8 | 24 |
# Logique de la prouvabilité

En logique, une logique de la prouvabilité est une logique modale où l'opérateur modal se lit « il est prouvable que ». Il existe plusieurs logiques de la prouvabilité , par exemple, la logique GL (pour Gödel-Löb) obtenue en ajoutant un axiome qui correspond au théorème de Löb à la logique modale K4.

## Histoire

Tout a commencé lorsque Gödel, en 1933, propose une traduction de la logique intuitionniste en logique modale (la logique modale utilisée s'appelle désormais la logique S4).
# Jules Baron

Jules Baron, né le 15 février 1855 à Cholet (Maine-et-Loire) et mort le 10 septembre 1919 à Cholet, est un homme politique français.

## Biographie

Jules Baron, est fils de Jules Auguste Baron, marchand de fer et de Marguerite Clotide Pierette. Propriétaire foncier, il est conseiller d'arrondissement de 1880 à 1889, puis conseiller général du canton de Cholet de 1889 à 1905. Conseiller municipal de Cholet en 1888, il est maire de 1893 à 1894 et de 1896 à 1900. Il est député de Maine-et-Loire de 1896 à 1903, siégeant à droite. Nationaliste et antisémite, il sera très logiquement antidreyfusard.
# Cotys VI

Cotys VI (en grec ancien : Κότυς ϝʹ) est un roi thrace des Sapéens, qui règne d'environ 42 à environ 31/15 av. J.-C.
Il est respectivement le fils et le neveu de ses prédécesseurs Rhescuporis Ier et Rhascus et le probable père de son successeur Rhémétalcès Ier.

## Biographie

À l'instar de ses prédécesseurs, c'est un prince qui appartient à la famille qui règne sur les Thraces Sapéens et possède toute la région maritime située à l'est de la rivière Strymon jusqu'à la Chersonèse de Thrace.
Il meurt peut-être lors de la dernière Guerre civile de la République romaine, autour de 31 av. J.-C. Lors de cette guerre civile à la suite du second triumvirat, il a peut-être pris le parti de Marc Antoine contre Octave. Il décède peut-être au combat contre les Besses vers 15 av. J.-C. Les Besses, peuple de la Thrace, restés indépendants de Rome, ont attaqué les provinces thraces alliées de l'Empire romain sous la conduite de Volgaisos, grand-prêtre du sanctuaire de Dionysos dans l'Haimos. Les barbares sont repoussés par une armée romaine aidée de leurs alliés thraces.

## Famille
### Mariage et enfants

De son mariage avec une femme inconnue, il eut :
* Rhémétalcès Ier ;
* Rhescuporis III ;
* une fille, épouse de Cotys VII, roi des Astéens et des Odryses.

### Ascendance

| 4. Cotys V (en) | 4. Cotys V (en) | 4. Cotys V (en) | 4. Cotys V (en) |
| | | | | 2. Rhescuporis Ier | 2. Rhescuporis Ier | 2. Rhescuporis Ier | 2. Rhescuporis Ier |
| | | | | | | | | 1. Cotys VI | 1. Cotys VI | 1. Cotys VI | 1. Cotys VI |
# Joe Turner (pianiste)

Joe Turner, né le 3 novembre 1907 à Baltimore dans le Maryland et mort le 21 juillet 1990 à Montreuil dans le département français de la Seine Saint Denis, est un pianiste de jazz américain spécialisé dans le style piano stride.

## Biographie

Sa mère commence à lui apprendre le piano à l'âge de 5 ans, et à l'âge de douze ans il commence à se produire.
En 1928 il est engagé dans l'orchestre de Benny Carter qui passera sous la férule de Louis Armstrong en 1930.
Habitué des clubs de Harlem, il participe un jour à une joute avec un débutant, Art Tatum. Jo (sans "e") lui joue son morceau de bravoure, Liza, puis Art Tatum le remplace au piano et c'est un feu d'artifice. Jo, beau joueur, présentera Art Tatum à Adelaïde Hall avec qui Art Tatum fera ses premiers enregistrements pour la marque Decca et la suit dans une tournée en Europe.
Il se lie avec Erroll Garner pendant la seconde guerre mondiale et remplacera d'ailleurs ce dernier quelques jours après sa mort en janvier 1977 dans le club où il devait reprendre sa carrière.
Mobilisé, il joue du piano dans l’orchestre de l'armée américaine dirigé par Sy Oliver, ancien arrangeur du grand orchestre de Jimmie Lunceford.
Après la guerre, il joue avec la formation de Rex Stewart, avant de s’établir en Europe. En 1962, il s’installe à Paris. On pouvait l’entendre depuis cette date dans un restaurant de l'avenue Pierre 1er de Serbie La Calavodos$^,$ où, du soir jusqu’à l’aube, il jouait et chantait dans un style qui n’appartenait qu’à lui. Les photos le montrent souvent mâchonnant un énorme cigare mais il confessait volontiers que c'était pour la galerie.
Joe Turner était le dernier survivant de la grande ligne des maîtres du piano stride allant jusqu'à enregistrer le thème de Thelonious Monk Well, You Needn't.
Joe turner apparait dans le film Boulevard du rhum de Robert Enrico et dans Strip-tease par Jacques Poitrenaud.
Joe Turner décède le 21 juillet 1990 des suites d'un infarctus à Montreuil$^,$. Il est inhumé au cimetière de Fontenay-sous-Bois.

## Discographie (sélection)

* 1952 : Piano Mood, label : Vogue Records,
* 1958 : Joe Turner And Albert Nicholas Quartet – Joe & Nick + Two, label : Columbia Records,
* 1969 : Smashing Thirds, label : MPS Records (Musik-Produktion Schwarzwald),
* 1969 : Stride By Stride, label : 77 Records,
* 1974 : Joe's Back In Town, label : Black and Blue,
* 1976 : Another Epoch-Stride Piano, label : Pablo Records,
* 1976 : King Of Stride, label : Chiaroscuro Records,
* 1978 : As Time Goes By, label : New York Records,
* 1979 : Effervescent, label : Black and Blue,
* 1979 : I Understand, label : Black and Blue,
* 1980 : Stridin' In Paris, label : Vogue Records,
* 1983 : Walking Through Heaven, label : Swingtime Records,
* 2001 : Joe Turner Trio With Slam Stewart And Jo Jones, label : Black and Blue,
# Phumlile Ndzinisa

Phumlile Sibonakele Ndzinisa, née le 21 août 1992 à Lobamba, Swaziland, est une athlète swazie. Elle participe à l'épreuve du 400 m aux Jeux olympiques d'été de 2012 à Londres où elle est éliminée au premier tour, mais bat le record national féminin du 400 m avec 53,95 secondes.
Elle participe aussi au 100 m pour le Swaziland aux Jeux olympiques d'été de 2016 à Rio de Janeiro. Elle termine 5e de sa ronde préliminaire et ne s'est pas qualifiée pour la finale. Elle était le porte-drapeau du Swaziland lors de la cérémonie de clôture.
Elle est médaillée d'argent du 400 mètres aux Championnats d'Afrique australe 2011 à Harare. Aux Championnats d'Afrique australe 2013 à Lusaka, elle est médaillée d'or du 200 mètres et médaillée d'argent du 400 mètres.
# Alwin Neuß

Alwin Neuß (né le 17 juin 1879 à Cologne; mort le 30 octobre 1935 (à 56 ans) à Berlin) fut un acteur et réalisateur allemand.

## Biographie

Alwin Neuß est surtout connu pour ses interprétations des détectives Tom Shark (de) et Sherlock Holmes dans des séries de films muets des années 1910.

## Filmographie partielle
### Comme acteur

* 1914 : Le Chien des Baskerville de Rudolf Meinert

### Comme réalisateur

* 1917 : La Peau de chagrin (de) (Das Spiel vom Tod)
# Chandler Catanzaro

Chandler Catanzaro (né le 26 février 1991 à Greenvillee en Caroline du Sud) est un joueur de football américain évoluant au poste de kicker.

## Biographie

Il a joué avec les Tigers de l'Université de Clemson de 2010 à 2013. Non sélectionné par une équipe lors de la draft 2014 de la NFL, il signe avec les Cardinals de l'Arizona en mai 2014. En compétition avec Jay Feely pour le poste de kicker dans l'équipe, il gagne une place dans l'équipe dès le début de la saison.
Il signe en mars 2017 avec les Jets de New York. En mars 2018, il signe un contrat de trois ans avec les Buccaneers de Tampa Bay. Le 12 novembre 2018, il est libéré par les Buccaneers. Durant la même saison, le 7 décembre, il signe avec les Panthers de la Caroline pour remplacer Graham Gano qui est blessé.

## Statistiques

Statistiques :
| Année | Équipe | MJ | Field goals | Field goals | Field goals | Field goals | Extra Points | Extra Points | Extra Points | Punt | Punt | Punt |
| Année | Équipe | MJ | Tentés | Réussis | % | Long | Tentés | Réussis | % | Tentés | Yards | Moy. |
| 2014 | Cardinals | 16 | 33 | 29 | 87,9 | 51 | 27 | 27 | 100 | | | |
| 2015 | Cardinals | 16 | 31 | 28 | 90,3 | 47 | 58 | 53 | 91,4 | | | |
| 2016 | Cardinals | 16 | 28 | 21 | 75 | 60 | 47 | 43 | 91,5 | 2 | 66 | 33 |
| 2017 | Jets | 16 | 30 | 25 | 83,3 | 57 | 29 | 29 | 100 | | | |
| 2018 | Buccaneers | 9 | 15 | 11 | 73,3 | | 27 | 23 | 85,2 | | | |
| 2018 | Panthers | 4 | 5 | 5 | 100 | | 8 | 7 | 87,5 | | | |
| Totaux | Totaux | Totaux | 142 | 119 | 83,8 | 60 | 196 | 182 | 92,9 | 2 | 66 | 33 |
# Logique de l'action

L’inventeur de la logique de l’action (« logic of action ») est le finlandais Georg Henrik von Wright. Elle se comprend comme un calcul opérant avec des propositions désignant des actions. De façon très générale elle détermine les rapports logiques entre les différentes propositions désignant des actions : dans quel cas peut-on conclure d’une proposition p qu’elle est induite par une proposition q ou bien qu’une proposition r est vraie si et seulement si une proposition s est vraie ?

## Importance de la logique de l’action

La logique de l’action était aux yeux de son inventeur von Wright un élément indispensable à la constitution d’une logique déontique. Cette dernière analyse en effet quelles actions sont interdites, permises ou obligatoires. Or, un tel calcul exigeait au préalable un calcul déterminant le statut des propositions désignant une action.
Néanmoins la logique de l’action, même indépendamment de la logique déontique, est d’une importance fondamentale pour toute théorie de l’action (et tout particulièrement pour la philosophie de l'action contemporaine) qui veut formaliser ses résultats par un calcul logique adéquat et rigoureux.

## Analyse de l’action dans la logique de l’action

La logique de l’action repose sur une tripartition des différents types d’action :
* une action consiste à effectuer quelque chose (« to bring about ») ;
* ou bien une action consiste à ne rien faire (« to leave something unchanged ») ;
* ou bien une action consiste à laisser quelque chose avoir lieu (« to let something happen »).

## Présentation de la logique de l’action

Conformément à la présentation axiomatique de la logique des propositions (sur laquelle est axé le formalisme de la logique de l’action), la logique de l’action possède un langage ainsi qu’une syntaxe (ou théorie de la preuve) composée d’un système d’axiome et de règles d’inférence.

### Le langage de la logique de l’action

Le langage de la logique de l’action repose sur les symboles fondamentaux suivants :
* symboles de propositions désignant des actions : p, q, r… ;
* connecteurs : $\lnot$ ;
* symbole désignant l’agent : x, y, z… ;
* symboles auxiliaires : (,),[,],{,}… .
* Effectuer une action s’écrit alors : [p] x. Par exemple Xavier (x) parle (p).
* Ne rien faire : $\lnot [p]$ .
* Laisser quelque chose avoir lieu : [$\lnot p$] x.

### Les axiomes et règles d’inférence

Les règles d’inférence de la logique de l’action sont au nombre de deux : il s’agit du modus ponens et de plus de la règle de substitution.
Les axiomes sont au nombre de quatre :
A1 : $[\lnot p]\to \lnot [p]x$
A2 : $[\lnot \lnot p]x\equiv [p]x$
A3 : $[p\land q]x\equiv [p]x\land [q]x$
A4 : $[\lnot (p\land q)]x\equiv [p\land \lnot q]x\wedge [\lnot p\wedge q]x\land [\lnot p\wedge \lnot q]x$.

## La logique de l’action après von Wright

Parmi ceux qui ont donné une nouvelle vigueur à la logique de l’action on peut citer Lennart Åqvist (en) ou bien Franz von Kustschera.
# Cosmos parviflorus

Cosmos parviflorus est une espèce de la famille des Asteraceae.
Cosmos parviflorus ou southwestern cosmos, est une espèce de plante de la famille des Asteraceae que l'on trouve en Amérique du Nord. Dans de nombreux endroits, c'est une mauvaise herbe commune dans les champs agricoles, bien qu'elle pousse également dans les prairies herbeuses des zones forestières. L'espèce semble être indigène au Texas, New Mexico, Colorado, Arizona, et Utah. Des collectes ont également été faites dans le Massachusetts, le Maine, le Maryland, le Missouri, le Rhode Island, bien qu'elle semble avoir été introduite dans ces régions$^,$. Il est répandu au Mexique, de Chihuahua à Oaxaca$^,$$^,$$^,$.

## Description

Le Cosmos parviflorus atteint une hauteur de 100 cm. Les feuilles sont profondément divisées en segments linéaires étroits. Les fleurs, munies de ligules sont rouges, roses ou blanches, les couleurs étant parfois mélangées dans la même population. Les akènes sont barbelés, ce qui leur permet de se loger dans les fourrures ou les vêtements. Ils peuvent ainsi être transportés sur de longues distances$^,$$^,$.

## Systématique

Le nom correct complet (avec auteur) de ce taxon est Cosmos parviflorus (Jacq.) Pers..
Cosmos parviflorus a pour synonymes :
* Bidens humboldtii Sch.Bip.
* Coreopsis parviflora Jacq.
* Cosmea parviflora (Jacq.) Willd.
* Cosmos bipinnatus var. parviflorus (Pers.) A.Gray
* Cosmos parviflorus (Jacq.) Kunth, 1818