M Hourya Benis-Sinaceur

Lettres indites de Jean Cavaills Albert Lautman

In: Revue d'histoire des sciences. 1987, Tome 40 n1. pp. 117-128.

Citer ce document / Cite this document :

Benis-Sinaceur Hourya. Lettres indites de Jean Cavaills Albert Lautman. In: Revue d'histoire des sciences. 1987, Tome 40
n1. pp. 117-128.

http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1987_num_40_1_4490
 DOCUMENTATION

Lettres indites

de Jean Cavaills Albert Lautman

commerce
L'amiti
intellectuel
de Jean trs
Cavaills
suivi, et
du de
moins
Albert
aussiLautman
longtemps
se que
doublait
les circons
d'un
tances le permirent tous deux. Un ensemble d'une trentaine de lettres,
envoyes par Cavaills Lautman entre 1936 et 1943, tmoigne de la
proximit affective et de pense des deux philosophes. Elles sont complt
es par des lettres un peu moins d'une vingtaine de Cavaills
Suzanne Lautman, chelonnes entre septembre 1940 et octobre 1941,
priode de la premire dtention de Albert Lautman l'Oflag IV D.
Je dois la gnrosit de Catherine Chevalley d'avoir pris connaissance
de la plupart de ces lettres. Elle me les remit en effet, aprs les avoir
obtenues de Suzanne Lautman avec certains autres documents (t 1984).
Mes remerciements vont donc d'abord Catherine Chevalley, et Suzanne
Lautman qui a bien voulu mettre entre nos mains une correspondance
reste jusqu'ici prive. Je remercie galement Jacques Lautman d'avoir
bien voulu me confier les originaux des lettres dont la lecture posait
quelques problmes. Je remercie Gabrielle Ferrires de m'avoir aide
dchiffrer certains mots et de m'avoir autorise publier ces lettres.
Je remercie Suzanne Bachelard et Georges Canguilhem de m'avoir claire
de leurs souvenirs personnels.
La publication de l'ensemble des lettres Albert ou Suzanne Lautman
pourrait contribuer donner un portrait vivant de Gavaills. En attendant,
et compte tenu des extraits dj publis par Gabrielle Ferrires dans son
livre, Jean Cavaills, Un philosophe dans la guerre (rdit au Seuil, 1982),
j'ai slectionn pour ce numro de la Bvue d'Histoire des Sciences un
certain nombre de lettres o l'on voit la rgularit des changes entre
Cavaills et Lautman, l'association de leurs efforts dans l'ingrat pays
de la philosophie des sciences (1), l'initiative partage pour fonder une

(1) Lettre du 17 mai 1938, ci-aprs 121.

Rev. Hist. ScL, 1987, XL/1

118 Hourya Benis-Sinaceur

collection rserve, chez un diteur scientifique, un groupe de jeunes

philosophes (2), la sparation, dans un cheminement pareillement adoss
aux mathmatiques et la logique, de leurs options philosophiques.

Quelques lettres montrent de combien prs Cavaills suivait les tr

