text/deligne.tex
changeset 976 3c75d9a485a7
parent 954 43bc04bcf941