text/deligne.tex
changeset 393 0daa4983d229
parent 386 40df54ede7fe
child 400 a02a6158f3bd