Notre Vialatte quotidien " L'homme lui-même est-il autre chose que le luxe de la planète ? Superflu et ruineux, il consomme des fortunes"

 

" Il y a des luxes nécessaires. L'homme lui-même est-il autre chose que le luxe de la planète ?

Superflu et ruineux, il consomme des fortunes. On a calculé que dans sa vie il mange pour 3 325 000 francs de pâtes alimentaires aux œufs de poule, sans compter le vermicelle fin ; ses fraudes fiscales s'élèvent à 114 milliards : et il ne laisse pas une goutte du bon vin des Fauchés. C'est un gouffre.

Et pourtant, que deviendraient sans lui les « Sociétés d'originaires », les marchands de lunettes de soleil, les institutions les plus graves, Brigitte Bardot et la retraite des vieillards ? Qui tuerait la famille Drummond ? Que ferait le Congo de son indépendance ? À qui serviraient le blouson noir, le chapeau tyrolien, le maire-gangster, le piège à tigres inoxydable et peint en vert de la Manufacture de Saint-Étienne ? Qui photographierait les parricides connus, qui acquitterait les assassins célèbres ?

On le garde donc, provisoirement.

Pour la bonne bouche. "

(Les mœurs des Iroquois – La Montagne – 26 juillet 1960)

Quelle est cette famille Drummond ?

 

Celle de l'affaire Dominici.

 

https://fr.wikipedia.org/wiki/Affaire_Dominici 

 

Je m'en souviens. Est-ce que mes souvenirs remontent à  1952-53 ? J'avais 6-7 ans. Est-ce que je lisais à cette époque L'Aurore (ma mère m'avait dit que j'apprendrais à l'école l'affaire Dreyfus et ma mémé n'appréciait pas que ma mère lise Zola, elle, elle lisait toute la bibliothèque paroissiale) ? ou ai-je appris à la radio à lampes ?

 

Qui peut me dire ce qu'est le "vin des Fauchés" ?  

 

Quant aux Sociétés d'originaires ...

 

Limousins de Paris. Les sociétés d'originaires du Limousin sous la IIIe République

Publication :

Limoges : Presses de l'Université de Limoges et du Limousin, 1993 [1]

 

Le peintre Michel Adlen

 Cliquez sur le premier lien pour voir un tableau de Saint-Yrieix-la-Perche peint par Michel Adlen. Je l'ai vu le peindre route de la butte de champs ou au moulin du puy, plus bas. Il faudra que j'y retourne.

 https://saintyrieixlaperche.wordpress.com/2021/12/28/apres-un-mois-denquete-on-a-retrouve-le-nom-des-marchands-de-peinture-papier-peint-flytox-verre-etc-du-bd-de-lhotel-de-ville-a-saint-yrieix-la-perche-dans-les-annees-50-60/

https://saintyrieixlaperche.wordpress.com/2014/12/16/je-me-souviens-du-peintre-michel-adlen-a-saint-yrieix-la-perche-dans-les-annees-60/ 

https://en.wikipedia.org/wiki/Michel_Adlen 

Si vous voulez voir quelques tableaux du peintre, cliquez sur les liens suivants : 

1898 – 1980 :Michel Adlen né à Loutsk (Ukraine) le 15 mai 1898.De 1915 à 1922, Michel Adlen suit des cours de peinture à Vienne où il expose pour la première fois. En 1923 il est à Berlin et participe à plusieurs expositions d’art graphique. La même année, il arrive à Paris et traverse une brève période cubiste en 1925.En 1936, il participe à l’Exposition Internationale de gravure sur bois à Varsovie. Les musées de Moscou et de Kiev font acquisition de ses gravures dès 1928.
Jeanne, son modèle qui deviendra son épouse, originaire de Saint-Yrieix-la-Perche (Haute-Vienne) lui fait découvrir les paysages du Limousin. Il partagera son temps entre son atelier à Paris et des séjours de le Limousin et la région de Nice.Il décédé à Paris le 21 janvier 1980. 

https://galerieleminotaure.net/fr/artist/adlen-michel/ 

 

Un nouvel artiste dans le groupe des exilés à Paris

Michel Adlen, peintre et graveur de l’Europe de l’Est, naît en 1898 en Ukraine à Loutsk. Il suit des cours de peinture à Vienne de 1915 à 1922 avant d’exposer et de participer à des expositions d’art graphique à Berlin dès 1923. À Paris, il rejoint l’Union des Artistes russes de Paris ainsi que les groupes La Satire et Les Imagiers. En 1929, il prend la nationalité française. Michel Adlen rejoint le groupe des peintres de l’Est exilés à Paris, poussés hors de leur pays par la Révolution russe et participe de cette révolution visuelle inaugurée par l’École de Paris. Il a été fortement influencé par la décennie 1900-1910 et contribue à renforcer l’ensemble des courants novateurs propagés à partir de la Belle Époque. Tout en apportant ses techniques, il s’inspire de ses contemporains pour proposer une peinture novatrice. Il est prêt à s’engager dans le réveil intellectuel, culturel et politique qui s’agite dans la capitale.

Entre cubisme et pittoresque

Dès son arrivée à Paris, Michel Adlen s’imprègne de l’art cubiste. Sa muse et modèle est sa femme Jeanne, qui lui fait découvrir les paysages du Limousin. Ses terrains d’observation et d’inspiration privilégiés sont Paris et sa banlieue dépouillée (« La Rue St Rustique à Montmartre ») ainsi que de nombreuses natures mortes. Tous ses tableaux urbains cherchent à témoigner à la fois d’une certaine douceur, mais également d’un sentiment de solitude, on ne trouve peu voire pas d’expression de présence humaine dans ses toiles. La nature y est reine. Ses tableaux sont très colorés (« Le saxophoniste » représentant le clown Achille Zavatta) et témoignent d’un amour marqué pour la France et ses spécialités souvent dans les tons jaunes et orangés. Dans ses portraits, il propose un éloge implicite à la beauté et à la grâce féminine (« Jeune fille pensive »). On rapproche parfois son art de celui de Matisse comme en témoigne par exemple sa toile « Jeune femme nue ». Son trait se caractérise par un dépouillement et une certaine pureté dans la composition.

Michel Adlen évolue également dans le milieu de la littérature et de la presse. Pendant dix ans, de 1929 à 1939, il illustre de nombreux journaux parisiens comme par exemple la revue « Nos artistes ». Il réalise des illustrations pour des contes et des romans. Un album lithographique dont la préface est d’André Salmon est publiée en 1932.

