text/deligne.tex
changeset 378 e5867a64cae5
parent 376 1ce74e992a72
child 381 84bcc5fdf8c2