Bourbaki har tagit afsted.