Quantum cohomology: Definition and first properties