7. ed., revue et mise au point

6. édition, revue et mise au point

4. éd. 1930 avec les suppl. 1940, 1951 et 1953

4.uitg. 1930 met de bijvoegsels 1940, 1951 en 1953

5. éd., rev. et mise au point