avaux de son ami. Souvent admiratif du brio de ses essais, il ne lui
mnage pas ses flicitations : ainsi pour la communication au Congrs
international de Philosophie scientifique de 1935 (3), ou pour la soutenance
des thses en 1937 (4). D'autres lettres rvlent la longueur des ngocia
tions avec Freymann, dispos accueillir aux ditions Hermann, dans la
srie des Actualits scientifiques et industrielles, une collection philosophique.
On peut suivre d'une lettre l'autre les diverses propositions de titre
pour cette collection. Aprs avoir envisag successivement Clart, Elments
(suggr par Andr Weil l'instar du trait des bourbakistes), Libres essais
philosophiques, les deux amis se mettent d'accord sur Essais philosophiques,
publis par Jean Cavaills, ce dernier ayant refus la mention sous la
direction de... . Raymond Aron collabora cette collection qui comprit
en tout et pour tout quatre volumes dont deux titre posthume (5).
Cavaills entendait y affirmer l'indpendance d'un point de vue propre
mentphilosophique et faire une place la logique mathmatique (lettre
du 5 juillet 1938, ci-aprs p. 121). Son amiti pour les bourbakistes ne
l'empchait pas de refuser l'infodation de la philosophie aux mathmat
iques. Celles-ci lui apparaissent comme un instrument de pense rigou
reuse, non la pense elle-mme ; une exprience (6) qui favorise la
rflexion et n'en dispense pas.
Les lettres des annes 1936 1938 permettent de suivre la prparation
des thses de Cavaills. On y relve le souci (7) logique partag par les
deux philosophes, l'importance tt reconnue par Cavaills des thormes
de Skolem et de Herbrand (8), les longues discussions avec Gentzen

(2) Lettre du 6 dcembre 1938, ci-aprs 125.

(3; Lettre du 3 septembre 1936, en majeure partie publie par G. Ferrires, op. cit.,
115.
(4) Lettre du 29 dcembre 1937.
(5) Premier volume : A. Lautman, Nouvelles recherches sur la structure dialectique
des mathmatiques (1939). Deuxime volume : J.-P. Sartre, Esquisse d'une thorie des
motions (1939). Troisime volume : A. Lautman, Symtrie et dissymtrie en mathmat
iques et en physique. Le problme du temps (1946). Quatrime volume : J. Cavaills,
Trans fini et continu (1947).
(6) Ce terme employ de faon rpte par Cavaills, recouvre un thme constant
de sa pense. Voir les lettres son pre du 24 janvier et du 11 novembre 1938, dans
G. Ferrires, op. cit., 119 et 123. Lettres A. Lautman de septembre 1938. ci-aprs 122,
et du 7 novembre 1938, ci-aprs 123.
(7) Le terme est emprunt A. Lautman : lettre du 6 dcembre 1938, ci-aprs 125.
(8) Lettre du 13 juin 1936, ci-aprs 120.
Lettres indites 119

Gttingen (9), l'intrt pour la notion de consquence logique nouvelle

ment dfinie par Tarski (10). Ici ou l on retrouve les ides matresses de
Cavaills : l'impossibilit d'expliquer de l'extrieur les ncessits internes
d'un processus singulier (lettre du 6 dcembre 1938) ; sa vision archi
tecturale du dveloppement mathmatique (lettre du 13 juin 1936) ;
son absence d'intrt pour une histoire-droulement (lettre du 5 mai 1937).
La lettre du 7 novembre 1938, ci-aprs p. 123, montre la rserve de
Cavaills par rapport l'option heideggerienne de son ami.
Deux lettres permettent d'identifier les lectures nourricires de
Cavaills tandis qu'il travaille, dans l'isolement d'une dtention ou de
l'autre :
1 / A la rdaction du cours de logique profess la Sorbonne en 1940-
1941 et que Gaston Bachelard lui avait demand pour sa collection des
Presses Universitaires de France (11) ;
2 / A la rdaction du texte publi en 1946 par Georges Canguilhem
et Charles Ehresmann sous le titre Sur la logique et la thorie de la science.

La premire de ces lettres, du 4 novembre 1942, a t largement

publie par G. Ferrires dans son livre (p. 164-165 de l'd. de 1982).
La deuxime, du 14 fvrier 1943, est publie ci-aprs p. 127.
Souhaitons que la publication de ces lettres aide restituer le climat
d'urgence dans lequel travaillait Cavaills et saisir d'une faon plus
prcise ou mieux situe certaines constantes de sa pense.
La transcription des lettres manuscrites obit aux rgles suivantes :
1 / Les mots crits en abrg par Cavaills sont restitus dans leur
intgralit, les lettres non crites tant places entre crochets. Une excep
tionnaturelle cette rgle a t faite pour les noms propres de la lettre
du 14 fvrier 1943.
2 / Parfois une virgule a t introduite l o Cavaills semblait signi
fierune pose par un espace blanc.
3 / Bien sr, l'article indfini un , une , a t substitu sa repr
sentation par le chiffre 1 .
4 / Des notes ont t rajoutes en bas de page l o elles m'ont paru
clairer la comprhension du lecteur.

CNRS
Hourya Benis-Sinaceur.

(9) Lettre du 26 aot 1936, publie par G. Ferrires, op. cit., 110.
(10) Lettre du 3 septembre 1936, publie par G. Ferrires, op. cit., 115.
(11) Suzanne Bachelard, qui a suivi ce cours, se souvient qu'y assistaient galement
G. G. Granger, F. Courtes et Jean Gosset.
120 Hourya Benis-Sinaceur

I
Angers, le 13 juin 1936 (12).
Cher ami,
Me voici install pour encore une dizaine de jours dans cette invra
isemblable vie de giberne et de temps perdu (13). Heureusement le trait
ement est humain. Tous les jours 4 h nous pouvons abandonner les
sapes et ces rocailleuses explications de contrematres. J'ai repris le
problme de la reprsentation de la thorie des ensembles dans le systme
Hilbert. Ce n'est pas encore parfaitement clair, au moins dire. Il y a l
une dialectique (14) dont il ne faut passer aucun moment ; cela m'a oblig
un retour sur le thorme de Skolem et celui d'Herbrand. Je ne sais si
tu as trouv que l'expos que j'en donnais (15) tait trop bref : j'admettais
la thorie des champs comme allant de soi ; c'est en ralit un hritage
de la logistique nave description des rapports entre ensembles consi
drs comme poss en soi ; le grand mrite d'Herbrand que je n'ai pas
bien marqu a t de dpouiller le traitement de toute signification
intuitive (interprtation des signes de quantit). Je vais refaire cela, en
liant mieux avec le travail simultan et d'inspiration diffrente de
Gdel sur la Vollstndigkeit du calcul (un an avant son grand mmoire).
Mais je n'ai pas emport la thse d'Herbrand : puis-je te demander de
m' envoyer ici un de tes exemplaires (il me semble me rappeler que tu
en avais deux) ?
Je suis confus de te dranger tu connais cette impression assez
dsagrable d'une privation contre laquelle on n'a aucun remde. Et
il est meilleur avant de conclure, d'avoir une conscience nette sur tout
ce qui prcde.
J'espre que tu as du temps toi et peux avancer en ce moment.
Sous l'influence du langage qui me submerge je suis pris par des images
architecturales et assez ralistes du dveloppement mathmatique ;
reste l'origine du matriau ces tonnants changements d'univers
qui font buter contre le mot de Dedekind (16). S'il y a une ncessit

(12) Un large extrait de cette lettre a t publi par G. Ferrires, op. cit., 108.
La publication intgrale m'a sembl toutefois utile. La fin de la lettre confirme en
effet la source dedekindienne de la notion et du terme de < ncessit > dont le rle est
si grand dans la philosophie des mathmatiques de Cavaills.
(13) Cavaills effectuait en ce mois de juin 1936 une priode militaire.
(14) Noter le contexte d'emploi de ce terme.
(15) Cavaills fait probablement allusion la rdaction d'un passage de Mthode
axiomatique et formalisme (Paris : Hermann, 1938).
(16) Le mot de Dedekind est : ncessit >. Ce passage fait allusion la leon
d'habilitation de Dedekind prononce le 30 juin 1854 et publie pour la premire fois
par Emmy Noether en 1932. Il rvle un moment de la pense de Cavaills o la contra
diction entre la ncessit et les changements d'univers n'est pas encore rsolue.
Lettres indites 121

entre eux, ce ne peut tre que la seule qui soit en nous et hors de nous.
Merci d'avance pour ce que tu pourras faire (bien entendu si la chose te
gne le moins du monde, laisse-l : je serai de retour le 23 au plus tard)
Mon bien amical souvenir ta femme et mes meilleurs vux pour son
crit (17) qui doit tre tout proche.
Trs amicalement tien
J. Cavaills.

II
Amiens, le 17 mai 1938.
Mon cher ami,

J'ai t extrmement touch de ta lettre, de la comprhension, l'affec

tion efficace qu'elle me montrait une fois de plus. Il est heureux que nous
soyons deux dans l'ingrat pays de la philosophie des sciences. Il ressort
de ta lettre que tu as transmis directement Parodi mon (18) compte
rendu de tes (18) thses. Sinon avise-m'en aussitt ici (je viens de lui
crire en lui en parlant pour plus de sret) (19).
Votre cathdrale ne peut se comparer aucune autre, elle est
unique (20). Mais j'aurais aim vous faire les honneurs de celle-ci. De
t[ou]tes faons j'espre que n[ou]s n[ou]s reverrons avant mon dpart
pour Strasbourg, toujours aussi vague.
Mon amical souvenir ta femme et M. Jacquot.
Trs amicalement tien
J. Cavaills.

