Borel summability, formal power series, mean-values, heat equation