text/deligne.tex
changeset 960 bc4086c639b6
parent 954 43bc04bcf941