Un talent reconnu

En 1936, Michel Adlen participe à l’Exposition Internationale de gravure sur bois à Varsovie. Ses gravures sont convoitées par les musées de Kiev et de Moscou dès 1928. En 1955, Armand Lanoux publie un monographe sur Adlen. En 1960 paraît un album d’estampes sur le thème du cirque : « Clown de Paris ». Pierre Mac Orlan lui préface son dernier album intitulé « Île-de-France ». Son œuvre « Profil de statue baulé de Côte d’ivoire » a été estimée entre 6000 et 8000 euros par Sotheby’s.

https://mr-expert.com/artistes/estimation-cote-prix-michel-adlen/ 

https://ecoledeparis.org/fr/michel-adlen/ 

https://www.millon.com/createurs/michel-adlen

https://art.paris/collections/artiste-adlen-michel?srsltid=AfmBOoouRGWDuaE7TsI3imLRLDijcgEJwiAvAdPn-YCgDZgN1MYeg_k5 

 

 

"Ce n’est pas de rentabilité que vous avez besoin" ou "dont vous avez besoin" ?

 Il fut un temps où j'avais un collègue agrégé de lettres modernes (y-a-t-il des agrég de grands-mères ? ) qui me corrigeait. Aujourd'hui j'ai Touiteur, maintenant X. Et je n'ai pas eu besoin pour cela de passer le concours pour aller à l'école de la Montagne de sainte Geneviève à Paris.

J'ai été traumatisé dans ma jeunesse quand j'ai appris que j'employais "que" quand il fallait employer "dont". 

Alors quand j'ai lu  « Ce n’est pas de rentabilité que vous avez besoin, mais de revenus » paroles de Sandrine Rousseau, j'ai réagi. Je voulais un "dont" au lieu d'un "que".

