Bourbaki_dangerous_bend_symbol loading ...