Construction and repair of ships, of military installations comprised of buildings and machinery, and of industrial or habitat buildings