text/deligne.tex
changeset 380 6876295aec26
parent 376 1ce74e992a72
child 381 84bcc5fdf8c2