A predicative completion of a uniform space