L'informatique de Claude Pair (2021) Créhange

L'informatique de Claude Pair

L'apport de Claude Pair à la création de la science informatique (années 1963 - 1981)

---

 
 

document en cours d'importation A partir de : https://wicri-demo.istex.fr/Wicri/Informatique/FTP

Espace dédié à un travail pédagogique Ce document est actuellement utilisé dans un exercice de formation à la réédition numérique de document dans un environnement hypertexte et sémantique.

Titre L'informatique de Claude Pair Auteur  Marion Créhange, Pierre Lescanne, Alain Quéré Date d'édition  2021 En ligne https://hal.archives-ouvertes.fr/hal-03193950v2

l'article en PDF

Avant-propos

Cet article a été mis en ligne dans le cadre des travaux menés au sein d'un groupe de travail mémoire de l'association des émérites de Lorraine.

L'article

Introduction

Sur une suggestion amicale de Claude Pair, nous avons accepté, 50 ans après, de présenter son activité scientifique en tant que l’un des fondateurs de l’informatique universitaire en France. Cet article couvre la période 1963–1981 : en effet après avoir été professeur en classe préparatoire, Claude rejoint l’enseignement supérieur en 1963. Dix-huit ans plus tard, en 1981, il s’oriente vers la haute administration en devenant directeur des lycées au ministère de l’Éducation nationale.

Avant d’aborder la rédaction, nous avons proposé à Claude l’organisation d’un colloque. Cette formule a permis de multiplier les témoignages et de mieux faire collectivement le bilan de ses recherches. Ce colloque a eu lieu au LORIA, à Nancy, le 14 juin 2019 . Il a réuni 150 participants avec 17 intervenants dont Antoine Petit, PDG du CNRS. Près de deux ans plus tard, nous avons assemblé nos notes, puisé dans les documents à notre disposition et activé notre mémoire.

Précisons d’entrée que le lecteur ne trouvera pas ici des démonstrations rigoureuses ni des formalisations complètes. Il lui faudra pour cela consulter les nombreuses publications de Claude ou les 48 thèses qu’il a dirigées . Nous avons choisi d’ajouter à des propos scientifiques des parties plus anecdotiques signalées en italique. Nous espérons ainsi aérer la lecture et évoquer l’ambiance du travail d’équipe que Claude a instauré, équipe qui au départ se comptait sur les doigts d’une main. Équipe interuniversitaire qui, en grandissant, sera associée au CNRS en 1973 grâce à Claude, puis constituera le Centre de recherche en informatique de Nancy (CRIN) en 1975. La croissance s’est poursuivie : 70 personnes en 1977, une centaine en 1984 avec la venue de l’INRIA .

Il faut se souvenir qu’au début des années 60, la science informatique est dans la petite enfance. La plupart des domaines que nous connaissons aujourd’hui sont alors à créer, le plus souvent dans l’indifférence — ou même contre l’avis — des mathématiciens qui ne voient alors aucune raison de s’intéresser aux ordinateurs. Il faut aussi rappeler que les moyens de communication actuels n’existent pas. Il n’y a pas encore de terminologie propre à la recherche informatique et beaucoup de chercheurs français publient dans leur langue maternelle, ce qui contribue à les isoler dans le monde. C’est dans ce cadre que Claude Pair imagine des concepts qui ont été redécouverts par la suite. Comme nous le montrerons, Claude est un bel exemple d’application de la loi de Stigler qui affirme qu’une découverte scientifique ne porte jamais le nom de son premier auteur. Nous souhaitons donc que le lecteur retienne de ce texte le caractère extrêmement novateur de ses recherches. Le recul du temps permet en effet d’affirmer qu’il a été un authentique visionnaire.

Les débuts : la compilation

Comme sa formation initiale l’y conduit, Claude devient professeur de « taupe » à Metz avant son service militaire qui lui offre l’opportunité de faire ses premiers pas en « calcul automatique » au CEA en 1958-59. Il y programme en langage machine sur Bull Gamma « à extension tambour », concurrent de l’IBM 650. Il est ensuite nommé à Nancy, au lycée Henri Poincaré.

FIGURE 1. Émargement au cours du soir d’informatique en 1963.

À Nancy, l’informatique universitaire a été introduite par Jean Legras dès 1957 avec une machine à programme câblé, l’IBM 604, puis un ordinateur 9 IBM 650 dès 1958 10. En 1962, Claude prend contact avec Jean Legras qui lui donne accès au « Centre de calcul » qu’il a créé, et l’invite à suivre à la rentrée le cours de programmation sur 650 destiné à des adultes (cf. figure 1). Marion Créhange, chargée de la seconde partie, ne se doutait pas que cet élève, qui lui paraissait doué, allait devenir le père de la recherche en informatique à Nancy et serait son patron de thèse d’état !

