Life Cycle Assessment of the restoration of an historical building