Title: Etude d'un langage et realisation d'un systeme de simulation numerique muni d'une derivation formelle