text/deligne.tex
changeset 540 5ab4581dc082
parent 538 123a8b83e02c
child 556 4f008d0a29d4