text/deligne.tex
changeset 980 53843b0d9ff2
parent 954 43bc04bcf941