Final version, take into account Mehdi Amini's extra review.