OpenLLM-France/wikimedia huggingface dataset:
# Type Alphée Dubois

Le type Alphée Dubois, prenant le nom de son dessinateur, est une série de quatorze timbres-poste émise à partir de mai-juin 1881 et utilisable dans l'ensemble des colonies françaises, pour lesquelles elle constitue la dernière « émission générale ». Ce type de timbre est également connu sous le nom de type Commerce.

## Conception et symbolique du type Alphée Dubois

Si le dessin est dû à Alphée Dubois, la gravure du poinçon est exécutée par Louis-Eugène Mouchon en mars-avril 1880. Les timbres sont imprimés en planches par typographie.
Le timbre représente une femme, figure allégorique de la France, assise, vue sous son profil droit. Son bras droit s'appuie sur une ancre ; sa main gauche tient la hampe d'un drapeau ainsi qu'un rameau d'olivier. À ses pieds se trouvent une corne d'abondance ainsi que des tonneaux et des ballots. Un navire est présent en arrière-plan.

## Les différentes émissions
### Première émission

Les premières émissions des timbres au type Alphée Dubois ont lieu, pour l'ensemble des valeurs, en mai et juin 1881, exception faite du 25 c noir sur rose qui n'est émis qu'en 1886. Il s'agit de la première et de la seule émission de timbres dentelés (14 × 13½) utilisables dans l'ensemble des colonies françaises, mais il est possible que toutes les colonies n'aient pas bénéficié de l'ensemble de la série.
| Valeur faciale | Couleur | Valeur faciale | Couleur |
| 1 c | noir sur azuré | 25 c | jaune-bistre |
| 2 c | lilas-brun sur paille | 25 c | noir sur rose |
| 4 c | lilas-brun sur gris | 30 c | brun |
| 5 c | vert | 35 c | violet-noir sur orange |
| 10 c | noir sur lilas | 40 c | rouge-orange |
| 15 c | bleu | 75 c | rose |
| 20 c | brique sur vert | 1 f | olive |

### Émissions complémentaires

