text/deligne.tex
changeset 440 379e9a10c079
parent 437 93ce0ba3d2d7
child 449 ae5fd0a7a8a3