diff -r b236746e8e4d -r 1ef4bef7642c diagrams/deligne/dfig3b.pdf
Binary file diagrams/deligne/dfig3b.pdf has changed