Hadamard renormalization in curved space-time