III
Strasbourg, 5 juillet 1938.
Cher ami,

Je serai Paris, sauf imprvu, de vendredi (probabl[emen]t midi)

lundi soir inclus et serais bien dsireux de t'y voir (de vous y voir si
ta femme tait du voyage). Peux-tu me fixer un rendez-v[ou]s en crivant

(17) Ecrit d'agrgation.

(18) Soulign par Cavaills.
(19) Cette lettre permet, avec la prcdente date du 15 mai 1938, d'identifier le
compte rendu des thses de Lautman publi dans la Revue de mtaphysique et de morale,
dont D. Parodi tait alors rdacteur, t. 45, supplment au n de juillet 1938, 9-11.
(20) II s'agit de la cathdrale de la ville de Chartres o demeuraient alors les
Lautman.
122 Hourya Benis-Sinaceur

ou tlphonant chez ma sur

P[our] Dieudonn tu aurais bien pu rpondre toi-mme : je vais lui

dire, ce qui est probablement ton avis, qu'en principe cette srie (21)
est consacre de la philo [sophie], que personnellement je serai d'avis
d'tendre la logique mathmatique], mais qu'il serait bon, en partie [u-
lier] p[ou]r avoir l'assentiment des autres camarades Aron, Vignaux (22)
(toi tant sans doute dj de mon opinion) qu'il prcise ce qu'il veut faire.
Si c'est une vague resuce viennoise comme ce premier fascifcule]
Bourbaki rdig par Weil, ce me semble inutile. Qu'en dis-tu ? Un
disciple de Rougier, tud[ian]t Gttingen m'crit qu'il va traduire pour
les Actualits VEinfhrung in die Logistik de Eeichenbach (d[an]s sa
Wahrscheinlichkeits-) en somme c'est un peu long mais honnte.
Je suis curieux de savoir ce que tu as fait pour notre srie. A bientt.
Trs amicalement vous deux.
J. Gavaills.

