OpenLLM-France/wikimedia huggingface dataset:
# Journal of Logic and Computation

Journal of Logic and Computation est une revue scientifique à évaluation par les pairs spécialisée dans la publication d'articles en logique mathématique et en informatique théorique et ses domaines connexes. La revue a été créée en 1990 ; elle est publiée par Oxford University Press sous licence de Dov Gabbay, propriétaire du journal.

## Description

Le Journal of Logic and Computation publie des articles sur les systèmes logiques, tels que la logique classique et non classique, la logique constructive, la logique catégorique, la logique modale, la théorie des types, les mathématiques réalisables, ainsi que la programmation logique, les systèmes basés sur la connaissance et le raisonnement automatisé, la représentation de la connaissance, le raisonnement non monotone, la logique et sémantique de la programmation ; spécification et vérification des programmes et des systèmes et les applications de la logique dans le matériel informatique, le langage naturel, le calcul simultané, la planification et les bases de données.
Le journal paraît sur la base d'un volume annuel composé de 6 numéros bimestriels. Des numéros spéciaux peuvent s'ajouter, contenant les actes de conférences ou de workshops.

## Indexation

Les articles du journal sont résumés et indexés par les bases de données usuelles de Oxford University Press, et notamment Current Contents, Journal Citation Reports, Mathematical Reviews, Science Citation Index, Scopus, DBLP et Zentralblatt MATH.
D'après SCImago Journal Rank le facteur d'impact est 0,79 en 2019. Le journal se classe dans le premier quartile de la catégorie Arts and Humanities. Sur la page de la revue, le facteur d'impact est 0,803.
# Situ Qiao

Situ Qiao (司徒乔, 1902 - 16 février 1958) est un peintre et artiste graphique chinois. membre important de l'école d'art de Lingnan, il est également connu pour son amitié avec l'écrivain Lu Xun. Son œuvre la plus célèbre est le tableau Jetez votre fouet de 1940$^,$.

## Biographie

Situ Qiao est né dans une famille pauvre à Kaiping dans la province du Guangdong en 1902 sous le nom de Situ Qiaoxing. Son père est peintre amateur.
En 1924, Situ entre à l'école de théologie de l'université Yenching de Pékin mais il est plus intéressé par la peinture. En 1926, il expose pour la première fois et est remarqué par Lu Xun qui achète son dessin Cinq policiers et un O. Au moment de l'expédition du Nord de 1927, il se rend à Wuhan pour travailler pour le conseiller soviétique Mikhaïl Borodine.
En 1928, il se rend à Shanghai et ouvre un atelier. Il expose en mars 1928 et est encore remarqué par Lu Xun qui écrit sur sa discussion avec Situ Qiao. En hiver 1928, Situ se rend en France pour étudier la peinture et expose au salon de peinture et de sculpture l'année suivante.
En 1930, Situ Qiao quitte la France pour étudier à New York. Il finance ces études en vendant des toiles, cependant, cette activité est considérée comme du travail, ce qui est illégal pour un possesseur de visa étudiant, et il est arrêté. Dans une prison pour immigrants, il peint une toile intitulée Peindre la statue de la liberté depuis l'endroit le moins libre.
Après avoir été expulsé chroniqueur d'art pour le journal Ta Kung Pao, puis se rend à Shanghai en 1936. Il est présent lors de la mort de Lu Xun le 19 octobre 1936 à Shanghai et dessine ses fameux croquis de l'écrivain.
Il se rend ensuite à Nankin, alors capitale de la Chine. Au moment de l'attaque japonaise de la ville en 1937, tous sa collection personnelle de peinture est détruite.
Fuyant les combats de la seconde guerre sino-japonaise, Situ Qiao quitte la Chine pour Rangoon en Birmanie, puis plus tard pour Singapour. En 1940, il assiste à une représentation de la pièce patriotique Jetez votre fouet (en) de Chen Liting avec les acteurs Jin Shan et Wang Ying (en). Il les invite dans son atelier et peint son tableau homonyme, qui deviendra sa toile la plus célèbre.
Au moment de la chute de Singapour aux Japonais en 1941, Situ Qiao se réfugie dans la capitale provisoire de la Chine, Chongqing. Après la guerre, il se rend à New York avec sa femme Feng Yimei en septembre 1946 pour recevoir un traitement pour soigner une maladie au poumon. Ils retournent ensuite à Pékin en 1950 après l'établissement de la République populaire de Chine. Il enseigne à l'académie centrale des beaux-arts de Chine et aide à la création du musée de la révolution chinoise$^,$.
Situ Qiao meurt le 16 février 1958 dans son atelier de Pékin$^,$. Il avait donné toutes ses peintures à l'État et elles se trouvent aujourd'hui dans les collections de musées à Pékin, Shanghai, Guangzhou, et Kaiping, sa ville natale. Une compilation de ses peintures est plus tard publiée.
# Gláfkos Klirídis

