Discrete-time and continuous-time modelling : some bridges and gaps 10 janvier 2007 Krivine, H., Lesne, A., Treiner, J. Mathematical Structures in Computer Science 17 (2007) 261-276