IV
Paris, septembre 1938.
Cher ami,

Je suis Paris depuis hier matin. Le congrs (23) s'est effondr samedi :
dans le brouillard du hollandais toutes les ombres devenaient normes.
Mais au fond nous avions raison. Si rien n'arrive... je suis ici jusqu' la
fin de la semaine. Je voudrais bien vous voir tous deux et malgr l'amiti
de ce que tu me disais la semaine dernire au tlphone j'avoue que je
n'ose pas aller jusqu' Chartres : mon ordre de mobilisation est Stras
bourg. J'aimerais aussi voir ce que fait ma sur... Enfin vois aussi ce qui

(21) II s'agit de la srie des Essais philosophiques, publis par Jean Cavaills chez
Hermann.
(22) Paul Vignaux fut un ami d'enfance de Cavaills, et, plus tard, un de ses
camarades de promotion l'Ecole normale suprieure. Agrg de philosophie (la mme
anne que Cavaills et G. Canguilhem), Paul Vignaux est connu pour ses travaux
sur les philosophies et les thologies mdivales, notamment sur le nominalisme. Dans
un entretien tlphonique (dcembre 1986), il m'a prcis qu'il ne se souvient d'avoir eu
aucun rle particulier dans la cration des Essais philosophiques. Toutefois, il faisait
partie d'un cercle de philosophes dont l'opinion importait Cavaills.
(23) II s'agit du Congrs d'Amersfoort en Hollande. Cavaills y rencontre Gonseth
et Tarski. Mais les entretiens se droulent dans l'agitation des prmices de guerre et
Cavaills dcide, l'annonce d'une mobilisation partielle, de rentrer Paris. Voir
G. Ferrires, op. cit., 120.
Lettres indiles 123

