Système informatique comprenant : - une mémoire (MEM) configurée pour stocker un produit programme d’ordinateur (PRG), - un processeur (PROC) configuré pour exécuter ledit produit programme d’ordinateur, - un circuit de mémoire (CMEM), ledit produit programme d’ordinateur (PRG) comprenant des instructions qui, lorsque le programme est exécuté par ledit processeur (PROC), conduisent celui-ci à exécuter au moins une fonction configurée pour recevoir des données depuis l’extérieur du système informatique, lesdites instructions comprenant des instructions configurées pour réaliser un appel et un retour de ladite au moins une fonction, les instructions d’appel de ladite au moins une fonction comportant une instruction configurée pour stocker une adresse de retour dans une pile d’appel, et au moins une instruction additionnelle configurée pour dupliquer ladite adresse de retour dans ledit circuit de mémoire (CMEM), et les instructions de retour de ladite au moins une fonction comportant une instruction configurée pour réaliser un branchement à partir de l’adresse de retour stockée dans la pile d’appel, et au moins une instruction additionnelle configurée pour comparer la valeur de l’adresse de retour stockée dans la pile d’appel à la valeur de l’adresse de retour dupliquée dans ledit circuit de mémoire (CMEM) et pour permettre d’effectuer ledit branchement uniquement si ces deux valeurs sont identiques. Système informatique selon la revendication 1, dans lequel le circuit de mémoire (CMEM) comprend un registre (REG1) configuré pour stocker l’adresse de retour dupliquée. Système informatique selon l’une quelconque des revendications 1 ou 2 dans lequel le programme d’ordinateur (PRG) comprend des instructions qui permettent de stopper l’exécution du programme ou d’effectuer le branchement de retour selon la valeur dupliquée de l’adresse de retour si l’exécution de ladite au moins une instruction additionnelle de retour de fonction permet de détecter que la valeur de l’adresse de retour dans la pile d’appel est différente de la valeur dupliquée de l’adresse de retour dans le circuit de mémoire. Système informatique selon l’une des revendications 1 à 3 dans lequel les instructions d’appel de ladite au moins une fonction comprennent en outre au moins une instruction additionnelle configurée pour dupliquer une valeur d’un pointeur de pile d’appel définie lorsque l’adresse de retour est ajoutée à la pile d’appel, et dans lequel les instructions de retour de ladite au moins une fonction comprennent au moins une instruction additionnelle configurée pour comparer la valeur du pointeur de pile d’appel définie lors d’une récupération de l’adresse de retour de la pile d’appel pour réaliser ledit branchement à la valeur du pointeur de pile d’appel dupliquée dans ledit circuit de mémoire (CMEM) et pour permettre d’effectuer ledit branchement uniquement si ces deux valeurs sont identiques. Système informatique selon la revendication 4 dans lequel le circuit de mémoire (CMEM) comprend un registre (REG2) configuré pour stocker la valeur du pointeur de pile dupliquée. Système informatique selon l’une quelconque des revendications 4 ou 5 dans lequel le programme d’ordinateur (PRG) comprend des instructions qui permettent de stopper l’exécution du programme ou d’effectuer le branchement de retour selon la valeur dupliquée de l’adresse de retour si l’exécution de ladite au moins une instruction additionnelle de retour de fonction permet de détecter que la valeur du pointeur de pile lors du retour est différente de la valeur dupliquée du pointeur de pile. Produit programme d’ordinateur comprenant des instructions qui, lorsque le programme est exécuté par ledit processeur (PROC) d’un système informatique (SYS) selon l’une des revendications 1 à 6, conduisent celui-ci à exécuter au moins une fonction configurée pour recevoir des données depuis l’extérieur du système informatique (SYS), lesdites instructions comprenant des instructions configurées pour réaliser un appel et un retour de ladite au moins une fonction, les instructions d’appel de ladite au moins une fonction comportant une instruction configurée pour stocker une adresse de retour dans une pile d’appel, et au moins une instruction additionnelle configurée pour dupliquer ladite adresse de retour dans ledit circuit de mémoire (CMEM) du système informatique (SYS), et les instructions de retour de ladite au moins une fonction comportant une instruction configurée pour réaliser un branchement à partir de l’adresse de retour stockée dans la pile d’appel, et au moins une instruction additionnelle configurée pour comparer la valeur de l’adresse de retour stockée dans la pile d’appel à la valeur de l’adresse de retour dupliquée dans ledit circuit de mémoire (CMEM) et pour permettre d’effectuer ledit branchement uniquement si ces deux valeurs sont identiques. Produit programme d’ordinateur selon la revendication 7, dans lequel ladite au moins une instruction additionnelle configurée pour dupliquer ladite adresse de retour est configurée pour stocker la valeur dupliquée de l’adresse de retour dans un registre (REG1) dudit circuit de mémoire (CMEM). Produit programme d’ordinateur selon l’une quelconque des revendications 7 ou 8, comprenant en outre des instructions qui permettent de stopper l’exécution du programme (PRG) ou d’effectuer le branchement de retour selon la valeur dupliquée de l’adresse de retour si l’exécution de ladite au moins une instruction additionnelle de retour de fonction permet de détecter que la valeur de l’adresse de retour dans la pile d’appel est différente de la valeur dupliquée de l’adresse de retour dans le circuit de mémoire. Produit programme d’ordinateur selon l’une des revendications 7 à 9, dans lequel les instructions d’appel de ladite au moins une fonction comprennent en outre au moins une instruction additionnelle configurée pour dupliquer une valeur d’un pointeur de pile d’appel définie lorsque l’adresse de retour est ajoutée à la pile d’appel, et dans lequel les instructions de retour de ladite au moins une fonction comprennent au moins une instruction additionnelle configurée pour comparer la valeur du pointeur de pile d’appel définie lors d’une récupération de l’adresse de retour de la pile d’appel pour réaliser ledit branchement à la valeur du pointeur de pile d’appel dupliquée dans ledit circuit de mémoire (CMEM) et pour permettre d’effectuer ledit branchement uniquement si ces deux valeurs sont identiques. Produit programme d’ordinateur selon la revendication 10, dans lequel ladite au moins une instruction additionnelle configurée pour dupliquer une valeur d’un pointeur de pile d’appel est configurée pour stocker cette valeur dans un registre (REG2) du circuit de mémoire (CMEM). Produit programme d’ordinateur selon l’une quelconque des revendications 10 ou 11, comprenant en outre des instructions qui permettent de stopper l’exécution du programme ou d’effectuer le branchement de retour selon la valeur dupliquée de l’adresse de retour si l’exécution de ladite au moins une instruction additionnelle de retour de fonction permet de détecter que la valeur du pointeur de pile lors du retour est différente de la valeur dupliquée du pointeur de pile. Procédé mis en œuvre par un ordinateur comprenant une exécution d’un produit programme d’ordinateur selon l’une des revendications 7 à 12. Procédé mis en œuvre par un ordinateur de génération d’un programme d’ordinateur (PRG), le procédé comprenant une génération d’instructions qui, lorsque le programme est exécuté par un processeur d’un système informatique, conduisent celui-ci à exécuter au moins une fonction configurée pour recevoir des données depuis l’extérieur du système informatique, lesdites instructions comprenant des instructions configurées pour réaliser un appel et un retour de ladite au moins une fonction, les instructions d’appel de ladite au moins une fonction comportant une instruction configurée pour stocker une adresse de retour dans une pile d’appel, les instructions de retour de ladite au moins une fonction comportant une instruction configurée pour réaliser un branchement à partir de l’adresse de retour stockée dans la pile d’appel, le procédé comprenant également : - un ajout d’au moins une instruction additionnelle d’appel de ladite au moins une fonction, ladite au moins une instruction additionnelle d’appel étant configurée pour dupliquer ladite adresse de retour dans un circuit de mémoire du système informatique pour l’appel de ladite au moins une fonction, - un ajout d’au moins une instruction additionnelle de retour de fonction, ladite au moins une instruction additionnelle de retour de fonction étant configurée pour comparer la valeur de l’adresse de retour stockée dans la pile d’appel à la valeur de l’adresse de retour dupliquée dans ledit circuit de mémoire (CMEM) du système informatique (SYS) et pour permettre d’effectuer ledit branchement uniquement si ces deux valeurs sont identiques. Procédé selon la revendication 14, dans lequel ladite au moins une instruction additionnelle configurée pour dupliquer ladite adresse de retour est configurée pour stocker la valeur dupliquée de l’adresse de retour dans un registre (REG1) dudit circuit de mémoire (CMEM). Procédé selon l’une des revendications 14 ou 15, comprenant en outre un ajout d’instructions qui permettent de stopper l’exécution du programme ou d’effectuer le branchement de retour selon la valeur dupliquée de l’adresse de retour si l’exécution de ladite au moins une instruction additionnelle de retour de fonction permet de détecter que la valeur de l’adresse de retour dans la pile d’appel est différente de la valeur dupliquée de l’adresse de retour dans le circuit de mémoire. Procédé selon la revendication 14 à 16, comprenant en outre : - un ajout d’au moins une instruction additionnelle d’appel de ladite au moins une fonction configurée pour dupliquer une valeur d’un pointeur de pile d’appel définie lorsque l’adresse de retour est ajoutée à la pile d’appel, et - un ajout d’au moins une instruction additionnelle de retour de ladite au moins une fonction configurée pour comparer la valeur du pointeur de pile d’appel définie lors d’une récupération de l’adresse de retour de la pile d’appel pour réaliser ledit branchement à la valeur du pointeur de pile d’appel dupliquée dans ledit circuit de mémoire (CMEM) et pour permettre d’effectuer ledit branchement uniquement si ces deux valeurs sont identiques. Procédé selon la revendication 17 dans lequel ladite au moins une instruction additionnelle configurée pour dupliquer une valeur d’un pointeur de pile d’appel est configurée pour stocker cette valeur dans un registre (REG2) du circuit de mémoire (CMEM). Procédé selon l’une quelconque des revendication 17 ou 18, comprenant en outre un ajout d’instructions qui permettent de stopper l’exécution du programme (PRG) ou d’effectuer le branchement de retour selon la valeur dupliquée de l’adresse de retour si l’exécution de ladite au moins une instruction additionnelle de retour de fonction permet de détecter que la valeur du pointeur de pile lors du retour est différente de la valeur dupliquée du pointeur de pile. Produit programme d’ordinateur comprenant des instructions qui, lorsque le programme est exécuté par un ordinateur, conduisent celui-ci à mettre en œuvre un procédé selon l’une des revendications 14 à 19.