text/deligne.tex
changeset 278 79f7b1bd7b1a
parent 237 d42ae7a54143
child 283 418919afd077