Bourbeki voro de förete vittnena.