text/deligne.tex
changeset 965 987af9e53631
parent 954 43bc04bcf941