In view of recent applications of o-mininality to number theory and algebraic geometry, it is natural to reflect on the possible definability of important functions such as Euler's Gamma function and Riemann's zeta function. While none of these two functions is definable in the classical structures mainly used in applications, we show that they are definable in a common o-minimal expansion of the real field. The construction of this new structure is based on an appropriate version of Borel-Laplace summation theory. Joint work with T. Servi and P. Speissegger.