Elements with bounded height in number fields

We give a constructive proof of the fact that there exist only finitely many elements with bounded height in number fields. This provides an eficient method to enumerate all those elements. Such a method is helpful to compute bases on elliptic curves.