Stav dette: Weak completeness of the Bourbaki quasi-uniformity