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