diff -r 719931014d3a -r b9b4ae3f8351 diagrams/deligne/dfig3b.pdf
Binary file diagrams/deligne/dfig3b.pdf has changed