Quasi-projective varieties