vous gne le moins. Rien ajouter ce que je disais sur Amersfoort :

il n'y avait pas de philosophe. Je me remets penser l'exprience math
matique (24). Nous en parlerons peut-tre. Vu ce matin Freymann qui
marche pour notre srie. Trs amicalement ta femme et toi.
J. Cavaills.

Strasbourg, le 7 novembre 1938

23, rue Gounod
Mon cher ami,

Ta lettre et ton article m'ont couru aprs dans mes diverses

adresses, d'o un lger retard. Il va de soi que notre collection est enchante
de commencer par ton article (25). Je te remercie de me permettre de le
connatre ds l'uf a m'a beaucoup intress et c'est prsent avec
un brio remarquable je vais lire de prs la deuxime partie. Pour la
premire, si tu donnes des claircissements comme tu l'envisages, il
vaudrait je crois la peine d'allonger un peu. Certains malentendus peuvent
natre d'expressions trop brves. Heidegger rpudie avec tellement de
vigueur l'opposition d'essence et d'existence et ne voudrait pas que tu
aies mme l'air de le rapprocher de Platon. Je croyais jusqu'ici que tu
admettais une immanence des ides leur actualisation mathmatique.
Il ne semble pas maintenant, au moins si tu prends Heidegger. Tans pis
mais au fond tu as peut-tre raison. Je suis pour moi si enfonc dans le
problme analogue (26) (au fond le mme) de l'exprience mathmatique

(24) Cavaills n'a jamais cess de penser c l'exprience mathmatique . Dans la

lettre du 24 janvier 1938, o il rend compte son pre de la faon dont s'est passe la
soutenance de ses thses il crit, voquant les faits relatifs la thse principale : c ... j'ai
essay en terminant de dfinir l'exprience mathmatique et rclam le patronage
de Spinoza. En 1939, devant la Socit franaise de Philosophie, il dit : Par exp
rience, j'entends un systme de gestes, rgi par une rgle et soumis des conditions
indpendantes de ces gestes. Je reconnais le vague d'une semblable dfinition, je crois
qu'il est impossible d'y pallier tout fait sans prendre des exemples effectifs ; je veux
dire par l que chaque procd mathmatique se dfinit par rapport une situation
mathmatique antrieure dont il dpend partiellement, par rapport laquelle aussi
il entretient une indpendance telle que le rsultat de ce geste doit tre constat dans
son accomplissement. C'est, je crois, par l qu'on peut dfinir l'exprience math
matique. Bulletin de la Socit franaise de Philosophie, XL (1946), 9. L'extrait de
lettre Brunschvicg, publi par G. Ferrires, op. cit., 158, laisse penser que Cavaills
avait le projet d'un livre intitul L'exprience mathmatique.
(25) La premire uvre publie dans la collection des Essais philosophiques
est en effet celle de A. Lautman : Nouvelles recherches sur la structure dialectique des
mathmatiques (1939).
(26) Ce mot est crit puis barr par Cavaills.
124 Hourya Benis-Sinaceur

