Yvonne Choquet-Bruhat obituary: mathematician who established that Einstein’s equations mirror the real world · Nature