Gláfkos Klirídis (en grec Γλαύκος Κληρίδης, souvent écrit en français Glafcos Clerides ou Cléridès), né le 24 avril 1919 à Nicosie (colonie britannique de Chypre) et mort le 15 novembre 2013 dans la même ville, est un homme politique chypriote.
Il est président de la république de Chypre de juillet à décembre 1974 (par intérim) et de 1993 à 2003. Acteur de l'indépendance chypriote, il est un homme politique modéré qui œuvra pour la réunification de son pays et pour le rapprochement avec l'Europe. Il est également le premier président chypriote grec à se rendre dans la partie nord de l'île pour négocier avec son vis-à-vis turc.

## Biographie

Après avoir servi dans la Royal Air Force au cours de la Seconde Guerre mondiale, Gláfkos Klirídis devient juriste et membre de l'EOKA, organisation en lutte contre la présence britannique à Chypre.
En 1959, il participe à la conférence de Londres sur l'avenir de Chypre, puis devient ministre de la Justice pendant la période de transition jusqu'à l'indépendance du pays en août 1960. Élu à la Chambre des représentants, il en est le premier président jusqu'en 1976. C'est à ce titre qu'il assure l'intérim de la présidence de la République après l'échec du coup d'État de juillet 1974 et jusqu'au retour du président Makarios en décembre de la même année.
Homme politique modéré, il fonde en 1976 le Rassemblement démocratique (Demokrátikos Synagérmos), une formation conservatrice favorable à la réunification de l’île et au renforcement des liens avec l’Europe.
Candidat à la présidentielle de 1993, il est élu au second tour le 14 février en battant le président sortant Giórgos Vasileíou. Cinq ans plus tard, il est réélu face à Giórgios Iakóvou. Enfin, candidat à un troisième mandat en 2003, il est cette fois-ci battu par Tássos Papadópoulos et quitte la présidence après dix ans.
On retient également de lui qu'il est en décembre 2001 le premier président chypriote grec à effectuer une visite dans la partie nord de l’île, dans le cadre de négociations directes avec le président chypriote turc, Rauf Denktaş.
# NGC 7716