que je ne peux voir le rapport avec aucune autre faon de le poser. Mais
peut-tre qu'on se rejoindra au bout je voudrais bien (27).
Pour l'urgence : mon passage Paris, j'avais annonc ton topo
Freymann et lui avais dit pour quelle raison nous souhaitions que cela
paraisse vite. Tu vois que nous nous sommes rencontrs. (Il l'avait
promis.)

Je ne sais encore quand je pourrai aller Paris j'ai eu la btise

de me mettre dans mes meubles, d'o pas mal de temps perdu et le travail
n'avance pas assez. Encore des intuitions il est meilleur de laisser
dposer. Si je pouvais vous voir tous les deux mon prochain voyage,
j'en serais trs heureux. Gomment allez- vous ?
Trs amicalement vous deux
J. Gavaills.
Il faudra aussi s'entendre pour le titre de la collection. Ta femme
a-t-elle une ide ?

VI
Strasbourg, le 23 novembre 1938.
23, rue Gounod
Mon cher ami,
Ce que tu me racontes de Freymann m'ennuie, pour la mme raison
que toi. Je vais rflchir la possibilit d'une introduction plus ou moins
collective (28) qui bien entendu ne serait pas un manifeste. Ce serait
la meilleure solution pour gagner la bonne volont de Freymann et
obtenir la rapidit corrlative (tout ceci bien entendu entre nous) : s'il
le veut, tu peux paratre un mois et demi aprs le commencement de
l'impression. J'ai vu le cas pour Bougie.
Je serai la semaine prochaine Paris : nous pourrons causer de cela
avec gal[emen]t Aron, d[on]t la collaboration me semble ncessaire
si n[ou]s ne voulons pas n[ou]s borner la philosophie des sc[iences]
(le manuscrit de Dieudonn semble se retarder b[eau]c[ou]p tuyau
Weil).

(27) Depuis la lettre du 3 septembre 1936 (publie pour l'essentiel par G. Ferrires,
op. cit., 115) o Cavaills crivait Lautman : Pour le fond je crois que nous sommes
de plus en plus d'accord ..., une distance s'est installe entre les deux philosophies.
(28) Cette introduction qui prcdera l'essai de Lautman : Nouvelles recherches
sur la structure dialectique des mathmatiques, sera signe par Jean Cavaills et Ray
mond Aron. En fait, comme nous l'apprendra la lettre du 6 dcembre 1938, donne
ci-aprs, Lautman crivit un projet d'introduction que Cavaills fondit avec le sien
propre.
Lettres indites 125

Veux-tu que n[ou]s n[ou]s donnions rendez-v[ou]s l'Ecole jeudi pro

chain premier dcembre 14 heures ou 14 heures 30 (d[an]s la salle des
revues du centre par ex[emple]) (29). Si je pouvais voir aussi ta femme
j'en serais trs heureux. Remercie-la pour son message et croyez-moi
tous les deux affectueusement vtre
J. Cavaills.

Si par hasard j'tais oblig de reporter la semaine suivante, je

t'avertirais en temps utile. Je suis en principe libre la fin de la semaine.

VII
23, rue Gounod
Strasbourg, 6 dcembre [38]
Mon cher ami,

