DEFINITION MODULE gmult; FROM SUPINT IMPORT SuperInteger; PROCEDURE Mult (U, V, C : SuperInteger); (* Multiplie U par V et place le resultat dans C. *) END gmult.