Jacques Arsac

Fonction
Inspecteur général de l'Éducation nationale (d)
à partir de 1987
Naissance	1er février 1929; Le Puy
Décès	14 janvier 2014 (à 84 ans); Clamart
Nom de naissance	Jacques Jean Arsac
Nationalité	française
Formation	École normale supérieure; Université de Paris
Activité	radioastronome, informaticien, professeur d'université
A travaillé pour	Faculté des sciences de Paris (1965-1971); Observatoire de Meudon (d) (1955-1964)
Membre de	Académie des sciences (1980); Academia Europaea (1989); Académie catholique de France
Directeur de thèse	Jean-Claude Pecker
Distinctions	Prix Roberval (1994); Commandeur de l'ordre national du Mérite (2002); Chevalier des Palmes académiques

Jacques Arsac est un universitaire français né le 1^er février 1929 au Puy (en Haute-Loire) et mort le 14 janvier 2014 à Clamart^[1] (Hauts-de-Seine).

Informaticien et radioastronome, il a été professeur émérite à l’université Pierre-et-Marie-Curie, membre de l'Académie des sciences. Il est le fondateur principal des options informatiques aussi bien à l'université qu'au lycée.

Biographie

Formation

Après des études à la Chartreuse du Puy, puis au lycée du Parc à Lyon, Jacques Arsac est élève à l’École normale supérieure de la rue d'Ulm^[2]^,^[3]. Il est docteur ès-sciences, agrégé de l'université en physique et a obtenu un diplôme d'études approfondies (DEA) en philosophie^[2].

Carrière professionnelle

Préparateur à l'ENS de 1952 à 1955, Jacques Arsac est ensuite aide-astronome puis astronome-adjoint à l'Observatoire de Meudon jusqu'en 1964^[2]^,^[4]. En 1959, il est directeur fondateur du Centre de calcul de l’Observatoire de Paris-Meudon^[3].