Et Jo Zefka @JZefka a réagi (c'est mon correcteur actuel) :

"Ce n’est pas de rentabilité que vous avez besoin" : la phrase est absolument correcte. Si elle avait dit "c'est de rentabilité dont vous avez besoin", cela aurait été une faute de français (un grand classique). 

Ce à quoi j'ai répondu :

Ah oui ! "c’est la pomme que je mange et dont j'ai besoin pour éloigner le médecin." disait Chirac

Et je me suis fait avoir. La pomme que je mange a été compris comme celle que je suis en train de manger (en Dordogne, certains disent, je me prends une pomme, je me la pèle et je me la mange")  et les pommes dont j'ai besoin pour éloigner le médecin. C'est ce que j'ai compris quand Jo m'a répondu :

Non. Deux situations distinctes : "c'est la pomme dont j'ai besoin" (parmi trois pommes) "c'est de pomme que j'ai besoin" (pas d'oranges). 

  

Cette disputacio (?!) m'a fait penser à  ce qu'a écrit Tony Hoare

  "One of the first discoveries of the research by the Z team was the necessity of separating small chunks of formal material by paragraphs of informal prose, explaining the relationship between the formal symbols and reality, and motivating the decisions that are captured by the formalisation.
The drafting of the informal prose was even more difficult to teach, learn and practice than the mastery of mathematical notations and concepts. "  

C.A. R. Hoare, Préface à VDM'90, VDM and Z - Formal Methods in Software Developemnt, LNCS,  ISBN 3-540-52513-0

et à :

file:///home/utilisateur/T%C3%A9l%C3%A9chargements/ontologieensembliste2105.pdf

 

Quelqu'un a demandé :

Et "Ce n'est pas la rentabilité dont vous avez besoin" ? Plus mieux ? Plus moins bien ? Je profite de l'occasion pour poser la question.

Jo a répondu :

Moins bien, mais acceptable. 

 

En résumé : 

 - la rentabilité dont vous avez besoin (dont = de laquelle) 

- c'est de rentabilité que vous avez besoin (parce que le "de" est dans la première partie de la phrase : si j'écrivais "dont", c'est comme si je disais deux fois "de"). 

 

Un commentaire :

C’est d’un radiateur que j’ai besoin. 

Le radiateur dont j’ai besoin mesure 85 cm de hauteur. 

 

Jo a fait un touit final :

"C'est de ça qu'on parle" ou "c'est de ça dont on parle" ? 

À la demande de quelques abonnés, je récapitule la règle. 

En réalité, c'est très simple : 

"Dont" signifie "duquel, de laquelle, de quoi". Dans une phrase clivée, on ne doit pas cumuler "de" et "dont". 

"C'est de toi dont je parle" est courant, mais incorrect, du moins pour ceux aux yeux de qui il existe un bon usage ; il faut dire : "c'est de toi que je parle".  

Exemple 1 J'ai besoin d'un livre. Un livre dont j'ai besoin.... C'est d'un livre QUE j'ai besoin. (ou, selon le contexte : "c'est un livre dont j'ai besoin") 

 Exemple 2 Il s'agit d'une affaire criminelle. L'affaire criminelle dont il s'agit... C'est d'une affaire criminelle QU'il s'agit. 

 Pourquoi "que" et pas "dont" ? 

Si le nom mis en relief est introduit par « de » dans "c'est de...", on clive avec QUE (pas dont) tout simplement parce que le « de » est déjà là. "De... dont" serait redondant. On garde "dont" seulement quand l'élément clivé n'a pas déjà son "de" explicite : « C'est ce livre dont j'ai besoin » (pas de "de" avant ce livre, donc "dont" n'est pas redondant). 

Et voilà pourquoi, pour une fois, Sandrine Rousseau ne se trompe pas 

 

 

Relisons Oedipe Roi de Sophocle

 Démesure fait germer tyrannie !

Démesure qui, amplement gavée

d'incartades et de chimères,

ne prend pied en haut du pinacle

que pour culbuter dans l'abîme

d'un inévitable désastre,

jarrets coupés, désemparée ! 

Pourquoi le Limousin et la Dordogne voient leur population continuer à décliner ?

 

Pourquoi le Limousin et la Dordogne voient leur population continuer à décliner ?

Le Limousin et une partie de la Dordogne rurale déclinent surtout parce que leur démographie est déséquilibrée : il y a plus de décès que de naissances, et les arrivées de nouveaux habitants ne compensent pas toujours le départ des jeunes actifs.

Le moteur principal : le vieillissement

Ces territoires ont une population plus âgée que la moyenne nationale. En Dordogne, par exemple, les 60-74 ans forment la tranche d'âge la plus nombreuse, et les 15-29 ans sont relativement peu nombreux d'après les données récentes citées par The Connexion à partir de l'INSEE.

Quand une population est âgée, deux effets se cumulent :

• Les décès augmentent mécaniquement.
• Les naissances diminuent, car il y a moins de jeunes adultes en âge d'avoir des enfants.

Même si des retraités, des résidents secondaires ou des néo-ruraux s'installent, cela ne suffit pas toujours à relancer la natalité locale.

Le départ des jeunes actifs

Le Limousin historique - Creuse, Corrèze, Haute-Vienne - souffre depuis longtemps d'un exode rural. Les jeunes partent souvent vers Limoges, Brive, Bordeaux, Toulouse, Clermont-Ferrand, Paris ou d'autres bassins d'emploi pour les études, les formations et le travail.

Les raisons sont classiques :

• Moins d'emplois qualifiés ou diversifiés qu'en métropole.
• Peu d'universités et de grandes écoles hors Limoges.
• Dépendance à la voiture et transports publics limités.
• Moins de services dans les petites communes : santé, commerces, garde d'enfants, activités culturelles.
• Marché du travail étroit, surtout pour les couples où deux personnes cherchent un emploi.

Ce n'est donc pas seulement une question de beauté du territoire. Le Limousin et la Dordogne attirent, mais pas toujours les profils qui inversent la pyramide des âges.

Une économie rurale qui crée peu de population jeune

Historiquement, ces régions reposaient beaucoup sur l'agriculture, l'élevage, la forêt, l'artisanat, de petites industries et le tourisme. Or ces secteurs ont changé :

Facteur	Effet démographique
Mécanisation agricole	Moins de main-d'oeuvre nécessaire dans les campagnes.
Déclin de certaines petites industries	Moins d'emplois stables locaux.
Tourisme saisonnier	Activité économique réelle, mais emplois souvent précaires ou saisonniers.
Résidences secondaires	Elles maintiennent du patrimoine, mais n'ajoutent pas toujours des habitants permanents.
Vieillissement des commerçants et médecins	Fermetures ou raréfaction des services, ce qui rend l'installation familiale plus difficile.

C'est un cercle assez puissant : moins d'habitants signifie moins de services, ce qui rend le territoire moins attractif pour les familles, ce qui accélère encore le vieillissement.

Dordogne : le cas est plus nuancé

La Dordogne ne décline pas partout. Le département a même connu une hausse de population sur certaines périodes longues, et certaines petites communes ont récemment gagné des habitants. Selon l'article cité, la Dordogne comptait 416 325 habitants au 1er janvier 2022, avec une légère hausse depuis 2016, portée par un solde migratoire positif.

Mais cette hausse masque des contrastes :

• Certaines communes rurales gagnent des habitants grâce aux installations de retraités, télétravailleurs ou étrangers.
• Les villes-centres comme Périgueux, Bergerac, Sarlat-la-Canéda ou Nontron peuvent perdre légèrement des habitants.
• Le solde naturel reste négatif : les arrivées compensent parfois les décès, mais pas toujours.
• Les jeunes restent sous-représentés, ce qui limite le renouvellement démographique.

Donc la Dordogne n'est pas uniformément en déclin ; elle est plutôt dans une situation de croissance fragile, vieillissante et très inégale selon les communes.

Limousin : un déclin plus structurel

Le Limousin, surtout la Creuse et certaines zones de Corrèze et de Haute-Vienne hors Limoges, est davantage marqué par une faible densité et une longue histoire de dépopulation rurale.

Limoges concentre une part importante de l'emploi régional, tandis que beaucoup de communes rurales ont peu d'activité économique et peu de jeunes ménages. Le vieux Limousin a longtemps perdu des habitants, puis a connu quelques stabilisations grâce à des arrivées de retraités, de Britanniques, de Néerlandais ou de néo-ruraux, mais cela ne suffit pas partout à compenser le vieillissement.

Le paradoxe : ces territoires attirent, mais ne rajeunissent pas assez

Le Limousin et la Dordogne attirent pour leur cadre de vie : espace, nature, immobilier moins cher, calme, patrimoine, qualité paysagère. Mais l'attractivité résidentielle n'est pas automatiquement une attractivité démographique durable.

Il y a une différence entre :

• Attirer des retraités ou résidents secondaires, ce qui soutient certains commerces et le bâtiment.
• Attirer des familles jeunes, ce qui maintient les écoles, la natalité, les clubs, les services et l'économie locale.
• Attirer des emplois durables, ce qui fixe vraiment la population active.

Le noeud du problème est là : sans emplois, services, mobilité et santé accessibles, l'installation de jeunes ménages reste limitée.

En résumé

Le déclin ou la stagnation démographique du Limousin et d'une partie de la Dordogne vient surtout de cinq causes :

1. Vieillissement élevé de la population.
2. Solde naturel négatif, avec plus de décès que de naissances.
3. Départ des jeunes vers les villes universitaires et les bassins d'emploi.
4. Économie locale peu créatrice d'emplois qualifiés nombreux.
5. Services publics et privés plus fragiles dans les zones peu denses.

La Dordogne s'en sort mieux que certains territoires du Limousin parce qu'elle bénéficie d'une image touristique forte et d'arrivées résidentielles, mais elle reste confrontée au même problème de fond : elle gagne parfois des habitants sans vraiment rajeunir.

 

(Claude, Anthropic) 

Pourquoi la plupart des logiciels essentiels des banques, assurances, etc sont des logiciels écrits en Cobol ?

 

Pourquoi la plupart des logiciels essentiels des banques, assurances, etc sont des logiciels écrits en Cobol ?

Parce que ces systèmes ont été construits à une époque où COBOL était le langage idéal pour l’informatique de gestion, puis ils sont devenus trop critiques, trop vastes et trop risqués à remplacer brutalement.

COBOL n’est pas là par hasard : il a été conçu dès la fin des années 1950 pour traiter des opérations administratives, financières et comptables à grande échelle. Banques, assurances, administrations, compagnies aériennes et grandes entreprises l’ont massivement adopté pour leurs systèmes de cœur métier.

Pourquoi COBOL s’est imposé

COBOL est très adapté aux traitements de gestion :

• Transactions massives : paiements, virements, retraits, remboursements, primes d’assurance, pensions, salaires.
• Calculs décimaux précis : essentiel pour l’argent, où les erreurs d’arrondi sont inacceptables.
• Traitements batch : clôtures journalières, relevés, calculs d’intérêts, facturation, rapprochements comptables.
• Lisibilité métier : sa syntaxe ressemble davantage à de l’anglais structuré qu’à des langages plus mathématiques.
• Fiabilité : ces programmes ont souvent tourné pendant des décennies, avec des bugs connus, corrigés et maîtrisés.

Un système bancaire central doit privilégier la stabilité plutôt que la nouveauté. Si un langage fait correctement le travail depuis 40 ans, le remplacer juste parce qu’il est ancien n’est pas forcément rationnel.

Pourquoi ils ne les ont pas simplement remplacés

Le vrai sujet n’est pas seulement COBOL, mais tout l’écosystème autour : mainframes, bases de données, fichiers, processus batch, règles métier, interfaces, procédures opérationnelles, conformité, audit, sécurité.

Dans une grande banque ou assurance, un ancien système peut contenir :

Élément	Pourquoi c’est difficile à remplacer
Millions de lignes de code	Personne ne connaît toujours toutes les règles métier implicites
Données historiques	Migration risquée, coûteuse et réglementée
Interfaces nombreuses	Le système parle avec agences, applis web, cartes, reporting, partenaires
Règles métier anciennes	Certaines règles ne sont documentées que dans le code
Disponibilité critique	Une panne peut bloquer paiements, retraits ou sinistres

Réécrire un cœur bancaire ou assurantiel peut coûter des centaines de millions, prendre des années, et introduire de nouveaux bugs dans des fonctions qui marchaient déjà.

Le paradoxe : vieux, mais solide

COBOL est souvent associé à du “vieux code”, mais les systèmes COBOL ne sont pas nécessairement mauvais. Beaucoup sont :

• extrêmement optimisés pour les volumes de transactions ;
• très fiables parce qu’ils ont été testés par des décennies de production ;
• bien adaptés aux traitements de masse ;
• hébergés sur mainframes, qui restent très robustes pour certains usages.

Le problème principal n’est pas que COBOL “ne marche plus”. Le problème est plutôt que :

• il y a moins de développeurs COBOL ;
• l’intégration avec le cloud, les API modernes et les applications mobiles est moins naturelle ;
• la documentation est parfois insuffisante ;
• les coûts de maintenance peuvent devenir élevés ;
• les cycles d’évolution sont souvent plus lents.

Pourquoi les banques modernes utilisent quand même autre chose autour

Aujourd’hui, les banques et assurances ne font pas “tout en COBOL”. Souvent, elles ont une architecture hybride :

Les interfaces modernes, les applis mobiles, les moteurs de recommandation, les parcours client ou les outils analytiques sont souvent écrits en Java, JavaScript, Python, C#, Go, etc. Mais le système de référence - comptes, contrats, soldes, sinistres, historique - peut encore être en COBOL.

Pourquoi une nouvelle banque peut éviter COBOL

Une banque créée aujourd’hui n’est pas obligée d’utiliser COBOL. Elle peut démarrer avec des systèmes modernes, cloud, API-first, microservices, bases relationnelles ou distribuées.

Mais une banque historique n’a pas le même problème : elle ne part pas d’une page blanche. Elle a des décennies de données, de règles, d’audits, d’obligations réglementaires et de dépendances. C’est comme changer les moteurs d’un avion en plein vol.

En résumé

COBOL reste présent dans les banques et assurances parce qu’il est au cœur de systèmes qui sont :

• anciens, mais très fiables ;
• critiques, donc difficiles à modifier ;
• énormes, donc coûteux à réécrire ;
• riches en règles métier, parfois non documentées ailleurs ;
• performants pour les traitements transactionnels et batch.

Le mouvement actuel n’est généralement pas “tout jeter et réécrire”, mais plutôt moderniser progressivement : exposer des API, isoler les vieux composants, migrer certaines fonctions, documenter le code, et remplacer petit à petit ce qui peut l’être sans mettre en danger le système central.

 

Claude (Anthropic) 

 

Minçalors ! même avec une AI/IA on n'y arrive pas !  Dire que nos étudiants d'IUT ont fait des choses  "

anciennes, mais très fiables ;

critiques, donc difficiles à modifier ;

énormes, donc coûteux à réécrire ;

riches en règles métier, parfois non documentées ailleurs (on a jeté les dossiers d'"analyse" des analystes-programmeurs ? ) ;

performants pour les traitements transactionnels et batch.

Mais sans beaux écrans où on cherche où cliquer, avec de l'écriture de couleur noir sur fonds bleu foncé.  

L'INSEE nous annonce une baisse de la population en France. Qu'en sera-t-il en Limousin et Périgord ?

 "A partir de 2037, le solde migratoire ne compenserait plus le déficit naturel de la population, qui commencerait donc à diminuer, pour atteindre 65,9 millions d’habitants en 2070, un niveau comparable à celui de 2014."

https://www.lemonde.fr/societe/article/2026/06/08/l-insee-projette-un-pic-de-population-en-2037-a-69-8-millions-d-habitants-suivi-d-une-baisse-reguliere_6699482_3224.html 

 

Vous me direz que si dans notre coin on a un niveau de population "comparable" à 2014, c'est que notre coin est sauvé. Dans les toutes petites maisons de deux pièces, on retrouvera papa, maman, les 3 enfants et la mémé. Et dans l'étable les deux vaches.

Dommage, je vais rater ça !

[Notez le terme "comparable", c'est comme le terme "correspondre". Je sais faire correspondre l’oreille droite de Napoléon dans son tombeau au sommet de la tour Eiffel, au sommet du flambeau de la statue de la liberté à NYC et à celui de la visière de la casquette du maréchal Bugeaud  à Excideuil. ]

 

Quant au "solde migratoire"... qui nous a parlé de la suite de l'événement qui a fait le tour des médias. Le maire de Jumilhac avait fait venir un toubib syrien à Jumilhac.

Et figurez-vous que ce toubib n'est pas resté longtemps. Étonnant, n'est-ce pas a dit Pierre Desproges à Châlus. 

"Pour les élus de ce secteur très touché par la désertification rurale, **cela permettra de garder les écoles ouvertes. ** Parmi ces familles, deux sont francophones. Il y a un médecin, un professeur, des artisans et des commerçants. La sous-préfecture de Nontron a organisé leur accueil." 

https://www.ici.fr/infos/politique/cinq-familles-syriennes-trouvent-refuge-en-dordogne-1400715064 

Bien sûr les médias ont oublié de vous raconter la suite ! 

Et Saint-Pierre-de-Frugie ? on a eu droit à des émissions de télé nationale. On nous a présenté des néos maraichers qui allaient importer de la terre de qualité pour alimenter les marchés comme celui de La Coquille bien sûr ! 

https://www.youtube.com/watch?v=_VD1lecuNys&t=4s 

 

Je l'imagine le prix que vont payer les habitants pour les ordures ménagères ! c'est que quand le dénominateur tend vers zéro, le résultat tend vers l'infini. Mais les instits ne l'apprennent pas aux élèves. 

Alors qu'actuellement, pour avoir le droit de porter mon sac noir au PAV (Point d'Apport Volontaire, ne rigolez-pas ! ce n'est pas une blague), je paye bien plus cher qu'à Nantes où on vient me prendre mes ordures devant ma porte (mais gnangnan, je dois les sortir à temps) et où la déchetterie n'est pas ouverte qu'un samedi matin toutes les deux semaines. 

On me dit qu'il y a de moins en moins d'habitants car les gens meurent du compteur Linky.  

Promenade de la vallée du Cens à Nantes

 N'en parlez pas. Comme les promeneurs ne bénéficient pas d'une prime municipale, il n'y a pas foule. Pas de monoroues, pqas de pseudo trottinettes à moteur, etc. Même si les transports en commun sont gratos le ouiquende. 

 Ce jour nous n'en avons fait qu'une partie. On vieillit. 

 

 

Le héron avait une pause étonnante. Il jouait à la danseuse de l'opéra Garnier. 

Pas mal mon jardin cultivé selon les principes de Madame Sandrine Rousseau !

Je vais pouvoir faire de la soupe aux orties selon la recette de mon ami Fernand de Bourdoux 

Il m'a fait peur cet animal !

Ceci n'est ni un cèpe ni un  psilocybe.

 

Je n'ai pas oublié "Ghost Riders in the Sky"

https://en.wikipedia.org/wiki/Ghost_Riders_in_the_Sky

https://www.youtube.com/watch?v=0SfU56IDsb4

Solignac (Limousin) et Stavelot (région de Liège)

 

J'apprends de l'histoire avec les touits de Jacques Beyly  !

https://www.ici.fr/emissions/l-info-d-ici-ici-limousin/un-defi-sportif-pour-celebrer-un-jumelage-historique-entre-solignac-et-stavelot-en-belgique-4323601 

"Un défi cycliste s'élance ce dimanche matin depuis Solignac, au sud de Limoges, en direction de la Belgique, plus précisément de Stavelot près de Liège, commune jumelée depuis 25 ans avec Solignac. C'est pour célébrer cet anniversaire que 16 cyclistes, 8 haut-viennois et 8 belges, se sont entraînés ces dernières semaines et se lancent dans ce périple de près de 900 km.

Mais le lien entre les deux cités remonte à beaucoup plus loin, "en 631" précise Eric Tratz, à l'origine de cette aventure, "où partant des Vosges, Saint Eloi est venu fonder l'abbaye de Solignac. Vingt ans plus tard, en 651, l'un des moines est monté jusqu'à Stavelot pour fonder une abbaye également". L'idée est de s'inspirer du trajet de ce moine, devenu Saint Remacle." 

 Les coureurs sont passés par Arnac-la-Poste au Musée du vélo. Et ont visité le musée.

Quand on a vécu à St-Yrieix-la-Perche chez Arédius, on connaît bien Le Vigen et Solignac entre Limoges et St-Yrieix !

Mais j'ignorais Stavelot ! et pourtant j'ai fréquenté la Wallonie. Je suis allé faire cours à Seraing. Et je me souviens des pauses. Les collègues y buvaient des litres de bière. Quand ils étaient venus à Nantes avec leurs étudiants, ils trouvaient que les bars fermaient trop tôt, alors ils avaient acheté des futs de bière !

https://fr.wikipedia.org/wiki/Stavelot 

[...]

" Après l'effritement de l'Empire romain dû aux fréquentes invasions barbares du V^e siècle plusieurs évêques missionnaires viennent, surtout du sud de la France, pour défricher, cultiver et construire des abbayes qui deviendront rapidement des foyers de christianisation, culture et de civilisation.

C'est ainsi qu'au milieu du VII^e siècle, le roi Sigebert III, fils du bien connu roi Dagobert I^er, confia à Remacle, abbé de la florissante abbaye de Solignac dans le Limousin, la mission d'évangéliser une partie de la forêt d'Ardenne."

 

P.S. Ah il y a un collectionneur à Ussell !

https://actus-limousin.fr/vie-locale/2026/06/04/en-attendant-le-tour-320-velos-du-grenier-a-la-cave-et-une-passion-debordante-pour-ce-collectionneur-correzien/ 

Tek Antik, pour ceux qui pensent qu'avant les smartphone le téléphone n'existaient pas

 Michael Minarie habite Mareuil-en-Périgord. Il a une chaîne Youtube.

 

https://www.youtube.com/results?search_query=tech+antik 

et fait aussi des photos

 https://www.facebook.com/micoulouphotos/ 

 

Je vous conseille ses vidéos. Et son site sur la Toile.

www.micoulou-photos.com

Il nous en apprend pas mal sur l'autisme.   

 

Et Mareuil ? c'est une région bien différente de mon Périgord vert. 

On a visité de retour d'Aubeterre sur Dronne.  Il faisait une sacrée chaleur. 

https://fr.wikipedia.org/wiki/Mareuil_en_P%c3%a9rigord 

Siège de l'une des quatre baronnies du Périgord (avec Beynac, Biron et Bourdeilles),  

https://fr.wikipedia.org/wiki/Ch%C3%A2teau_de_Mareuil_(Dordogne) 

Une bibliographie

BIBLIOGRAPHIE

Henri Habrias

henri.habrias@univ-nantes.fr

16-03-2025

1973

Henri Habrias, La notion de système et son application en organisation scientifique du travail, Technniques Economiques, n°56, nov. 1973

1974

Henri Habrias, Méthodes d’enquête pour construire un diagramme de circulation et de traitement des informations, Informatique et Gestion, n°59, Juillet-Août 1974, pp. 90-98

Henri Habrias, Contrôle par dépouillement selon la méthode d’enquête par stations d’une enquête par événement, Techniques Economiques, n°61, avril 1974

1976

Henri Habrias, Circulation et traitement des informations. Enregistrement des décès à l’état-civil, Technniques Economiques, n°81, juin 1976

1977

Henri Habrias, Les graphiques de l’analyste, 01 Informatique Mensuel, n° 11, juin-juillet 1977

Henri Habrias, Logique ! Logique ! Vous avez une drôle de logique, L’Informatique Nouvelle, n°82, mars 1977

Henri Habrias, L’analyse fonctionnelle existerait-elle ? L’aurions-nous rencontrée ? L’Informatique Nouvelle, déc. 1977

Henri Habrias, La définition des ensembles (fichiers) en compréhension se transforme en une définition en extension par l’informatique, in Le projet de loi relatif à l’informatique et aux libertés, une première étape, 01 Hebdo, n° 433, 23 avril 1977, n°435, 9 mai 1977, A. Vitalis, H. Habrias

1978

Henri Habrias, Jacques Dupuis, Réalisation informatique d’aide à la classification des fonctions d’une entreprise métallurgique, préface de Michel Cailler, chef du départ. Informatique de l’IUT de Nantes, Techniques économiques, n°94, janvier 1978

Henri Habrias, Les établissements en pointe, Informatique et développement régional, étude dans le cadre des trois régions Centre, Pays de la Loire, Poitou-Charentes, Édité par Françoise Gallouédec-Genuys,Ministère de l'industrie, Mission à l'informatique, ISBN :978-2-11-000212-9 , pp. 305-307

Henri Habrias, Les facteurs humains, Informatique et développement régional, étude dans le cadre des trois régions Centre, Pays de la Loire, Poitou-Charentes, Édité par Françoise Gallouédec-Genuys,Ministère de l'industrie, Mission à l'informatique, ISBN :978-2-11-000212-9 ,pp. 16-21

1979

Henri Briand, Henri Habrias, Une expérience de recherche et d’enseignement dans le domaine de la conception de systèmes d’information automatisés, Actes de la Conférence CIPS-ACI, Québec, juin 1979

Henri Habrias, Les bases de données, Centre de formation des personnels communaux (CFPC), Paris, 1979

1980

Bases de données, Une étude de la CEE sur 88 systèmes européens, Les vrais utilisateurs encore trop peu concernés , Le cas des forges de Basse-Indre, 01 Hebdo n°619, 17 novembre 1980

Henri Habrias, A data base application at the Société des Forges de Basse-Indre (SFBI), Rapport IRIA, april 1980

Henri Habrias, L’informatique, l’écrit et le droit, Actes des journées Informatique et Organisation Sociale, Toulouse, 1980

Henri Habrias, Informatisation et relations fournisseurs-utilisateurs, IAE Université-Entreprise, Association des diplômés de l’IAE de Poitiers, Numéro spécial L’entreprise et l’informatique, 1980

1981

Henri Habrias, Audiovisuel et enseignement de l’analyse/conception de S.I, Actes de la Conférence Européenne des Enseignants en Système d’Information, IAE, Aix-en-Provence, 1981

1982

Henri Habrias, Analyse : Notions relatives au temps, Informatique et Gestion, n° 130, Janvier-Février 1982

Henri Habrias, Comment former, en une semaine, les utilisateurs à la définition de leurs besoins, Actes de la Convention Informatique, Paris, Septembre 1982

Henri Habrias, Les fichiers en fiches, 01 informatique mensuel, n° 161, juin-juillet 1982

Henri Habrias, Un camping informatisé, L’ordinateur individuel, n° 42, novembre 1982

Henri Habrias, Pierre Levasseur, Représentations graphiques : aides ou obstacles à la conception de programmes ?, Actes du 18^e congrès de la société d’ergonomie de langue française, octobre 1982

1983

Henri Habrias, Un modèle conceptuel de données, le modèle individuel, Travail et Méthodes, n°415, dec. 1983

G. Javel, H. Habrias, Méthode de transformation d'un diagramme entité-relation, Inforsid 1983, Ajaccio

1984

Henri Habrias, Les hôtesses d’accueil et de renseignement et Telem-Nantes, Paris Inforcom 84, 4^e Congrès National des Sciences de l’Information et de la Communication, Les relations des publics avec les outils de communication, 19-21 mars 1984, pp. 59-67

Henri Habrias, La généralisation du tatouage comme réduction de l’écart entre système d’information et système physique, Colloque Afcet, Développement des sciences et pratique de l’organisation, Ecole Supérieure d’Electricité, 21-23 novembre 1984

Alain Couturier, Henri Habrias, Un outil logiciel pour non informaticiens : les Calcs ou tableurs, Travail et Méthodes, n°424, octobre 1984

Henri Habrias, J.F. Hue, Y. Simon, Une démarche dynamique de conception d'applications par décomposition de tâches, Inforsid 1984, Bandol

1985

H. Briand, H. Habrias, J.F. Hue, Y. Simon, Expert system for translating an E-R diagram into databases, Entity-Relationship international conference, Chicago, USA, North-Holland, 1985

Henri Habrias, Les « points de vue » du concepteur lors de la construction de diagrammes « entités-associations », Inforsid 85, 29-31 mai, Crampes (ed.), Luchon

Henri Habrias, La construction d’un schéma conceptuel : individus abstraits et individus concrets, Travail et Méthodes, n°435, oct. 1985

Henri Habrias, M.C.T., Method of construction of tables, Colloque international IAESTED, Lugano, Suisse, 1985

1986

Henri Habrias, Une aide à l’analyse, le modèle relationnel, Travail et Méthodes, n°415, juin-juillet 1986

C. Clouet, H. Habrias, La méthode I.A. et les outils logiciels associés. Son utilisation au CMILACO, Actes de la Convention Informatique, Paris, 1986

H. Briand, H. Habrias, J.F. Hue, A method for the access-paths design, Actes des journées internationales des sciences informatiques, JISI’88, 13-15 avril 1988, Tunis

1987

Henri Habrias, Petit traité de boxologie à l’usage des concepteurs de systèmes d’information, L’Informatique Professionnelle, n° 54, mai 1987

Henri Habrias, Jacques-Henri Jayez, Expression sémantique en langage naturel d’un schéma de base de données de type I.A., Revue Novatica, vol. 13, n° 69, Barcelona, 1987

Henri Habrias, Vous en parlez, les avez-vous utilisées ? Les définitions des formes normales que l’on trouve dans la littérature, Lettre de l’ADELI, n°3, sept-oct 1987

Henri Habrias, Marie-Christine Lafaye (eds) Systèmes de gestion de bases de données sur micro-ordinateurs, Eyrolles, 1987

Henri Habrias, ed., Actes des Premières Journées Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information, Nantes, Centre de Communication de l’Ouest, 23-24 sept.1987, Liana, Iut de Nantes, ISBN :978-2-906082-04-5

Henri Habrias, Patrick Legrand, La description "Occurente/synthétique" de règles de traitement et leur génération automatiques. Inforsid 1987, Lyon

1988

Henri Habrias, Conception de bases de données, l’hypothèse de la relation universelle est-elle acceptable, Colloque du CREIS, Représentation du réel et informatisation, Saint-Etienne, 26-27 mai 1988

Henri Habrias, Didier Bogdaniuk, L’expression des contraintes d’unicité et de totalité d’un schéma conceptuel de données binaire de type I.A., Modèles et Bases de données, Afcet, n°9, 1988

Henri Habrias, Des associations aux individus : identifiants et langue de bois, Afcet-Interfaces, janvier 1987, nouvelle version : «  From Relationships to individuals : identifiers and « tongue of wood », Proc. Euroinfo’88, Athens, may 1988, CEE, North-Holland

Henri Habrias, Proposals for some extensions of the NIAM model, Proc. « Information & Knowledge Engineering 88, Paris, Control Date, 1988

Henri Habrias, ed. Actes des deuxièmes journées Pratique des méthodes et outils logiciels d’aide à la conception de systèmes d’information, LIANA, IUT de Nantes, 26-30 sept. 1988

Henri Habrias, The teaching and using of binary and n-ary conceptual models for information system design, Proceedings, Asia-Pacific Conference on Computer Education, oct. 2–27-1988, Shanghai

Henri Habrias, Patrick Legrand, A description of rules through occurring/synthetic cardinalities, Proc. Of the Seventh Intern. Conf. On Entity Relationship Approach, Carlo Batini ed., Roma, Italy, nov.16-18, 1988

Henri Habrias, Le modèle relationnel binaire, Méthode NIAM, Préface de P. Jeulin et P. Sauge , Paris, Eyrolles, 1988

Henri Habrias, Marie-Christine Lafaye, eds, Actes Inforsid88, La Rochelle, ISBN : 978-2-906855-04-5

Pierre Levasseur, Henri Habrias, The BCKNF considered useless, A revision of the 2 NF and 3 NF definition, Rapport interne, LIANA, Iut de Nantes, 1988

1989

Henri Habrias, Violaine Prince, About the semantics of functional dependencies, Fourth International Symposium on Computer and Information System, ISCIS IV), Cesme, Turquie, oct 30, nov. 1, 1989

Henri Habrias, L’analyste est un concepteur, Afcet-Interfaces, Juillet 1989

Henri Habrias, edit., actes des Troisièmes Journées Pratique des méthodes et outils logiciels d’aide à la conception de systèmes d’information, Nantes, LIANA, IUT de Nantes, 1990, ISBN :978-2-906082-07-6

1990

Violaine Prince, Henri Habrias: Value-Oriented and Object-Oriented Database Design with Reference to Time. Conference on Database and Expert Systems Applications, DEXA 1990 35-4

Henri Habrias, edit., actes des Quatrièmes Journées Pratique des méthodes et outils logiciels d’aide à la conception de systèmes d’information, Nantes, LIANA, IUT de Nantes, 1990, ISBN : 978-2-906082-10-6

Habrias, Liscouët, Langue naturelle et modèle conceptuel de base de données. Expression de contraintes ensemblistes en français, Rapport PRC-Informatique, Liana-IUT de Nanges, mars, 1990

1991

Henri Habrias, Plaidoyer pour un nouveau modèle conceptuel, Le Monde Informatique, 15 juillet 1991

Henri Habrias, Michel Lai, Conference HOOD, Actes des Cinquièmes Journées Pratique des méthodes et outils logiciels d'aide à la conception des systèmes d'information, Liana, IUT de Nantes, 1991, ISBN : 978-2-906082-13-7

Henri Habrias, La méthode Moon : méthode orientée objets normalisés, Actes de la Convention Informatique Latine, 1991, ISBN : 84 267 0827 7, pp. 229-264

Habrias, Barbier, Moon : Norlalized Object Oriented Method, Proceedings Internal. Conf. On Inforamtion and Systels (ICIS), October 9-11,1991, Hangzhou, China, AMSE

1992

Henri Habrias, edit, Proc. Of the Sixth International conference on putting into practice methods and tools for information system design, IUT de Nantes, Nantes, 1992, ISBN : 978-2-906082-14-4

1993

Henri Habrias, Introduction à la spécification, Préface d’Hervé Gallaire, Présentation de Michaël Jackson, Masson, 1993

1994

H. Lamande, Henri Habrias: Towards a Joint Use of NIAM, JSD and Z Methods. Terry A. Halpin, Robert Meersman (Eds.): Proceedings of the First International Conference on Object-Role Modelling, ORM-1, Magnetic Island, Australia, 4-6 July 1994 : 167-191

Henri Habrias (traduction) Spécification formelle avec Z, traduction, corrections et ajouts de Formal Specification Using Z de David Lightfoot, The McMillan Press, 1991, 1994

Henri Habrias, Les spécifications formelles pour les systèmes d'information, Quoi?, Pourquoi?, Comment?, Conf. Invitée, Inforsid 94, Aix-en-Provence

1995

Henri Habrias, La mesure du logiciel, Teknea, 1995

Henri Habrias, ed., Z twenty years on. What is its future ? Proceedings of the 7th International conference on Putting into practice methods and tools for information system design, October, 10-12, 1995, Nantes, IRIN, IUT de Nantes, ISBN : 978-2-906082-19-9

Pascal Bernard, Henri Habrias, Alain Vailly, Diachronie et synchronie en spécification, une illustration en Z, Inforsid 1995, Grenoble

1996

Henri Habrias, Les paradigmes des méthodes d’analyse et de conception in Génie logiciel: principes, méthodes et techniques A. Strohmeier, D. Buchs (Publié sous la direction de), 1996, Presses Polytechniques et universitaires romandes, EPFL

Henri Habrias ed. 8Th International Conference on : Putting into practice methods and tools for infomation system design, 1st Conference on the B method, November, 25-27, 1996, Nantes, France, Proceedings, ISBN : 2-906082-25-2

Henri Habrias: L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état.Actes du XIVème Congrès INFORSID, Bordeaux, France, 4-7 juin, 1996 : 79-98

1997

Henri Habrias, Dictionnaire encyclopédique du génie logiciel, Préface de Jean-Pierre Finance, Masson,1997

Henri Habrias, B. Griech: Formal Specification of Dynamic Constraints with the B Method, First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, November 12-14, 1997, Hiroshima, Japan, Proceedings. IEEE Computer Society 304-314

1998

M. Allemand, C. Attiogbé and H. Habrias, editors, (Invoice’98) International Workshop on ComparingSystems Specification Techniques — What Questions are Prompted by One’s Particular Method of Specification?, Nantes, France, 26-27 March 1998, ISBN 2-906082-29-5

Henri Habrias, Steve E. Dunne, B'98 Éducation session proceedings, APCB (Association de Pilotage des Conférences B) éditeur, Z User Group, B User Group, 1998, ISBN : 978-2-9512461-0-2

1999

Henri Habrias, Pascal Poizat, Jean-Yves Lafaye, A Study of Collaborative Work: Answers to a Test on Formal Specification in B.Jeannette M. Wing, Jim Woodcock, Jim Davies, (Eds.): FM'99 - Formal Method, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, Lecture Notes in Computer Sciences II. 1709 Springer 1999 : 1856-1857

Peter Kokol, Vili Podgorelec, Henri Habrias, Nassim Hadj Rabia, The Complexity of Formal Specifications - Assessments by alpha-Metric. SIGPLAN Notices 34(6): 84-88 (1999)

2000

Peter Kokol, Vili Podgorelec, Henri Habrias, Nassim Hadj Rabia, Ranking the Complexity of NIAM Conceptual Schemas by Alpha Metric, SIGPLAN Notices 35(3), 59-64 (2000)

2001

Henri Habrias, Petit dictionnaire à l’usage des lecteurs novices d’Abélard, IUT de Nantes, 2001, ISBN : 2-906082-30-9

Jean Jolivet, Henri Habrias, eds, Pierre Abélard, à l’aube des universités, Actes de la Conférence Internationale, Université de Nantes, France, 3-4 octobre 2001, IUT de Nantes, Département informatique, ISBN : 2-906082-31-7

Henri Habrias, Marc Frappier, eds, Software Specification Methods, An Overview Using a Case Study, Formal Approaches to Computing and Information Technology (FACIT) , Springer, 2001

2002

Henri Habrias, edit. ZB 2002 : Education session proceedings, January 23-25, 2002 Grenoble, APCB, ISBN : 2951246110

2003

Jean Jolivet, Henri Habrias, (sous la direction de), Pierre Abélard, Colloque international de Nantes, PUR, Presses Universitaires de Rennes, 2003, ISBN : 2-86847-777-1

Henri Habrias: L'enseignement de B. Technique et Science Informatiques 22 (1) 131-132 (2003)

Pascal André, Henri Habrias, Formal Modelling of Information Information System Evolution, LINA, Université de Nantes, 2003

2004

Henri Habrias, Pascal André, Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. Actes du XXIIème Congrès INFORSID, Biarritz, France, 25-28 mai, 2004 : 387-403

Henri Habrias, Sébastien Faucou,Linking Paradigms, Semi-formal and Formal Notations. C. Neville Dean, Raymond T. Boute (Eds.): Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings. Lecture Notes in Computer Science 3294 Springer 2004 : 166-184

2005

Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, C. Stoquer, Vérification de conformité des interactions entre composants January 2005

Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, C. Stoquer, A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization

2006

Henri Habrias, Marc Frappier, eds, Software Specification Methods, ISTE, Great Britain, USA, 2006, La IV partie, A Comparaison fo the Specification Methods, Glossary, a pour auteurs Marc Frappier, Henri Habrias et Pascal Poizat

Henri Habrias, “La main à la pâte”, An Abacus to Teach Formal Specifications, Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience (TFM) , Boca, Bowen, Duce, eds, BCS London Office, UK, 15 December 2006

Henri Habrias, Pascal André, Application d'ontologies formelles au droit SDC'06 Workshop on Ontologies et textes juridiques, OTJ'06

2007

Henri Habrias, Modélisation : de la phrase d’Aristote à l’invention des ensembles et des relations , CNRIUT 07, Thionville

Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, A Service-Based Component Model: Formalism, Analysis and Mechanization April 2008

Henri Habrias, Spécifications avec B, Modèle relationnel de Codd, Automates, expressions régulières, B et Z, UML, OCL et B, Vers le B événementiel, Un animateur et « model-checker » pour B : ProB, Des études de cas, Publication de l’IUT de Nantes, Département informatique,

2008

Henri Habrias, Teaching specifications, hands on, FORMED (Formal Methods in Computer Science Education) at ETAPS 2008, Budapest

Henri Habrias, En finir avec la boxologie en revenant aux fondamentaux , CNRIUT, Lyon, 3 avril 2008

Henri Habrias, Jules Verne et la binarisation, CNRIUT, Lyon, 3 avril 2008

Henri Habrias, Proof and Model-checking, Two Complementary Approaches to Teach Specifications, Proceedings of the First Conference The B method, from research to teaching, Journées Scientifiques de l’Université de Nantes, Nantes, mai 2008

Henri Habrias, Christian Attiogbé, eds, Proceedings of the First Conference The B method, from research to teaching, Journées Scientifiques de l’Université de Nantes, Nantes, mai 2008, APCB éditeur, Laboratoire d’informatique de Nantes-Atlantique, ISBN : 978-2-9512461-2-6

2009

Christian Attiogbé, Henri Habrias, eds. Proceedings The Second Conference The B Method, from Research to Teaching, TFM-B'2009, JS09, June 8, 2009, Nantes, ISBN : 2-9512461-0-2 

 

2025

PascalAndré, Henri Habrias, Modelling of Information Systems Evolution using B, 33rd International Conference on Information Systems Development (ISD 2025) - Faculty of Organizational Sciences -- University of Belgrade, Serbia, 3rd -5th September, 2025

Jonathan Bowen, Henri Habrias, 
FACS FACTS Issue 2025-2 July 2025 In memory of Jean-Raymond Abrial (1938–2025)
August 31, 2025 

 

2026

Jonathan Bowen, Henri Habrias, Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer, IEEE, People of Computing