text/deligne.tex
changeset 979 01c4b50b5489
parent 954 43bc04bcf941