diff -r abcbb32288b2 -r faac9ca8f092 diagrams/deligne/dfig1a.pdf
Binary file diagrams/deligne/dfig1a.pdf has changed