EP1584190B1 - Method and System for Guaranteeing the Integrity of at Least One Software Program Which Is Transmitted to an Encryption/Decryption Module and Recording Media for Implementing Same