Propos de banc de touche Guy Laffitte, Henri Habrias

 Propos de banc de touche
Guy Laffitte
May 16, 2025

1 Au stade de Vertou
1.1 Premier matin

Le vent était favorable. L’usine de la BN (Biscuiterie Nantaise) nous offrait de bonnes
odeurs de biscuits. Et Guy a répondu à nos questions alors que le petit-fils était à
l’entrainement de foot à la française.

ˆ H.H. : Tu as connu J.R. Abrial lorsque tu as suivi un stage au CEPIA sur le
Domaine de Voluceau à Rocquencourt. C'était en quelle année ?

ˆ G.L. : En octobre1985.

ˆ H.H.: J’y étais aussi en octobre et au printemps. On aurait pu s’y rencontrer.
Mais on ne se connaissait pas encore. Qu’est-ce qui t’a alors plu ?

ˆ G.L. : Point fort : au lieu d’essayer vainement de faire une preuve sur un programme
quelconque, on commence par faire une spécification que l’on peut prouver,
puis on ne s’intéresse qu’aux programmes implémentant la spécification.

– H.H. : J.R. Abrial te remercie dans le B-Book pour ton apport. Tu me
racontes.

– G.L. : Je travaillais à l’INSEE boulevard Adolphe-Pinard dans le 14e.

– H.H. : C’est à Nantes que nous avons le fichier de la population, et le NNI me servait
d’exercice pour l’apprentissage de B ! Quand j’étais au service informatique
de la mairie, je me souviens avoir appris qu’à la naissance, quand le sexe
est indéterminé (on attend la chute des testicules. A-t-on pris en compte la
propriété de fatalité ?) le code sexe est mis égal à1. A mon époque, la seule
modification était le passage à 1.)

– G.L. : et ce n’était pas loin de chez lui qui habitait à l’adresse qui apparaissait
dans ses articles, au 26 rue des Plantes{rue des Plantes, un immeuble
style Art d´eco, composé d’ateliers d’artistes en duplex avec l’atelier en partie basse, 

chambre et cuisine, séjour en mezzanine, avec des baies de double
hauteur. Max Ernst y a vécu. Marx Ernst c’est celui qui a illustré mon
”Logique sans peine” (´édition de 1966) de Lewis Carroll, publié par Hermann,
l’éditeur du premier Bourbaki. Tu me rappelles des souvenirs. Si ma mémoire
est bonne, il y a une plaque à la mémoire de Jean Moulin qui y avait loué un
studio.
– G.L. : Oui. Je pouvais aller à pied de l’INSEE à la rue des plantes, Nous
avons pu ainsi discuter.
– H.H. : Quels ont ér& tes apports ?
– G.L. : Apports théoriques.
* Obligation de preuve de l’initialisation.
* Boucle Introduction p. 377 et 378 du B-Book. Version initiale ( duale
) du Th. 9.2.1 p. 379 avec des unions à la place des intersections :
simplification drastique des hypothèses.
– B-Tool.
* Amélioration de la machine de suites.
* Expertise de non plagiat entre la version initiale ( appartenant à BP ) et
la nouvelle version ( STERIA à l’époque ).
* Analyse d’une nouvelle version de l’analyseur syntaxique, un automate à pile d’inspiration LR remplaçant une descente récursive. Subtilités
: génération de polonaise inverse saturés et insertion d’opérateurs implicites
( substitution et évaluation ).

– H.H. : Tu pourras nous en parler lors de la journée ? Et de ton application
de B au recensement de la population. Tu en avais fait une présentation aux étudiants. Je me souviens de l’étude de la géographie administrative.

– G. L.: D’accord.
* Outils pour le Recensement de la Population 1990 1
* Utilisation systématique du B-Tool pour l’analyse syntaxique des outils
et la génération de code ( Pascal ).
* TRANS xx . Outil de stockage de données au moyen de mémoires virtuelles
rémanentes et de machines de suites sur une idée initiale de JRA.
* Notions de base, de système et d’application.
* Notion de base miroir.
* Développement sur Unix, portable sur IBM OS et DPS7.

Bernard, P., Laffitte, G. (1995). The French population census for 1990. In: Bowen, J.P., Hinchey,
M.G. (eds) ZUM ’95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer
Science, vol 967. Springer, Berlin, Heidelberg