Merci de ton mot. Je vais ds maintenant (hier et aujourd'hui il a

fallu se consacrer aux cours) fusionner ce que tu m'envoies avec ce quoi
j'avais pens pour une introduction notre srie. Il a t entendu avec
Aron (vendredi : jeudi il n'avait pu venir) que je lui enverrai ma rdaction.
Ton manuscrit est depuis samedi chez Freymann (30).
J'ai vu dimanche Brunschvicg il m'a parl de notre sance commune
la Soc[it] de Philo [sophie]. Je lui avais propos Weil pour remplacer
Chevalley comme introducteur du dbat, mais il n'a pas sembl s'y
arrter. Et puis au fond n[ou]s sommes assez grands pour parler seuls :
en principe d[on]c n[ou]s introduirions l'un aprs l'autre le dbat, le
petit papier (joint la convocation) tant notre uvre commune. Brunsch
vicg m'a charg de te proposer la date du 4 fvrier (il av[ai]t d'abord
pens au 28 janvier qui m'a sembl un peu rapproch). Es-tu d'accord ?
J'ai promis au matre une rponse cette semaine.
En plus il faudra nous entendre sur les questions poses qui doivent
porter sur nos thses et pourtant permettre un dbat unique. J'ai pens
(je n'ai rien dit Brunschvicg, qui du reste nous laisse libres) : Nature
de la connaissance mathmatique, ou Progrs de , ou Unit de
(mais le dernier est peut-tre trop limit). Quant moi j'insisterais
sur l'impossibilit de dfinir du dehors, sur les ncessits internes d'un

(29) II s'agit du Centre de Documentation sociale, dirig par Bougie, l'Ecole

normale suprieure. Cavaills en avait t secrtaire archiviste en 1928.
(30) II s'agit du manuscrit des Nouvelles recherches sur la structure dialectique des
mathmatiques.
126 Hourya Benis-Sinaceur

devenir singulier (31). Il me semble que ton urgence des problmes et

le souci (32) dont tu parles maintenant iraient l-dedans (sans parler de
ta petite thse pour l'unit). Dis-moi ton avis, nous avons du reste un peu
de temps.
J'avais propos Freymann pour notre srie le titre Clart, mais cela
voque l'ancien groupe rvolutionnaire et est peut-tre prtentieux.
Voyez-vous d[an]s ce genre ? Freymann refuse quelque chose o entre
philosophie comme ce que vous proposiez, parce qu'en sous-titre on
mettra p[ar] ex[emple] essais, ou travaux d'un groupe de jeunes phi
losophes .
J'ai t trs heureux de ces quelques moments passs avec vous deux.
Affectueusement vous.
J. Cavaills.

VIII
Strasbourg, le 12 dcembre 1938.
Mon cher ami,
J'ai crit Brunschvicg notre acceptation pour le 4 fvrier. Comme
titre Remarques sur l'objet (ou le sens) de la connaissance mathmat
ique (33) me semble aller. Je pense rdiger un topo d'ici huit ou dix
jours, tu pourrais en faire autant et nous croiserions. Je serai Paris
d[an]s la journe du 21 dcembre, je te le signale tout hasard, sans
bien entendu oser te demander de venir exprs. A mon retour (aprs les
vacances de Nol) j'espre rester un peu plus longtemps, je t'crirai les
dates exactes.

Je vais crire Freymann. Je dois dire que lui ayant dj dit que nous
tions presss je ne crois pas que cela change grand-chose : il avait l'air
dispos t'envoyer les preuves trs vite. Pour le titre attendons les
ractions d'Aron. Que dirais-tu d' Elments ? (suggr par Weil qui
intitule leur Bourbaki Elments de mathmatiques).
Trs affectueusement vous deux,
J. Cavaills.

(31) Rapprocher de la lettre du 13 juin 1936, ci-dessus, p. 120, o Cavaills crit

que les changements d'univers dans le dveloppement des mathmatiques font
buter contre le mot de Dedekind , c'est--dire contre la ncessit .
(32) Soulign par Cavaills.
(33) Le Bulletin de la Socit franaise de Philosophie, XL (1946), a reproduit le
contenu de la sance du 4 fvrier 1939 sous le titre La pense mathmatique . Outre
Cavaills et Lautman, ont particip la discussion H. Cartan, Chabauty, P. Dubreil,
Ch. Ehresmann, M. Frchet, J. Hyppolite, P. Lvy et P. Schrecker.
Lettres indites 127

IX
14 fvrier 1943.
Chers amis,

Vous avez su comment la confusion entre Banville et Gauthier (34)

m'a priv de la joie de vous voir les premiers. Tant pis, dcidment ce
qu'on prvoit n'arrive jamais comme disait notre bon matre. Ce qui
n'arrive pas non plus quand on met une fausse adresse ce sont les colis.
J'avais fait expdier de Limoges par fer mes vtements (canadienne,
costume de ski, souliers bas, les seuls bons que j'avais), et surtout j'en
ai peur [des] brochures de toi mon cher ami et quelques livres moi.
Si tu peux le retrouver tu me tireras un gros souci de l'esprit. Et puis
j'avais envie de vous envoyer ce mot. Je n'oublie pas notre accolade,
toute la chaude affection que tu me communiquais de vous deux, en
paroles, penses communes, actes et soin du corps. Comment cela va-t-il ?
Ecris-moi l'adresse ci-dessous. Affectueusement vous deux. [Suit
l'adresse.]
Liste des livres et brochures
Lewis-Langford, Symbolic Logic.
Herbrand, Problme] f[on]d[amen]tal de log[igue] mathmatique]. Sur
la non-contradict[ion] de l' arithmtique], (tir part).
Gentzen, Die gengenwrtige Lage u.s.w. Untersuchungen ber d[as]log
[ische] Schliessen.
Hilbert u[nd] Ackermann, Grundzge d[er] theoret[ischen] Logik (2e d.).
Semester Bericht Math. Seminar Munster (Bachmann).
Tarski : 1. Wahrheitsbegrfif] i[n] d[en] formalis[ierten] Sprachen.
2. Grundz[ge] d[es] Systemenkalk[ls] 1 (Fund. Math.).
3. - - 2( - ).
4. Aussagenkalk[l] u[nd] Topologie ( ).
5. Unters[uchungen] b[er] [die] Definierbarkeit d[er] Begfrife]
(Erkenntnis).
6. Einige Betrach[tun]gen b[er] die Beg[riffe] der Wid[er-
spruchsfreiheit] u[nd] d[er] Vollst[ndi]gkeit.
Merci encore infiniment cher ami pour tout l'lan avec lequel tu es venu
de votre part vous deux. Remercie galement ta femme pour ses dli-