Claude prend vite conscience que, derrière des machines différentes, se cache une réalité commune qu’il préfère explorer, plutôt que de s’orienter vers l’analyse numérique, spécialité de Jean Legras. Au Centre de calcul, il consulte la collection des Communications de l’ACM et d’autres revues. C’est ainsi qu’il découvre un nouveau langage de programmation, Algol [3], défini par un groupe international indépendant de tout constructeur, donc attirant pour des universitaires, et beaucoup plus novateur que le Fortran d’IBM : la récursivité de la définition des programmes et des fonctions fait rêver. Un programme n’est plus une suite d’instructions apparaissant au même niveau, mais commence à ressembler à un texte en langue naturelle ; sa syntaxe est d’ailleurs décrite par des règles proches des grammaires formelles dites context-free 11, introduites quelques années plus tôt par le linguiste Noam Chom- sky. Compiler ce langage demeure un problème sérieux. Claude, devenu pour un an attaché de recherche au CNRS, constitue une équipe dans ce but et, dès 1963, il signe une première publication aux Comptes-rendus de l’Académie des sciences [P1], puis, en 1964, il publie l’article intitulé « Arbres, piles et compilation » dans la revue française de traitement de l’information [P2].

Publications de Claude Pair

[P1] ↑ Justification théorique de l’utilisation des piles en compilation, CR AS 257, 3278- 3281, 1963.

[P1] Justification théorique de l’utilisation des piles en compilation, CR AS 257, 3278- 3281, 1963. [P2] Arbres, piles et compilation, Revue française de traitement de l’information - Chiffres 7, n°3, 199- 216, 1964. [P3] Sur la détermination de la correspondance paramètre formel - paramètre effectif des procédures Algol, congrès AFIRO, 157-162, 1964. [P4] Essai de description de la sémantique des langages de programmation, séminaire AFIRO et rapport interne, 1964. [P5] Description d’un compilateur Algol, European Région 1620 Users Group, Mannheim, 1965. [P6] Étude d’un algorithme d’analyse syntaxique, manuscrit consultable aux Archives Henri-Poincaré, https://poincare.univ-lorraine.fr/, Nancy, 1965. [P7] Étude de la notion de pile, application à l’analyse syntaxique, thèse d’État, Nancy, 1965. [P8] Analyse syntaxique des langages de Chomsky, exposé à un séminaire à Grenoble, 1966. [P9] Sur des algorithmes pour les problèmes de cheminement dans les graphes, Théorie des graphes, Journées internationales d’étude, Rome, Dunod - Gordon and Breach, 271-300, 1966. [P10] La formalisation des grammaires, Centre de Recherches et d’Applications Linguistiques, Faculté des lettres et sciences humaines, Nancy, 1967. [P11] Définition et étude des bilangages réguliers, avec A. Quéré, Inf. and Control 13, 565-593, mai 1968. [P12] Introduction à Algol 68, RIRO Informatique 3, n°3, 17-52, 1969. [P13] Algol 60, Techniques de l’Ingénieur H 2160, 1970. [P14] Sur des notions algébriques liées à l’analyse syntaxique, RIRO Math.4 n° 3, 3-29, 1970. [P15] Sur les fonctions primitives récursives de ramifications, avec A. Quéré, Acta Math. Acad. Sc. Hung. 21, 437- 444, 1970. [P16] Mille et un algorithmes pour les problèmes de cheminement dans les graphes, RIRO Informatique 4 n° 3, 125-143, 1970. [P17] Survol de la théorie des langages, journées AFCET, Grenoble, 1970. [P18] FACE, langage pour l’écriture des compilateurs, avec F. Bellegarde et J. Maroldt, congrès AFCET, broch. 2, 5-21, 1970. 29. Par exemple, selon G

Références

...

[8| M. Créhange, Structure du code de programmation, Thèse 3e cycle, Nancy, 1961 32. Et Code de programmation, Cahier n° 1 du groupement des utilisateurs scientifiques des ordinateurs IBM 650, octobre 1960.

[9] ↑ M. Créhange et M.-C. Haton,,  L’informatique universitaire à Nancy : un demi-siècle de développement, revue de la SIF 1024 no 3, pp. 59-74. 2014.

[10] O. J. Dahl, E.W. Dijkstra, C. A. H. Hoare, Structured Programming, Acad. Press, 1972

...

Notes de l'article