Från Bourbaki ingå goda underrättelser.