diff -r faac9ca8f092 -r 1ce74e992a72 diagrams/deligne/dfig3a.pdf
Binary file diagrams/deligne/dfig3a.pdf has changed