text/deligne.tex
changeset 248 9fc815360797
parent 237 d42ae7a54143
child 283 418919afd077