diff -r a97f3b8807d9 -r 8bda6766bbac diagrams/deligne/dfig3b.pdf
Binary file diagrams/deligne/dfig3b.pdf has changed