Bourbaki är ej död.