3 ms·

Now that a reference my dad would love :) Not sure if the regular HN folks would know of Bourbaki though