Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version).