A 3-dimensional proof

Hi!

I gave a talk today in Marseille about the 3-dimensional interpretation
of SKS proofs. The slides (in french) are on my page:
http://iml.univ-mrs.fr/~guiraud/exposes/luminy.pdf

This is almost the same talk as in Dresden last week, but with a first 
attempt to represent a proof in 3 dimensions. It's on pages 80-88 and does 
not really look good for the moment, but I will try to draw another one as 
soon as I find some convenient 3D modeler... so that one may turn around 
the proof to see the details!

Have a nice week-end,

Yves