[EN] It is well-known that the notion of a Smyth complete quasi-uniform space provides an appropriate notion of completeness to study many interesting quasi-metric spaces which appear in theoretical computer science. We ...