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