Procédé comprenant : - exécuter, par un dispositif électronique (100), un premier micrologiciel mémorisé dans une mémoire volatile (113) du dispositif électronique, l’exécution du premier micrologiciel amenant une clé de micrologiciel mise à jour (130) à être mémorisée dans une mémoire non volatile (124) du dispositif électronique ; - télécharger un deuxième module de micrologiciel chiffré dans le dispositif électronique ; - déchiffrer le deuxième module de micrologiciel chiffré par un processeur cryptographique (108) du dispositif électronique sur la base de la clé de micrologiciel mise à jour ; et - installer le deuxième module de micrologiciel déchiffré dans la mémoire volatile du dispositif électronique en écrasant au moins partiellement le premier micrologiciel. Procédé selon la revendication 1, comprenant en outre, avant l’exécution du premier micrologiciel : - télécharger le premier module de micrologiciel chiffré dans le dispositif électronique (100) ; et - déchiffrer le premier module de micrologiciel chiffré par le processeur cryptographique (108) du dispositif électronique sur la base d’une clé de micrologiciel initiale (131). Procédé selon la revendication 1 ou 2, dans lequel le deuxième module de micrologiciel chiffré est téléchargé par l’intermédiaire d’une interface (102) du dispositif électronique (100), et la mémoire volatile (113) n’est pas directement accessible par l’interface, mais seulement par l’intermédiaire du processeur cryptographique (108). Procédé selon la revendication 2 ou 3, dans lequel la clé de micrologiciel initiale (131) est mémorisée dans la mémoire non volatile (124). Procédé selon la revendication 2 ou 3, dans lequel la clé de micrologiciel initiale (131) est mémorisée par une configuration matérielle (132) du dispositif électronique (100). Procédé selon l’une quelconque des revendications 1 à 5, comprenant en outre, après le déchiffrement du deuxième module de micrologiciel, une vérification que le deuxième module de micrologiciel a un format et/ou un contenu attendus. Procédé selon l’une quelconque des revendications 1 à 6, dans lequel le premier et/ou le deuxième module de micrologiciel comprennent un champ de vérification de redondance cyclique (CRC) mémorisant une valeur de CRC, le procédé comprenant en outre une vérification de la valeur de CRC par un module CRC du circuit électronique (100). Procédé selon la revendication 6 ou 7, dans lequel la vérification est basée sur une comparaison entre au moins une partie du code du premier et/ou du deuxième module de micrologiciel et une valeur de référence. Procédé selon l’une quelconque des revendications 6 à 8, dans lequel le dispositif électronique (100) comprend un module de traitement (123), le procédé comprenant d’arrêter l’alimentation du module de traitement pendant le téléchargement, le déchiffrement et/ou la vérification du deuxième module de micrologiciel. Procédé selon l’une quelconque des revendications 1 à 8, comprenant en outre, après l’exécution du premier micrologiciel, la désactivation de la clé de micrologiciel initiale (131). Procédé selon l’une quelconque des revendications 1 à 10, comprenant en outre, après l’exécution du premier micrologiciel, le chiffrement du premier micrologiciel par le processeur cryptographique (108) sur la base de la clé de micrologiciel mise à jour (130). Procédé selon l’une quelconque des revendications 1 à 11, dans lequel, après l’installation du deuxième micrologiciel, le téléchargement d’un nouveau module de micrologiciel déclenche une incrémentation d’une valeur de compte (400) mémorisée dans la mémoire non volatile (124). Procédé selon la revendication 12, comprenant en outre l’autorisation d’installer le nouveau micrologiciel sur la base d’une comparaison entre une valeur contenue dans le nouveau module de micrologiciel et la valeur de compte (400). Procédé selon l’une quelconque des revendications 1 à 13, dans lequel le processeur cryptographique (108) est agencé pour effectuer une cryptographie à courbes elliptiques pour déchiffrer le premier et/ou le deuxième module de micrologiciel chiffré. Dispositif électronique (100) comprenant : - une mémoire volatile (113) comprenant un premier micrologiciel ; - une mémoire non volatile (124) agencée pour mémoriser une clé de micrologiciel mise à jour (130) lors de l’exécution du premier micrologiciel ; - une interface (102) agencée pour télécharger un deuxième module de micrologiciel chiffré ; et - un processeur cryptographique (108) agencé pour déchiffrer le deuxième module de micrologiciel chiffré, sur la base de la clé de micrologiciel mise à jour (130) ; le dispositif électronique étant en outre agencé pour installer le deuxième module de micrologiciel déchiffré dans la mémoire volatile, en écrasant partiellement le premier micrologiciel.