String theory compactifications (1/6)