Quand le grand-père de Baruch Spinoza était nantais

 Quand on est réveillé soit par les avions soit par le ramassage des poubelles, on fait travailler sa mémoire.

Ce matin j'ai pensé à Arago, à l'OFTA, à EDF et...à Michel Gondran. 

 https://ofta.polytechnique.org/Presentation/ 

 

 https://fr.wikipedia.org/wiki/Fran%C3%A7ois_Arago

 

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

"Michel Gondran a développé de nombreux algorithmes sur les graphes et la combinatoire^[4]. En 1987, avec son élève Fabrice Cavarretta (X85), il a réalisé la première modélisation formelle d'une partie de l'Éthique de Spinoza ^[5]à l'aide du langage SNARK de Jean-Louis Laurière. Il est co-auteur avec Jean-Christophe Weill, Marc-François Baudot et Jean-Luc Seret du logiciel Frenchess^[6] qui a été ex æquo avec Deep Blue au championnat du monde d'échecs des ordinateurs de 1995^[7]. Avec l'égyptologue, Robert Vergnieux, il a créé un système expert permettant de reconstituer les scènes du temple d'Amenophis IV (Akhenaton) de Louxor à partir de quelques milliers de talatates^"

^{Ce n'est qu'une petite partie de tout ce qu'il a fait et qu'il doit continuer à faire !}  

Je me souviens être allé à la DER IMA d'EDF à Clamart où avec son collègue il m'avait fait la démonstration de leur logiciel Descartes, en trois phases : COGITO ERGO SUM  . Ces noms avaient une autre "gueule" que les niveaux de Codasyl pour les bases de données !

 

J.R. Abrial qui est passé par la DER IMA après l'Imag à Grenoble n'a-t-il pas nommé son SGBD Socrate !  Depuis qu'on a des marketeurs, on n'a plus que du franco-ricain ridicule.

 Je ne savais pas tout sur Spinoza !  

"Le grand-père de Baruch, Pedro, alias Isaac Rodrigues d'Espinosa, né en 1543, est originaire de Lisbonne et s'est installé à Vidigueira (Alentejo), la ville natale de son épouse^[6], Mor Alvares, avec laquelle il a eu trois enfants dont Miguel, alias Michael, le futur père du philosophe. Sans doute accompagné de sa sœur Sara^[7] et de sa propre famille, Pedro Isaac, « effrayé par les arrestations inquisitoriales », quitte le Portugal en 1587 pour venir à Nantes^[k] et y rejoindre son frère Emanuel Abraham^[l], le grand-oncle du futur Baruch, déjà réfugié^[m] (la présence d'Emanuel Abraham^[n] y est attestée en 1593). Pedro Isaac n'y est pas resté, probablement parce que le judaïsme était officiellement interdit à Nantes et qu'il y régnait, là aussi, une certaine hostilité envers les marranes^[8] et des sentiments fréquemment contrastés voire agressifs envers les Portugais (ou les Juifs dits portugais)^[o],[9]. Apparemment expulsé de Nantes avec sa famille et son frère Emanuel Abraham, en même temps que tous les autres Juifs de la ville, en 1615^[p], Pedro Isaac gagne alors Rotterdam des Provinces-Unies dans l'actuelle Hollande méridionale, où vit déjà une partie de la diaspora juive portugaise. Il y décède en 1627^[q]. À l'époque, les Provinces Unies font partie d'un ensemble de lieux appelés « terres de liberté » voire « terres de judaïsme », c'est-à-dire des cités où le judaïsme est soit officieusement toléré donc restreint (comme à Anvers), soit franchement accepté et où les juifs sont reconnus comme tels ; ainsi, Amsterdam, Hambourg, Venise, Livourne ou une partie de l'Empire ottoman (Smyrne, Salonique)^[10], où nombre de marranes et « nouveaux chrétiens »^[4], ces juifs contrariés, en profitent pour se convertir à leur religion d'origine. "