text/deligne.tex
changeset 967 6e4f0ed47e0e
parent 954 43bc04bcf941