text/deligne.tex
changeset 445 45807ce15615
parent 437 93ce0ba3d2d7
child 449 ae5fd0a7a8a3