Analysis of a double source heat pump system in a historical building