diff -r 7c7b06239444 -r e15ad788718d diagrams/pdf/deligne/dfig1a.pdf
Binary file diagrams/pdf/deligne/dfig1a.pdf has changed