Le type Alphée Dubois se retrouve également sous forme d'entiers postaux émis à partir de 1885 :
* Des cartes postales (10 c. noir sur lilas, 10 c. noir sur chamois ;
* Une carte postale avec réponse payée 10 c. + 10 c. noir sur bleu ;
* Des cartes-lettres 15 c. et 25 c. avec trois piquages différents ;
* Des enveloppes 5 c. et 15 c. en trois formats différents pour la valeur de 15 c. ;
* Des bandes d'adresse de journaux en 1888 pour 5 valeurs
Un tirage sur bristol a été réalisé en 1900 pour ces entiers postaux.
Les entiers postaux au type Alphée Dubois sont beaucoup plus rares oblitérées ayant voyagé que neufs. Ils sont tous référencés dans le catalogue des entiers postaux des Colonies édité par l'Association des Collectionneurs d'Entiers Postaux.

### Surcharges

Rapidement, l'évolution très différente des cours des changes d'une colonie à l'autre entraîne une spéculation sur le marché du timbre neuf. Pour y faire face, dans un premier temps, certaines colonies commencent à surcharger à leur nom le stock de timbres à leur disposition. Dans un second temps, une seconde surcharge, modifiant la valeur faciale, est éventuellement apposée par chaque colonie.
* Surcharge locale (Cochinchine) et nouvelle faciale (15 c).
* Surcharge locale (Nossi-Bé) et nouvelle faciale (75 c).
* Surcharge locale (Diego-Suarez) sans changement de faciale.
# Ola Lindgren

Ola Lindgren, né le 29 février 1964 à Halmstad, est un ancien joueur de handball suédois devenu entraîneur. International suédois de handball lors de la domination de cette équipe dans les années 1990, il est ainsi quadruple champion d'Europe (1994, 1998, 2000 et 2002), double champion du monde (Championnat du monde 1990 et Championnat du monde 1999) et triple médaillé d'argent aux Jeux olympiques (1992, 1996 et 2000).

## Biographie
### Palmarès en club

* Vainqueur du Championnat de Suède (4) : 1984, 1988, 1990 et 1994
* Vice-Champion d'Allemagne (1) : 2002

### Palmarès en équipe nationale

* 375 sélections et 477 buts en équipe de Suède

#### Jeux olympiques

* 5e place aux Jeux olympiques d'été de 1988 à Séoul, Corée du Sud
* Médaille d'argent aux Jeux olympiques d'été de 1992 à Barcelone, Espagne
* Médaille d'argent aux Jeux olympiques d'été de 1996 à Atlanta, États-Unis
* Médaille d'argent aux Jeux olympiques d'été de 2000 à Sydney, Australie

#### Championnats du monde

* Médaille d'or au Championnat du monde 1990, Tchécoslovaquie
* Médaille de bronze au Championnat du monde 1993, Suède
* Médaille de bronze au Championnat du monde 1995, Islande
* Médaille d'argent au Championnat du monde 1997, Japon
* Médaille d'argent au Championnat du monde 1999, Égypte
* Médaille d'or au Championnat du monde 2001, France

#### Championnats d'Europe

* Médaille d'or au Championnat d'Europe 1994, Portugal
* Médaille d'or au Championnat d'Europe 1998, Italie
* Médaille d'or au Championnat d'Europe 2000, Croatie
* Médaille d'or au Championnat d'Europe 2002, Suède

### Distinctions personnelles

* Élu meilleur handballeur suédois de l'année en 1989 et 1990
* Deuxième joueur le plus capé de l'équipe nationale de Suède (précédé par les 386 sélections de Magnus Wislander)

## Carrière d'entraîneur
### Palmarès en clubs

* Vainqueur de la Coupe de l'EHF (1) : 2008
* Vainqueur du Championnat de Suède (4) : 2015, 2016, 2017, 2018

### Palmarès en équipe nationale

* Médaille d'argent aux Jeux olympiques d'été de 2012 à Londres, Royaume-Uni
# Augustin Frison-Roche

Augustin Frison-Roche, né le 7 novembre 1987 à Saint-Mandé, est un artiste peintre et sculpteur français.

## Parcours

Il commence le dessin à 15 ans (cours du soir aux Beaux-Arts de Bourges puis académie de dessin privée). Après des études littéraires (hypokhâgne au lycée militaire d'Aix-en-Provence, khâgne au lycée Camille-Jullian et licence d’histoire à Bordeaux), il se forme en peinture pendant 3 ans, dans l'atelier de François Peltier.
À partir de 2010, il réalise plusieurs expositions personnelles à Saint-Émilion, Paris et Bordeaux, ainsi que des commandes pour des établissements scolaires et des lieux de culte$^,$.
À partir de 2020, il travaille à un ensemble de tableaux pour la cathédrale de Saint-Malo, dont un retable monumental$^,$$^,$.
Du 8 avril au 28 mai 2022, son exposition L'Or du soir est présentée à la galerie Guillaume à Paris$^,$$^,$. Le Monde des Religions écrit notamment: « L’œuvre de Frison-Roche ravive le débat sur la nature de l’art sacré, qu’il pratique, ouvert à toutes les traditions, de la Grèce homérique à l’Inde des Upanishad, comme à tout ce qui vise à élever au rang d’art le dialogue vivifiant avec l’invisible ». Cette exposition donne lieu à la publication d'un livre monographique aux éditions Klincksieck, Peintures, 2019-2022, commenté par Stéphane Barsacq.
Début 2023 est révélé un reliquaire conçu et peint par lui pour accueillir le crâne de saint Thomas d'Aquin. Il poursuit la production d’œuvres destinées à des édifices religieux (Cambrai, Landunvez, Voisins-le-Bretonneux...).
Du 9 janvier au 26 février 2025, une nouvelle exposition, "Épiphanies", est présentée au Collège des Bernardins. Elle fait elle aussi l'objet d'un livre dont les textes sont écrits par Christiane Rancé.

## Publication

* Avec Stéphane Barsacq, Peintures, 2019-2022, Paris, Klincksieck, 2022, 96 p. (ISBN 978-2252046579).
* Avec Christiance Rancé, Épiphanies, Paris, Klincksieck, 2025, 112 p.
# Đorđe Milićević (homme politique, 1967)

Đorđe Milićević (en serbe cyrillique : Ђорђе Милићевић ; né le 11 décembre 1967 à Bar) est un homme politique serbe. Il est membre du Parti progressiste serbe (SNS) et vice-président de l'Assemblée de la province autonome de Voïvodine.

## Parcours

Đorđe Milićević naît le 11 décembre 1967 à Bar, au Monténégro. Il est diplômé de la Faculté d'économie de l'université de Novi Sad. Il commence sa carrière à la direction de la République pour les ressources naturelles (Republička direkcija za robne rezerve), où il travaille en tant qu'expert indépendant et consultant. À partir de 2004, il travaille pour l'Institut de construction de la ville (Zavod za izgradnju Grada) à Novi Sad, où il est successivement conseiller du directeur, assistant du directeur des affaires générales et économiques et directeur général. Entre 2004 et 2008, il participe aux travaux de diverses commissions de l'assemblée de la ville de Novi Sad.
Entre 2008 et 2012, il est conseiller du vice-président de l'Assemblée de la province autonome de Voïvodine. Aux élections provinciales de 2012, il est élu député à l'Assemblée provinciale sur la liste du Parti progressiste serbe (SNS) de Tomislav Nikolić et s'inscrit au groupe parlementaire du SNS. Le 22 juin 2012, il est élu vice-président de l'Assemblée provinciale.

## Article connexe

* Politique en Serbie
# Comte d'Arran

Le titre de Comte d'Arran est un titre de la pairie d'Ecosse, il est subsidiaire de celui de Duc d'Hamilton.
* James Hamilton (vers 1475-1529), 1er comte d'Arran ;
* James Hamilton (vers 1516-1575), 2e comte d'Arran ;
* Jacques Stuart († 1595), 3e comte d'Arran durant cinq ans, tuteur du suivant ;
* James Hamilton (vers 1537-1609), 3e comte d'Arran ;
* James Hamilton (1589-1625), 4e comte d'Arran, puis 2e marquis d'Hamilton.
# Ausserbinn

Ausserbinn est une localité et ancienne commune suisse du canton du Valais, située dans le district de Conches.
Ausserbinn est rattachée, le 1er octobre 2004, avec Mühlebach et Steinhaus à la commune de Ernen. Elle a porté le numéro OFS 6051.

## Géographie

La localité se situe sur une pente ensoleillée, sur le flanc du Binntal, à environ 1 300 m d'altitude, sur la route reliant Binn à Brigue, à 5,5 km à l'ouest de Binn et à 19 km à l'est de Brigue.

## Culture et patrimoine
### Héraldique

* Blasonnement :
* Coupé de sable au pal ondé d'argent, accosté de deux étoiles à six rais d'or, et d'azur à un soleil figuré du même surmontant trois monts d'argent.
# Pietro Antonio Novelli II

Pietro Antonio Novelli dit Il Monrealese ou Pietro Malta Novelli (Monreale, 18 janvier 1608 - Palerme, 25 août 1647), est un peintre italien du XVIIe siècle.

## Biographie

Pietro Novelli apprit la peinture auprès de son père (ou oncle ?) Pietro Antonio Novelli I (1568-1625).
Il fut influencé par Le Caravage et Van Dyck qui a visité la Sicile en 1624 et dont le retable, La Vierge du Rosaire, dans l'oratoire de Santa Maria del Rosario de Palerme, a influencé fortement les artistes locaux.
Il fut aussi architecte du sénat de Palerme et ingénieur militaire du royaume de Sicile.

## Œuvres

* Le Miracle de saint Philippe, église de Jésus, Palerme.
* La Rencontre d’Eliézer et de Rebecca au puits, plume et encre brune sur papier de 19,5 cm × 11,7 cm.
* Peintures, église Sainte Zita, Monreale.
* Noces de Cana, réfectoire des Bénédictins, Monreale.
* David tenant la tête de Goliath, Musée des Beaux-Arts de Marseille
* Duel musical d'Apollon et de Marsyas, Musée des beaux-arts de Caen.
* Tête d'apôtre (attribution), huile sur toile, Musée des Augustins de Toulouse.
# Journal de Bolivie - 50 ans après la mort du Che

Journal de Bolivie - 50 ans après la mort du Che est un film documentaire québécois réalisé par Jules Falardeau et Jean-Philippe Nadeau Marcoux, sorti en 2019 au festival de cinéma de La Havane. Ce documentaire retrace les derniers moments de la vie du révolutionnaire et homme politique argentin, Che Guevara.

## Synopsis

À l’occasion de la commémoration par le gouvernement d'Evo Morales du cinquantième anniversaire de la mort de Che Guevara, le documentaire suit le périple en autobus de trois générations de membres du groupe guévariste Juventud Libre (Jeunesse libre). Composé de gens d'horizons diverses, le groupe traversait jadis la « Route du Che » à pied, à travers les montagnes boliviennes, pour comprendre le sacrifice qu'avaient dû faire le Che et ses compagnons.
Près de 20 ans après cette première expérience, la troupe s'apprête à retourner sur ses traces et celles des derniers mois de vie du Che, tels que dépeints dans son journal. Le parcours traverse de petits villages au cœur de ces montagnes austères. Les plus anciens de Juventud Libre s’imprègnent alors d'une certaine nostalgie tandis qu'ils revivent leurs années de jeunesse et transmettent leur savoir aux plus jeunes. Pour ces derniers, c'est une sorte de baptême vers la découverte de ces lieux mythiques et l'histoire qui s'en dégage. Tous ensemble recherchent ce qu’ils appellent « l’essence du Che ».
En parallèle, le documentaire s’intéresse à un groupe de jeunes muralistes anarchistes boliviens qui se servent de leur art pour rendre hommage au Commandante Guevara. Alors que le voyage progresse vers les commémorations, les contours de son héritage se dessinent ainsi que les traits de son visage sur les murs de la ville de Sucre.
Jules Falardeau et Jean-Philippe Nadeau Marcoux ont fait le choix de filmer caméra au poing, sans équipe, et de se montrer à l’écran afin d’établir une plus grande proximité avec le groupe qu’ils suivaient. Jules Falardeau assure lui-même la narration du film.

## Fiche technique

* Réalisation : Jules Falardeau, Jean-Philippe Nadeau Marcoux
* Scénario : Jules Falardeau
* Musique : François-Xavier Russell
* Recherche : Jules Falardeau
* Conception graphique : Adrien Lorion
* Langue : français, espagnol

## Distribution

* Jules Falardeau
* Jean-Philippe Nadeau Marcoux
* Che Guevara (images d'archives)

## Production

À l'été 2017, Jules Falardeau lance une campagne de sociofinancement sur la plateforme La Ruche. Récoltant un montant de 6 920 $ qui constituera la majeure partie du budget de tournage, le film ne bénéficie d'aucun soutien des institutions de financement publiques québécoises ni canadiennes. Le cinéaste s'adjoint alors des services du directeur photo et cinéaste Jean-Philippe Nadeau Marcoux, avec qui il partage la réalisation du projet.
Au retour du tandem de cinéastes au Québec, Falardeau entreprend alors en solitaire la post-production du film. Après avoir complété une première version, Jean-Philippe Nadeau Marcoux le présente à l'équipe de Productions Phare bleu afin de soutenir les cinéastes avec les démarches subséquentes du projet.
# Cambarus harti

Cambarus harti est une espèce d'écrevisse, appartenant à la famille des Cambaridae. Elle est endémique des États-Unis.
# Croton zambalensis

Croton zambalensis est une espèce de plantes à fleurs du genre Croton et de la famille des Euphorbiaceae, présente aux Philippines.
# Croton zehntneri

Croton zehntneri est une espèce de plantes à fleurs du genre Croton et de la famille des Euphorbiaceae que l'on trouve au Brésil (Bahia et Pernambouc).
# Iba Der Thiam

Iba Der Thiam, né le 26 février 1937 à Kaffrine et mort le 31 octobre 2020, est un professeur d'université et homme politique sénégalais.

## Biographie

Après avoir été dix-huit ans responsable syndical, Iba Der Thiam obtient une maîtrise d'histoire en 1972, alors qu'il a 35 ans, puis il est agrégé d'histoire et devient maître de conférence d’histoire à l'Université Cheikh Anta Diop en octobre 1974. Il fait partie du Comité scientifique de l'UNESCO chargé de rédiger l'Histoire générale de l'Afrique.
Il est ministre de l'Éducation nationale du président Abdou Diouf dans le gouvernement Niasse I du 3 avril au 29 avril 1983. Il est ministre de l’Éducation nationale et de l’Enseignement supérieur de 1983 à 1988.
Il est le secrétaire général de la Convention des démocrates et des patriotes/Garap-Gui, député et vice-président de l'Assemblée nationale.
Candidat à l'élection présidentielle de 2000, il recueille 1,2 % des voix au premier tour, se classant en cinquième position.

## Principaux travaux universitaires

* La grève des cheminots du Sénégal de septembre 1938, Dakar, Université de Dakar, 1972, 2 vol. (272, 133 p.) (mémoire de maîtrise)
* (en collaboration avec Nadiour Ndiaye), Histoire du Sénégal et de l'Afrique, Dakar, Nouvelles éditions africaines, 1976
* Maba Diakhou Ba, almamy du Rip (Sénégal), Paris, ABC, 1977, 150 p.
* L'éducation civique dans les lycées et collèges : classe de 3e : le Sénégal et les institutions internationales, Nouvelles éditions africaines, 1979
* Géographie du Sénégal, Nouvelles éditions africaines, EDICEF, 1981
* L’évolution politique et syndicale du Sénégal colonial de 1840 à 1936, Paris, Université Paris-1 Panthéon-Sorbonne, 1983, 9 vol. (5 179 p.) (thèse d'État)
* Le Sénégal dans la guerre 14-18 ou Le prix du combat pour l'égalité, Dakar, Nouvelles éditions africaines, 1992, 177 p. (ISBN 2723610608)
* Les origines du mouvement syndical africain, 1790-1929, l'Harmattan, 1993, 287 p. (ISBN 2738405363)
# Phyllodes

Phyllodes est un genre de lépidoptères (papillons) de la famille des Erebidae ou des Noctuidae selon les classifications.
D'après GBIF, ce genre comprend les espèces suivantes :
* Phyllodes achysis
* Phyllodes cerasifera
* Phyllodes consobrina
* Phyllodes conspicillator
* Phyllodes dealbata
* Phyllodes diversipalpus
* Phyllodes enganensis
* Phyllodes eyndhovii
* Phyllodes fasciata
* Phyllodes floralis
* Phyllodes formosana
* Phyllodes gynnis
* Phyllodes imperialis
* Phyllodes inferna
* Phyllodes inspicillator
* Phyllodes maligera
* Phyllodes meyricki
* Phyllodes papuana
* Phyllodes perspicillator
* Phyllodes porphyrea
* Phyllodes pura
* Phyllodes roseigera
* Phyllodes semilinea
* Phyllodes staudingeri
* Phyllodes verhuelli

## Synonyme

* Xenodryas Gistel, 1848
Sur les autres projets Wikimedia :
* Phyllodes, sur Wikimedia Commons
* Phyllodes, sur Wikispecies
# Laval (circonscription fédérale)

Laval est une ancienne circonscription électorale fédérale au Québec (Canada) abolie en 2015.
Elle correspondait aux quartiers de Chomedey, Laval-des-Rapides et Fabreville de la ville de Laval.
Les circonscriptions limitrophes étaient Papineau, Saint-Laurent—Cartierville, Laval—Les Îles, Rivière-des-Mille-Îles, Marc-Aurèle-Fortin et Alfred-Pellan.
Elle possédait une population de 98 831 dont 80 699 électeurs sur une superficie de 47 km².

## Résultats électoraux

Élection fédérale canadienne de 2011 :
| | Candidat | Parti | # de voix | % des voix |
| | Robert Malo | Conservateur | +06 366, | 12,51 % |
| | Nicole Demers | Bloc québécois | +11 567, | 22,73 % |
| | Eva Nassif | Libéral | +09 422, | 18,51 % |
| | (x) José Núñez-Melo | NPD | +22 050, | 43,33 % |
| | Jocelyne Leduc | Vert | +01 260, | 2,48 % |
| | Yvon Breton | Marxiste-léniniste | +00224, | 0,44 % |
| Total | Total | Total | 50 889 | 100 % |
Élection fédérale canadienne de 2008 :
| | Candidat | Parti | # de voix | % des voix |
| | Jean-Pierre Bélisle | Conservateur | +09 101, | 18,02 % |
| | (x) Nicole Demers | Bloc québécois | +19 085, | 37,8 % |
| | Alia Haddad | Libéral | +14 190, | 28,1 % |
| | Alain Giguère | NPD | +06 289, | 12,46 % |
| | Eric Madelein | Vert | +01 607, | 3,18 % |
| | Yvon Breton | Marxiste-léniniste | +00221, | 0,44 % |
| Total | Total | Total | 50 493 | 100 % |

## Historique

La circonscription de Laval est initialement créée en 1867 et couvrait alors l'ensemble du territoire de l'actuelle ville de Laval. Abolie en 1914, les circonscriptions de Laval et de Deux-Montagnes s'unissent pour former les circonscriptions de Laval—Deux-Montagnes et de Mercier.
La circonscription de Laval réapparut en 1947 et demeura représentée jusqu'en 1976, année où la circonscription fut redistribuée parmi les circonscriptions de Laval-Centre et de Laval-Ouest.
La circonscription fut à nouveau créée en 2003. Abolie lors du redécoupage de 2012, elle fut agglomérée à la circonscription de Vimy.
1867-1917
* 1867-1873 — Joseph-Hyacinthe Bellerose, Cons.
* 1873¹-1896 — Joseph-Aldéric Ouimet, Cons.
* 1896-1901 — Thomas Fortin, PLC
* 1902¹-1908 — Édouard-Émile Léonard, Cons.
* 1908-1917 — Charles-Avila Wilson, PLC
1949-1979
* 1949-1958 — Léopold Demers, PLC
* 1958-1962 — Rodrigue Bourdages, PC
* 1962-1968 — Jean-Léo Rochon, PLC
* 1968-1979 — Marcel-Claude Roy, PLC
2003-2015
* 2004-2011 — Nicole Demers, BQ
* 2011-2015 — José Núñez-Melo, NPD
* BQ = Bloc québécois
* NPD = Nouveau Parti démocratique
* PC = Parti progressiste-conservateur
* PLC = Parti libéral du Canada
* ↑ Élections Canada.
# Gino Conforti

Gino Conforti est un acteur américain, né le 30 janvier 1932 à Chicago (Illinois).

## Filmographie
### Au cinéma

* 1968 : Adorablement vôtre (How Sweet It Is!) de Jerry Paris : Agatzi
* 1969 : Viva Max! de Jerry Paris : Contreras
* 1971 : Mooch Goes to Hollywood (en) : Hairdresser
* 1972 : Les Poulets (Fuzz) de Richard A. Colla : Painter
* 1972 : L'Homme de la Manche (Man of La Mancha) de Arthur Hiller : The Barber
* 1976 : Hawmps! : Hi Jolly
* 1990 : The Gumshoe Kid : Morton Meester
* 1990 : Instant Karma! : Director
* 1994 : Thumbelina : Jacquimo (voix)
* 2001 : Monstres et Cie (Monsters, Inc.) : voix

### À la télévision

* 1969 : That Girl (série) : Nino (1969-1971)
* 1971 : What's a Nice Girl Like You...? (téléfilm) : Selzer
* 1973 : Poor Devil (téléfilm) : Bligh
* 1973 : Columbo : Adorable mais dangereuse (Lovely but Lethal) (série) : Ferdy
* 1973 : The Man of Destiny (téléfilm) : Giuseppe Grandi
* 1974 : Thursday's Game (téléfilm) : Mike
* 1975 : Lucy Gets Lucky (téléfilm) : Antonio
* 1975 : A Lucille Ball Special Starring Lucille Ball and Jackie Gleason (téléfilm)
* 1977 : Stonestreet: Who Killed the Centerfold Model? (téléfilm) : Davis
* 1977 : It Happened One Christmas (téléfilm) : Sassini
* 1977 : Don't Push, I'll Charge When I'm Ready (téléfilm) : Tony Esposito
* 1980 : More Wild Wild West (téléfilm) : French Ambassador
* 1981 : Joe Dancer: The Big Trade (téléfilm)
* 1981 : Bungle Abbey (téléfilm)
* 1981 : Through the Magic Pyramid (téléfilm) : Hotep
* 1983 : Murder One, Dancer 0 (téléfilm) : Photo Man
* 1986 : Galaxy High School (série) : Ollie Oilslick / Reggie Unicycle (voix)
* 1986 : Le Cheval de feu (Wildfire) (série télé) : voix
* 1965 : Des jours et des vies ("Days of Our Lives") (série) : S.S. Mangino (1992)
* 1999 : Un père trop célèbre (Michael Landon, the Father I Knew) (téléfilm) : Antonio
# Gerard J. Holzmann

Gerard J. Holzmann (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN.

## Biographie

Holzmann est né à Amsterdam. Il obtient un diplôme d'ingénieur en génie électrique à l'université de technologie de Delft en 1976. En 1979, il obtient un doctorat de l'université de technologie de Delft sous la direction de Willem van der Poel (nl) et J. L. de Kroes avec une thèse intitulée : « Problèmes de coordination dans les systèmes multiprocesseurs » . Avec une bourse Fulbright, il est étudiant postdoctoral à l'université de Californie du Sud pendant une année supplémentaire, où il a travaillé avec Per Brinch Hansen. En 1980, il commence à travailler aux Laboratoires Bell à Murray Hill pendant un an. Il revient ensuite aux Pays-Bas, où il est professeur assistant à l'université de technologie de Delft pendant deux ans. En 1983, il retourne aux Laboratoires Bell où il travaille au Computing Science Research Center (l'ancien groupe de recherche Unix ). En 2003, il rejoint la NASA, où il dirige le JPL Laboratory for Reliable Software à Pasadena, en Californie ; il est fellow du JPL.

## Prix et distinctions

En 1981, Holzmann a reçu le prix Prof. Prix Bahler du Koninklijk Instituut van Ingenieurs (nl), en 2001 le Prix ACM Software System pour Spin décerné par l'Association for Computing Machinery (ACM), en 2005 le Prix Paris-Kanellakis et en octobre 2012 le NASA Exceptional Engineering Achievement Medal. Holzmann a été élu à la Académie nationale d'ingénierie des États-Unis en 2005. En 2011, il est élu membre de l'Association for Computing Machinery. En 2015, il a reçu le prix IEEE Harlan D. Mills.

## Travaux

Holzmann est connu pour le développement du vérificateur de modèle SPIN (SPIN est l'abréviation de Simple Promela Interpreter ) dans les années 1980 chez Bell Labs. Cet outil peut vérifier l'exactitude des logiciels concurrents ; il est depuis 1991 disponible gratuitement.

## Livres

* The SPIN Model Checker: Primer and Reference Manual, Addison-Wesley, 2004, xii + 598 (ISBN 978-0-321-22862-8, lire en ligne).
* Design and Validation of Computer Protocols, Prentice_Hall, 1991 (lire en ligne).
* avec Björn Pehrson, The Early History of Data Networks, IEEE, 1995, xi + 291 (ISBN 978-0-8186-6782-4, lire en ligne).
* Beyond Photography — The Digital Darkroom, Prentice_Hall, 1988 (ISBN 0-13-074410-7, lire en ligne).

## Article connexe

* The Power of 10: Rules for Developing Safety-Critical Code