| [plug-discuss] GROTHENDIECK - L'ESPACE D'UN HOMME |
[ Thread Index |
Date Index
| More lists.plugfr.org/plug-discuss Archives
]
Bonjour,
Je sais bien qu’il n’y a pas de rapport bien direct entre Linux et
Grothendieck (1), mais je me dis qu’il y a peut-être sur cette liste des
gens qui apprécieront l’info:
http://concubit.free.fr/or_vert/Grothendieck/index.html
jp
(1) Je pourrais bien cependant en trouver quelques-uns d’indirects.
--
Jean-Pierre Depetris
http://jdepetris.free.fr/
--
Liste de diffusion pour les discussions diverses du PLUG http://www.plugfr.org/