À partir de 1965, il est professeur titulaire de la chaire de programmation nouvellement créée à la faculté des sciences de Paris^[3]. De 1964 à 1968, J.Arsac est membre du comité éducation de la Fédération internationale pour le traitement de l'information. Il est directeur de l'Institut de programmation de Paris, à la suite de René de Possel, de 1967 à 1971^[5]. En 1976 il est, avec Maurice Nivat, le premier directeur du LITP (Laboratoire d'Informatique Théorique et Programmation) associé au CNRS et commun aux universités Paris 6 et 7. Il est élu correspondant de l'Académie des Sciences le 28 avril 1980, dans la section des sciences mécaniques et informatiques. En 1987, il est nommé inspecteur général de l’Éducation nationale^[2]. De 1987 à 1991, il est chargé de mission d’inspection générale pour l’option informatique des lycées^[3].

Œuvre scientifique

Jacques Arsac, en plus de ses recherches, a particulièrement œuvré pour l'enseignement de l'informatique en France. Il est un pionnier de l’enseignement de l’informatique à tous les niveaux et ses travaux s'orientent vers la reconnaissance de l'informatique comme discipline scientifique à part entière^[6]. À la même époque, Claude Pair aussi est un promoteur actif de l'informatique et fonde une école réputée à Nancy. Arsac s'intéresse notamment à la conception des programmes, à la démonstration de leur correction. Il emploie pour cela des méthodes de manipulation et de transformation de programmes qui permettent de montrer l'équivalence de programmes par la transformation de l'un dans l'autre. Ces concepts sont exposés et illustrés d'exemples dans ses nombreux livres, et aussi dans divers articles^[7]^,^[8].Il est aussi le créateur du langage de description algorithmique EXEL.

Ouvrages

Jacques Arsac a publié de nombreux ouvrages, dont^[2]^,^[9] :

Transformée de Fourier et Théorie des distributions, Dunod, 1961
Algol : Théorie et Pratique, Gauthier-Villars, 1965 avec André Lentin, Maurice Nivat et Louis Nolin
Système de conduite des ordinateurs, Dunod, 1968
La Science informatique, 1970
La Construction de programmes structurés, Dunod, 1977
Premières leçons de programmation, CEDIC-Nathan, 1980
Proverbes de programmation, Dunod, 1978 (traduction du livre de Henry F. Ledgard)
Les Bases de la programmation, Dunod, 1983
Jeux et casse-tête à programmer, Dunod, 1985
Les machines à penser : des ordinateurs et des hommes, Le Seuil, 1987
Preceptes pour programmer, 1 janvier 1991. Éditeur : Dunod
La science et le sens de la vie, Fayard, 1993 (prix Roberval 1994)
Y a-t-il une vérité hors de la science ? Un scientifique s'aventure en philosophie, l'Harmattan, 2002

Prix et distinctions

Jacques Arsac est commandeur de l'ordre national du Mérite et chevalier des Palmes académiques^[2]. Il est membre de l’Académie d’éducation et d’études sociales, et membre de l’Academia Europaea

En 1980, il obtient le prix européen de la recherche en informatique; en 1986, le prix Pérouse de la Fondation de France, et le prix Roberval en 1994^[2].

Jacques Arsac est président d'honneur de l'Association des scientifiques chrétiens^[10].

Notes et références

↑ État civil sur le fichier des personnes décédées en France depuis 1970
↑ ^{a b c d e f et g} Who's Who in France, édition 2008, p. 140.
↑ ^{a b c et d} Notice biographique de Jacques Arsac (Académie des Sciences).
↑ James Lequeux, L'univers dévoilé : Une histoire de l'astronomie de 1910 à aujourd'hui, Les Ulis, EDP Sciences, 2005, 304 p. (ISBN 2-86883-792-1), p. 249.
↑ IP - Institut de Programmation sur le site du Lip6 de l'Université Paris 6.
↑ Jacques Arsac, « Des ordinateurs à l’informatique (1952-1972) », dans Philippe Chatelin (éditeur), Histoire de l'Informatique en France, vol. 1, Grenoble, 1988, 2 volumes : 461+428 (ISBN 2-9502887-0-7, lire en ligne), p. 31-43.
↑ (en) Jacques J. Arsac, « Syntactic source to source transforms and program manipulation », Communications of the ACM, vol. 22, n^o 1,‎ 1979, p. 43–54 (ISSN 0001-0782, DOI 10.1145/359046.359057)
↑ (en) J. Arsac et Y. Kodratoff, « Some Techniques for Recursion Removal from Recursive Functions », ACM Transactions on Programming Languages and Systems, vol. 4, n^o 2,‎ 1982, p. 295–322 (ISSN 0164-0925, DOI 10.1145/357162.357171)
↑ Jacques Arsac sur le site IdRef.
↑ Site de l'Académie catholique de France pour le rayonnement du savoir et de la foi.

Liens externes

« Jacques Arsac 1^er février 1929 – 14 janvier 2014 » sur le site de l'Académie des sciences
Maurice Nivat, « Jacques Arsac, Notice nécrologique », Académie des Sciences — in memoriam
Jean-Claude Bajard, « Décès de Jacques Arsac », Laboratoire d’informatique de Paris 6
L’institut des sciences de l’information et de leurs interactions, « Disparition de Jacques Arsac », CNRS
Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Belgique
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Tchéquie
- WorldCat

[1] État civil sur le fichier des personnes décédées en France depuis 1970

[WsW-2] {a b c d e f et g} Who's Who in France, édition 2008, p. 140.

[AS-3] {a b c et d} Notice biographique de Jacques Arsac (Académie des Sciences).

[4] James Lequeux, L'univers dévoilé : Une histoire de l'astronomie de 1910 à aujourd'hui, Les Ulis, EDP Sciences, 2005, 304 p. (ISBN 2-86883-792-1), p. 249.

[5] IP - Institut de Programmation sur le site du Lip6 de l'Université Paris 6.

[6] Jacques Arsac, « Des ordinateurs à l’informatique (1952-1972) », dans Philippe Chatelin (éditeur), Histoire de l'Informatique en France, vol. 1, Grenoble, 1988, 2 volumes : 461+428 (ISBN 2-9502887-0-7, lire en ligne), p. 31-43.

[Arsac1979-7] (en) Jacques J. Arsac, « Syntactic source to source transforms and program manipulation », Communications of the ACM, vol. 22, n^o 1,‎ 1979, p. 43–54 (ISSN 0001-0782, DOI 10.1145/359046.359057)

[ArsacKodratoff1982-8] (en) J. Arsac et Y. Kodratoff, « Some Techniques for Recursion Removal from Recursive Functions », ACM Transactions on Programming Languages and Systems, vol. 4, n^o 2,‎ 1982, p. 295–322 (ISSN 0164-0925, DOI 10.1145/357162.357171)

[9] Jacques Arsac sur le site IdRef.

[10] Site de l'Académie catholique de France pour le rayonnement du savoir et de la foi.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]