Describir: Weak completeness of the Bourbaki quasi-uniformity