text/deligne.tex
changeset 483 2cb4fa7c5d0a
parent 450 56a31852242e
child 534 2b1d52c41ac5