Till hans efterträdare har Bourbaki.