Գրեք սա: Weak completeness of the Bourbaki quasi-uniformity