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 aussi Lautman 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 19401941 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 tion naturelle 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 I Cher ami,

Hourya Benis-Sinaceur

Angers, le 13 juin 1936 (12).

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 Mon cher ami,

Amiens, le 17 mai 1938.

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 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.

Strasbourg, 5 juillet 1938.

122 ou tlphonant chez ma sur

Hourya Benis-Sinaceur

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 [ulier] 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 Cher ami,

Paris, septembre 1938.

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.

Mon cher ami,

Strasbourg, le 7 novembre 1938 23, rue Gounod

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 Mon cher ami,

Strasbourg, le 23 novembre 1938. 23, rue Gounod

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 Mon cher ami, Strasbourg, le 12 dcembre 1938.

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 IX Chers amis,

127

14 fvrier 1943.

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[erspruchsfreiheit] 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 contreordre : 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.