NGC 7716 est une galaxie spirale intermédiaire située dans la constellation des Poissons. Sa vitesse par rapport au fond diffus cosmologique est de 2 201 ± 26 km/s, ce qui correspond à une distance de Hubble de 32,5 ± 2,3 Mpc (∼106 millions d'al). NGC 7716 a été découverte par l'astronome britannique John Herschel en 1831.
La classe de luminosité de NGC 7716 est II et elle présente une large raie HI. Selon la base de données Simbad, NGC 7716 est une galaxie candidate au titre de galaxie active.
À ce jour, douze mesures non basées sur le décalage vers le rouge (redshift) donnent une distance de 32,442 ± 5,854 Mpc (∼106 millions d'al), ce qui est à l'intérieur des valeurs de la distance de Hubble.

## Groupe de NGC 7716

NGC 7716 est membre d'un groupe de galaxies qui porte son nom. Le groupe de NGC 7716 renferme au moins 5 membres. Les autres galaxies sont NGC 7714, NGC 7715, UGC 12690 et 12709.
# Qui est l'exemple ?

Qui est l'exemple ? est une chanson du rappeur français Rohff en duo avec la chanteuse Kayliah. Produite par Doltz & Reego et réalisée par Manu Key, le titre sort en single le 29 janvier 2002 sous les labels Virgin Music et EMI.
2e single extrait de son 2e album studio, La Vie avant la mort, c'est le plus grand succès du rappeur (800 000 exemplaires vendus). Certifié disque de platine quatre mois après sa sortie, ce titre a été nommée aux NRJ Music Awards 2003 dans la catégorie « Chanson francophone de l'année ».
La chanson contient un sample de Your Love de Lime (1981).

## Liste des pistes

* CD single
* Qui est l'exemple ? - 03:50
* Miroir, Miroir - 04:30
* Qui est l'exemple ? (Instrumental) - 03:21

## Classement hebdomadaire

| Classement (2002) | Meilleure position |
| Suisse (Schweizer Hitparade) | 3 |
| Belgique (Wallonie Ultratop 50 Singles) | 5 |
| France (SNEP) | 1 |
# Ammopiptanthus

Ammopiptanthus est un genre de plantes à fleurs dicotylédones de la famille des Fabaceae, sous-famille des Faboideae, originaire d'Asie, qui comprend deux espèces acceptées.

## Liste d'espèces

Selon Catalogue of Life (23 octobre 2018) :
* Ammopiptanthus mongolicus (Kom.) S.H.Cheng
* Ammopiptanthus nanus (Popov) S.H.Cheng
# Charles de Coninck de Merckem

Charles de Coninck de Merckem, né à Gand le 18 juin 1836 et mort à Merkem le 7 décembre 1896, est un homme politique belge.

## Fonctions et mandats

* Membre du Sénat belge : 1878-1896

## Sources

* Paul VAN MOLLE, Het Belgisch Parlement, 1894-1972, Antwerpen, 1972.
* Oscar COOMANS DE BRACHÈNE, État présent de la noblesse belge, Annuaire 1986, Brussel, 1986.
* Jean-Luc DE PAEPE & Christiane RAINDORF-GERARD (red.), Le Parlement Belge, 1831-1894. Données biographiques, Brussel, 1996.
# 1888 en Belgique

Chronologie de la Belgique
* 1884
* 1885
* 1886
* 1887
* 1888
* 1889
* 1890
* 1891
* 1892
Cette page recense des événements qui se sont produits durant l'année 1888 en Belgique.

## Événements

* 28 février : fondation à Bruxelles de la Société de propagande wallonne. Son objectif est de lutter contre les revendications flamandes et de défendre la suprématie du français.
* 31 mai : loi « établissant la libération conditionnelle dans le système pénal » (Loi Lejeune).

## Culture
### Architecture

* Institut de physiologie de Liège (style néoclassique, Lambert Noppius)
* Institut de zoologie de Liège (style néoclassique, Lambert Noppius)

### Arts

* 4 février - 25 mars : ouverture à Bruxelles du cinquième Salon des XX.

### Littérature

* Anthologie des prosateurs belges (Lemonnier, Picard, Rodenbach et Verhaeren).
* Hors du siècle, recueil d'Albert Giraud.
* La Nouvelle Carthage, roman de Georges Eekhoud.

### Musique

* Sonate pour violoncelle et piano en fa majeur de Guillaume Lekeu.

## Naissances

* 19 février : Hector Tiberghien, coureur cycliste († 17 août 1951).
* 29 février : Fanny Heldy, chanteuse d'opéra († 13 décembre 1973).
* 19 mars: Léon Scieur, coureur cycliste († 7 octobre 1969).
* 14 juillet : Odile Defraye, coureur cycliste († 21 août 1965).
* 18 août : Auguste Buisseret, homme politique († 15 avril 1965).
* 16 octobre : Émile Masson, coureur cycliste († 25 octobre 1973).
* 31 octobre : Charles d'Aspremont Lynden, homme politique († 21 juin 1967).
* 2 décembre : Omer Verschoore, coureur cycliste († 6 juin 1932).

## Décès

* 30 mars : Édouard Jean Conrad Hamman, peintre, graveur et illustrateur (° 24 septembre 1819).
* 28 mai : Paul-Émile De Puydt, botaniste, économiste et écrivain (° 6 mars 1810).
* 16 juillet : Jules Halkin, sculpteur (° 23 octobre 1830).
* 20 juillet : Henri de Braekeleer, peintre (° 11 juin 1840).
* 15 août : Alexandre Jamar, éditeur, financier et homme politique (° 6 novembre 1821).
* 8 octobre : Jules d'Anethan, homme politique (° 23 avril 1803).
# Kamel Rezig

Kamel Rezig (en arabe : كمال رزيق), né le 18 octobre 1964 à Boufarik dans la wilaya de Blida, est un homme politique conservateur, analyste et économiste algérien. Il est conseiller de la présidence depuis le 18 mars 2023.

## Biographie

Il naît le 18 novembre 1964 à Boufarik. Diplômé en économie et en finances, il devient ensuite maître de conférences. Alors qu'il est réputé conservateur et défenseur de sa foi, il est nommé ministre du Commerce en 2020.
Il fait l'objet de diverses critiques en tant que ministre du Commerce, par exemple à son début de mandat, à propos de la question de la disponibilité du lait en sachet.
En mai 2020, il suscite des commentaires critiques pour ne pas avoir respecté les règles de prévention sanitaires mises en place lors de l'épidémie de coronavirus en se rendant dans sa ville natale.
L'annonce par Kamel Rezig , le 25 mars 2021, d'un projet qui sanctionnait l’utilisation d'une langue autre que l'arabe sur les enseignes des commerces suscite des protestations.
Concernant le problème de la disponibilité et du prix des denrées alimentaires durant la période du ramadan, Kamel Rezig l'explique en mai 2021 par l'action de « certaines parties destructrices qui ont pour objectif d’inciter la rue à l’anarchie (...) et (ont) incité à des grèves pour porter atteinte aux institutions de l’Etat ».
En janvier 2023, après la Coupe du monde de football 2022 au Qatar, il annonce une campagne de sensibilisations sur les produits portant les couleurs de l'arc-en-ciel, qu'il assimile à un symbole LGBTQ. Un numéro vert est lancé, permettant aux individus de signaler ces produits en vue d'une descente de police.
« Appelé à d'autres fonctions », il est limogé en mars 2023, un mois après une altercation avec des députés dans l'hémicycle, et après des critiques du président de la République jugeant « inacceptables » les pénuries alimentaires. Demeuré proche du chef de l'État, il est nommé conseiller à la présidence.

### Études

* Certificat d'études supérieures en finance, spécialisé en collection, de l'Institut national des finances à Koléa (1993).
* Maîtrise en science économiques, spécialisée dans l'argent et la finance à l'Université d'Alger 3 (1996).
* Doctorat en sciences économiques, avec spécialisation en argent et finance à l'Université d'Alger 3 (2001).
* Certificat de gouverneur de comptes certifié et expert des comptes finaux (2002).

### Carrière

* Inspecteur en chef des impôts (1986-1997).
* Professeur associé depuis 1994 dans plusieurs universités algériennes.
* Doyen de la Faculté des sciences économiques et de gestion (1999-2004).
* Professeur d'enseignement supérieur à l'Université de Blida, depuis 2009.
* Professeur permanent à l'Université de Blida, Faculté des sciences économiques, depuis 1997.
* Ministre du Commerce du 2 janvier 2020 au 16 mars 2023.
* Conseiller de la présidence depuis le 19 mars 2023$^,$.

## Publications

* (ar) Les institutions de la Zakat dans le monde arabe, Bibliothèque de la société arabe (2010) - Jordanie, édité et présenté par: Kamel Rezig et Abdeslam Aggoun. (ISBN 978-9957-06-624-6)
* (ar) Livre commun sur l'économie islamique (2010) - Jordanie.
# Bocydium tintinnabuliferum

Bocydium tintinnabuliferum, la Bocydie à clochette, est une espèce d'insectes hémiptères d'Amérique du Sud appartenant à la famille des Membracidae. Le genre Bocydium se caractérise par des excroissances du pronotum aux formes particulièrement remarquables. En 1832, René Primevère Lesson y fait référence lors de la description de l'espèce en construisant l'épithète qui associe les termes latins tintinnabulum, « grelot » et ferre, « porter ».

## Description

Bocydium tintinnabuliferum est semblable à Bocydium globulare, dont elle se distingue par plusieurs particularités. Son protothorax est noir, tronqué sur le milieu du corps, supportant verticalement sur la tête un appendice cylindrique, légèrement recourbé, d'où partent cinq prolongements horizontaux. Les deux antérieurs sont plus courts, les plus obliques, et se terminent par deux corps régulièrement globuleux et pileux. Les deux latéraux portent deux boules semblables à leur milieu, mais qui finissent en deux pointes divergentes. Enfin une longue soie, dépassant le corps, se dirigeen se courbant légèrement sur la ligne médiane. Tout cet appareil est noir luisant. Les élytres sont oblongues, diaphanes et opaques ou fauves; les ailes sont gazeuses; le corps est orangé, finemant tacheté de noir, les pieds sont jaunes.

## Écologie et distribution

Bocydium tintinnabuliferum est solitaire et hémimétabole. L'adulte et l'immature vivent sur la face inférieure des feuilles, dont ils absorbent la sève grâce à leur rostre. La nuit, l'adulte est attiré par les sources de lumière artificielle. Son écologie est encore très peu connue.
B. tintinnabuliferum est présent au Brésil (Bahia, Espirito Santo, Conceição da Barra, Santa Teresa et Rio de Janeiro).
# Élections législatives de 1912 aux îles Féroé

Les élections générales féroïennes se sont tenues le 2 février 1912. Elles ont donné la victoire au Parti de l'union qui remporte 13 des 20 sièges composant le Løgting des Îles Féroé. Elles ont été marquées néanmoins par une baisse sensible de la participation, profitant au Parti de l'autogouvernement.

## Résultats

| Parti | Parti | Voix | % | +/- | Sièges |
| | Parti de l'union | 459 | 52,34 | 19,95 | 13 |
| | Parti de l'autogouvernement | 365 | 41,62 | 17,15 | 7 |
| | Indépendants | 53 | 6,04 | 2,6 | 0 |
| Total | Total | 877 | 100 | | 20 |
# Guy Cornély

Guy André Lazare Cornély, né le 2 septembre 1921 à Pointe-à-Pitre (Guadeloupe) et mort le 26 avril 2005 aux Abymes (Guadeloupe), est un érudit, un parasitologue français, et un poète.

## Biographie
### Carrière militaire

Le 6 juin 1944, lors du Débarquement de Normandie, Guy Cornély, avec cinquante autres soldats français, débarque en Normandie. Il faisait partie de l'équipage du Courbet , un bâtiment de la marine française. Sa mission était de saborder leur outil de navigation pour servir de barrage et alimenter l'offensive contre les Allemands.

### Le parasitologue

Guy Cornely est parasitologue à l'Institut Pasteur de Pointe-à-Pitre.
Dans les années 1950, il développe un traitement pour lutter contre la filariose lymphatique dans la région Pointoise en utilisant le guppy.
Il contribue à enrayer la Bilharziose en Guadeloupe.

## Postérité

Son nom a été donné à deux écoles élémentaires du quartier Raizet de la ville des Abymes.
Les Scouts et Guides de France ont créé un groupe Guy Cornély en son hommage.
Pendant une semaine à partir du 31 août 2007, un hommage est rendu à Guy Cornély organisé par le Conseil général de la Guadeloupe et Pointe-à-Pitre et une plaque commémorative est posée au lieu de naissance de Guy Cornély.
# Ducati SportClassic

La gamme Sport Classic est une gamme de trois motocyclettes, construites par l'usine italienne Ducati.
La Sport, la Paul Smart LE (pour Limited Edition, édition limitée) et la GT sont présentées comme des études de marché au cours du salon de Tokyo de 2003. Devant l'intérêt suscité, la direction décide de produire ces modèles en série, à partir de 2006.
Ces trois machines reprennent l'esthétique générale de trois machines qui ont marqué l'histoire de la firme de Bologne. La 1000 Paul Smart ressemble à la 750 SS qui remporta les 200 Miles d'Imola en 1972 aux mains de Paul Smart. La 1000 Sport est une évocation de la 750 Sport de 1971. La 1000 GT se veut être une version moderne de la 750 GT de 1970.
Elles sont toutes les trois équipées du moteur bicylindre en V ouvert à 90°, quatre temps de 992 cm$^3$ issue de la 1000 Monster. Il est annoncé pour 92 chevaux à 8 000 tr/min et un couple de 9,3 mkg à 6 000 tr/min. Il est alimenté par une injection électronique Magneti Marelli de 45 mm de diamètre.
Le freinage est assuré à l'avant par deux disques de 320 mm de diamètre, mangés par des étriers doubles pistons, et à l'arrière par un simple disque de 245 mm de diamètre, mangé par un étrier simple piston.
Sur la Sport et la GT, la fourche télescopique inversée de 43 mm provient du catalogue Marzocchi$^,$, alors que celle de la Paul Smart est estampillée Öhlins et est réglable en détente, compression et précharge.
La Sport et la Paul Smart reçoivent un monoamortisseur, Sachs sur la Sport, Öhlins sur la Paul Smart, avec un débattement de 130 mm, tandis que la GT utilisent deux combinés Sachs avec un débattement de 133 mm.
Le poids à sec annoncé est de 181 kg pour la Paul Smart, 179 kg pour la Sport et 183 kg pour la GT.
La hauteur de selle varie de 825 mm (pour les Paul Smart et Sport$^,$) à 830 mm (pour la GT).
Pour 2007, la Sport est déclinée avec une selle passager appelée Biposto, ou avec un carénage tête de fourche identique à celui de la Paul Smart, appelée Sport S. Le poids est en augmentation de 3 kg pour la première et 2 kg pour la seconde. La Paul Smart est retirée du catalogue.
Fin 2008, à l'occasion du salon de la moto de Cologne, Ducati présente la GT Touring. Elle se pare, de série, d'un grand pare-brise, de garde-boue avant et arrière chromés et d'une large poignée de maintien passager chromée. Ces accessoires lui font prendre 2 kg. Cette machine n'est disponible qu'en noir avec une bande blanche sur le réservoir.

## Galerie

* 1000 Paul Smart
* 1000 Sport
* 1000 Sport S
* 1000 Sport Biposto
* 1000 GT
# Compagnie aérienne française

La Compagnie aérienne française (CAF) était une compagnie aérienne française ayant opéré en France, en Algérie, au Maroc et en Indochine de 1919 à 1937.

## Histoire

La compagnie est fondée en 1919 par Henri Balleyguier, polytechnicien et ancien commandant d’escadrille lors de la Première Guerre mondiale$^,$.
Spécialisé dans le « travail aérien », Balleyguier adapte le savoir militaire aux applications civiles : photographie aérienne, cartographie, messagerie.
La compagnie est réputée pour ses baptêmes de l'air et ses vols d'agrément en « aérocar » au dessus de Paris$^,$.
La CAF réalise notamment un reportage photographique aérien en survolant le château pendant la signature du traité de Versailles. Son frère André Balleyguier était cofondateur et y a travaillé.
La CAF offre également ses services en Algérie, au Maroc et en Indochine.
La compagnie fait sa renommée grâce à l'embauche d'aviateurs réputés : Jeanne Fontaine, Jacques de Lesseps, Antoine de Saint-Exupéry.