text/deligne.tex
changeset 411 98b8559b0b7a
parent 402 853376c08d76
child 426 8aca80203f9d