text/deligne.tex
changeset 969 2232d94b90b8
parent 954 43bc04bcf941