Plenary lecture: Jeremy Gray, The soul of the fact: Poincaré and proof