val program : Code.code Trans.program -> unit (* interprčte le code du programme *)