(34) Aprs son vasion du camp de Saint-Paul d'Eyjaux, en dcembre 1943,

Cavaills s'tait rendu Toulouse la rue Thophile-Gauthier, confondue avec la rue
Thodore-de-Banville, o habitaient alors les Lautman. Cavaills part donc pour Lyon,
puis pour Londres, sans les avoir revus. Dans une lettre du 16 aot 1943 Suzanne
Lautman, publie par G. Ferrires, op. cit., 187, il s'inquite encore de savoir si les
prcieuses brochures , dont il va tre question ici, ont t rcupres.
128 Hourya Benis-Sinaceur

cieuses provisions. Mais ne m'en envoyez pas davantage sauf contre-

ordre : il vaut mieux, si v[ou]s m'en destinez, les rserver pour une
priode o j'en aurai vraiment besoin. Ce n'est pas le cas pour l'instant. . .
Merci encore infiniment affectueusement vous deux
J. C.

Sois trs prudent d[an]s tes rapports avec les gens de Toulouse et
refuse (35) toute mission que je ne te recommande pas avec un mot
personnel refuse galement tout contact hors celui de Cl. F. (36) dj
pris et un contact unique (voir note 35) Toulouse. Fais mes bien fidles
amitis Georges C (37) et Jean R (38), aussi F. (39) Cl. Fd. (voir
note 36) remercie-les pour aide, envois, etc.

(35) Soulign par Cavaills.

(36) Lire Clermont-Ferrand .
(37) II s'agit de Georges Canguilhem.
(38) Jean Rochon tait secrtaire de rdaction au journal La Montagne en 1941
et s'occupait de l'impression, Clermont-Ferrand, des premiers numros du Journal
Libration. Il est mort en dportation Dora.
(39) D'aprs Georges Canguilhem, il s'agit probablement de Maurice Feulut,
rdacteur en chef du journal de La Montagne.