EP1732001A2 - Validation of a program on a data carrier intended for native execution by a processor