text/deligne.tex
changeset 397 e47dcbf119e7
parent 386 40df54ede7fe
child 400 a02a6158f3bd