För ögonblicket är det Bourbakis armé,