Brevet FR2824646A1 — publié le 20021115

venturi comporte un manchon déformable sous l'effet des variations de pressions. PROCEDE DE SELECTION D'UNE IMAGE DE LOGICIEL EXECUTABLE DESCRIPTION Domaine technique L' invention concerne un procédé de sélection et lancement d'une image, c'est à dire de la copie d'un logiciel exéautable, par exemple pour traiter une réception d'une émission de télévision numérique. Elle se situe plus particulièrement dans le domaine des décodeurs de télévision numérique. Etat de la technique Les décodeurs actuels de télévision numérique ont un logiciel résident, image d'un logiciel exéautable, qui est exécuté par exemple chaque fois que le décodeur est mis en route. Cette image permet le traitement d'émissions reques par le décodeur de façon à transformer le signal numérique requ en un signal vidéo au sens large, c'est à dire en un signal contenant une image, des sons, des signaux de synchronisation mais aussi éventuellement, du texte et d'une façon générale un ensemble d'informations pouvant être transformées en signaux sensibles pour un utilisateur d'une station terminale comprenant le décodeur. Le logiciel résident peut être stocké dans une mémoire du décodeur. Il peut aussi être chargé dans une telle mémoire à partir du flux d'informations requ par le décodeur. L'exécution du logiciel résident ou chargé ou le chargement éventuel à partir d'un flux SP 18946 GB numérique requ, est rendu possible par la présence d'un logiciel d'amorçage et d'un logiciel de chargement. Ces logiciels d'amorçage et de chargement comportent un jeu initial d' instructions renvoyant à une adresse de début du logiciel résident. Le logiciel de chargement amorcé par le logiciel d'amorçage vérifie la présence du logiciel résident et son intégrité. Il comporte des instructions permettant de charger si nécessaire, et lancer un logiciel exécutable à partir du flux numérique requ par le décodeur dans le cas d'un retour d' information signalant qu'aucune image n'est présnte dans l'un des moyens de stockage du décodeur. Si la précence d'une image intègre est vérifiée, ou après chargement éventuel à partir du flux numérique, le logiciel de chargement permet de charger un logiciel résident dans une zone de mémoire permettant son exéaution puis de l'exécuter. Le logiciel résident est exécuté pour décoder les émissions reques. L' ensemble du logiciel résident y compris les logiciels d'amorçage et de chargement sont logés dans une mémoire du décodeur. Les logiciels d'amorçage et de chargement sont stockés dans une partie de mémoire non effaçable ou de préférence protégée de facon logicielle en effacement. Le logiciel exécutable résident est logé dans une partie effagable de la mémoire. En cas de chargement du logiciel résident à partir du flux numérique d'informations requ par le décodeur, le logiciel requ vient écraser le logiciel résident se trouvant éventuellement dans la zone de mémoire effagable prévue pour stocker ladit logiciel. Le logiciel de chargement permet également de charger à SP 18946 GB partir du flux numérique une nouvelle image ou une mise à j our d'une image résidente. Brève description de l' invention Dans l'état actuel de la technique il n'est prévu de stocker qu'une seule image de logiciel exécutable. Ce logiciel qu'il ait été préalablement chargé à partir du flux diffusé ou qu'il soit récident est exécuté à partir de la mémoire o il est chargé pour être exéauté. Selon la présente invention, il est prév de stocker plusieurs images de logiciels exécutables dans le décodeur. L' invention est donc relative à un procédé pour, à partir du logiciel d'amorcage et de chargement fourni avec le décodeur par le fabricant du décodeur, - sélectionner l'une des images de logiciel exécutable parmi des images de logiciel stockées dans le décodeur sur une mémoire du décodeur, - décompresser l' image du logiciel sélectionné si l' image du logiciel sélectionné est stockée sous une forme compressée, - charger si nocessaire l' image du logiciel sélectionné à partir de la mémoire o elle est stockée, dans une mémoire permettant son exécution, par exemple de la charger dans une mémoire rapide si l' image du logiciel sélectionné se trouve initialement stockée dans un disque dur, - enfin de lancer l' image du logiciel sélectionné. Bien entendu le procédé selon l 'invention permet touj ours comme dans l'art antérieur de charger un exéautable à partir du flux, s'il n'y a pas d' image SP 18946 GB de logiciel exécutable disponible dans une mémoire du décodeur ou si ltimage disponible n'est pas intègre ou encore s'il s'agit d'une version périmée qu'il est nécessaire de remplacer. En résumé l' invention est relative à un procédé utilisable par exemple dans un décodeur numérique d'émissions de télévision pour sélectionner et lancer une image d'un logiciel exécutable, le procédé comportant la mise en route d'un logiciel d'amorçage auto-exécutable pour lancer une image, procédé caractérisé en ce que le logiciel d'amorçage e de chargement prévoit les étapes ci-après: c) la consultation d'une table référençant dans un ordre prédéterminé un nombre entier n, d' images de logiciels exéautables, s) la sélection d'une image intègre de logiciel exécutable, 1) le lancement de l' image sélectionnce pour exécution. De préférence avant l'étape c) il est prévu une étape vl) de vérification que la table des logiciels d'amorçage est présente et intègre. En règle générale, préalablement à lexéaution du procédé selon l' invention on aura constitué la table de références contenant un nombre entier n de références, chaque référence de la table renvoyant de façon univoque à une des n images stockées dans une zone mémoire, le logiciel d'amorçage auto-exéautable renvoyant à ladite table de logiciels d'amorçage, puis selon une routine effectuée à chaque mise en route ou à chaque réinitialisation du décodeur: SP 18946 GB vl) on vérifie que la table des logiciels d'amorçage est précente et intègre, p) on paraourt la table selon un ordre prédéterminé de façon à atteindre les références de la table dans l'ordre de préférence des images stockées auxquelles chaque référence de la table correspond, v2) on vérifie que l' image correspondant à la première référence de la table atteinte par le paraours de la table est intogre, l) si l' image vérifiée à l'étape v2) est intègre on charge éventuellement ladite image e on lance l'exéaution de cette image, e) si l' image n'est pas intègre alors on sélectionne la référence courante de la table suivant dans l'ordre de parcours prédéterminé, la référence précédente, et on effectue les étapes v2), et éventuellement 1) si l' image courante est intègre, si elle ne l'est pas on recommence à nouveau l'étape e) pour la référence suivante dans l'ordre de paraours de la table, et ce jusqu'à ce qu'une image intogre soit trouvoe. De préférence les n images sont réparties en deux parties, une première partie composoe d'un nombre entier d' images (n-m) logées dans des parties de mémoire effapables et une seconde partie complémentaire de la première composée d'un nombre entier d' images m inférieur ou égal à n logée sur des parties de mémoire non effagable ou protogées en effacement. Dans ce cas, de préférence on exéaute les étapes de sélection s) de référence, de vérification d'intégrité v2) tout d'abord pour les (n-m) images contenues dans les zones mémoire non protégées en SP 18946 GB effacement, puis si aucune de ces images n'est intègre, pour les m images contenues dans les zones mémoire non effaçables ou protégées en effacement. De prétérence les m images stockées sur des zones mémoire non effaçables ou protégées en effacement sont stockées sur des médias différents les uns des autres en sorte qu'il y a au maximum une image protégée en effacement sur chaque médium, par exemple une image sur un disque dur et une image sur une mémoire rapide. Si la table n'est pas intègre ou si après parcours total de la table et vérification v2) tout d'abord des (n-m) images stockées en zone mémoire non protégée en effacement il s'avère qu'aucune de ces images n'est intègre alors on effectue ensuite à nouveau les étapes s) de sélection, v2) de vérification et éventuellement de chargement puis l) de lancement, pour les m images stocLées en zone protagées en effacement, ces m images étant paraourues dans un ordre prédéterminé correspondant à un ordre de préférence. Dans l'étape préalable à l'exéaution du procédé de constitution de la table de références on charge dans le décodeur un nombre entier n d' images en les répartissant de préférence en (n-m) images stockées dans des zones de mémoire non protégées en effacement et m images stockées dans des zones de mémoire protogées en effacement, à raison de une image par médium de stockage. Selon un mode de réalisation les zones de mémoire protégées en effacement o sont stockées les m images sont des zones mémoire d'un disque dur. Selon un mode de réalisation, préalablement au chargement de l'une des images pour exéaution, il est SP 18946 GB vérifié que cette image n'est pas stockée sous un mode compressé, l' image étant décompressée avant d'être éventuellement chargée et exécutée s'il s'avère qu'elle est compressce. Brève description des dessins Un mode de réalisation de l' invention sera maintenant explicité à l' aide des dessins annexés dans lesquels, - la figure 1 est une vue schématique d'une mémoire rapide et de son contenu relatif au logiciel résident exéautable selon l'art antérieur, - la figure 2 représente une mémoire rapide et une mémoire de stockage et leurs contenus respectifs selon un mode de réalisation de la présente invention, - la figure 3 est une vue schématique des moyens de stockage d' information d'un décodeur incorporant l 'invention. - la figure 4 est un organigramme des étapes du procédé selon l 'invention pour sélectionner puis charger éventuellement et lancer l'une des images de logiciel exéautable chargée dans l'un des moyens de stockage du décodeur. Description d'un mode de réalisation. Un mode de réalisation de la présente invention sera maintenant décrit en référence aux dessins annexés. Tout d'abord en référence à la figure 1, l'état antérieur de l'art sera rappelé. Dans une mémoire rapide 10 d'un décodeur, par exemple une mémoire de type "flash", telle que chargée SP 18946 GB selon l'art antérieur, une première partie 1 non effaçable ou protogée en effacement contient un logiciel d'amorçage et un logiciel de chargement. Ces logiciels d'amorçage et de chargement sont conçus et chargés par un fabricant d'un décodeur. Une partie 2 de la mémoire contient dautres informations qui n'intéressent pas la présente invention. Une partie 3 effaçable ou non protégée en effacement de la mémoire 10 contient une image résidente d'un logiciel exéautable. _ Le fonctionnement est le suivant. Le logiciel d'amorçage est auto-exécuté lorsque le décodeur passe dun état éteint à un état veille ou allumé, ou encore en cas de réinitialisation. Ainsi par exemple à la mise en route du décodeur le logiciel diamorçage délivre une instruction pour lancer le logiciel de chargement. Ce dernier vérifie la présence et l'intégrité de limage de logiciel exéautable stockée dans la partie 3 de la mémoire. Les moyens logiciels pour contrôler cette intégrité sont en eux-mêmes connus. Il peut s'agir par exemple d'un contrôle de somme ou encore d'une vérification du code de redondance longitudinal (Longitudinal Redundancy Code LRC). Si le résultat de la vérification indique qu'il y a bien une image de logiciel chargée en zone 3 et que cette image chargée en zone 3 est intègre, alors le logiciel d'amorçage lance l'exécution dudit logiciel exécutable stockée dans la zone 3 de la mémoire. Si le résultat de la vérification indique qu'il n'y a pas de logiciel en zone 3 ou que le logiciel chargé en zone 3 n'est pas intègre, alors le logiciel d'amorçage et de SP 18946 GB chargement lance le chargement à partir du flux, d'une image d'un logiciel exécutable. L' image chargée à partir du flux vient alors écraser éventuellement limage non intègre se trouvant dans la zone 3. Par rapport à cet état de la technique, il est prévu selon un mode de réalisation de linvention plusieurs images de logiciels exéautables stockées sur différents moyens de stockage par exemple une mémoire rapide, un disque dur ayant une partie non effaçable et une partie effaçable, ces exemples n'étant pas limitatifs. Chacune des images exéautables peut etre amorcce (boot). Il en résulte que le logiciel damorçage renvoie à une table 16 de références représentée symboliquement figure 2. La table 16 contient autant de références que d' images de logiciels exécutables du décodeur. Sur la figure 2 on a représenté le cas o n = 5 et m = 2. Dans cet exemple, il y a 4 images de logiciels exécutables en plus de l' image unique tel que prévu dans l'art antérieur. Il peut y avoir par exemple une image dans une zone mémoire protégée en effacement d'un disque dur, une image dans une zone protégée en effacement d'une mémoire rapide et trois images dans des zones non protégées en effacement du disque dur ou dune mémoire rapide. Les références ou adresses respectives de renvoi vers la première instruction de chacune de ces images sont stockées dans des zones 11, 12, 13, 14 et faisant partie d'une zone 4 de la mémoire par exemple rapide 10. Ainsi par exemple les zones 11-13 peuvent renvoyer à des adresses sur des zones mémoire de disque dur non protégée en effacement, et les zones 14 et 15 vers des adresses de zones mémoire non SP 18946 GB effaçable ou protogées en effacement d'un disque dur ou dune mémoire rapide respectivement. D'un point de vue désignation la référence 4 désigne le support matériel de la table 16. La référence 16 désigne le contenu informationnel dans la zone mémoire 4. Comme dans l'art antérieur la zone 1 de la mémoire rapide 10 contient le logiciel d'amorçage et le logiciel de chargement fourni habituellement avec le décodeur. Conformément à la précente invention la mémoire rapide 10 a une zone mémoire 1' contenant un logiciel de sélection et de chargement d' image permettant la réalisation du proédé selon l' invention. Un exemple d'un système matériel destiné à constituer le support matériel de l' invention est représenté figure 3. Une mémoire rapide (flash) 10, une mémoire à accès aléatoire 30, et un disque dur 20 sont reliés entre eux et à une unité centrale 40 par l'intermédiaire d'un bus 50. Le disque dur 20 a une zone 21 protégée en effacement et une zone 22 non protogée en effacement. La zone 22 non protogée en effacement loge une première, une seconde, une troisième image de logiciel exéautable dans des zones , 26, 27 respectivement de la zone 22. Une zone 28 non utilisée pour la présente invention contient dautres donnces ou une partie vide. La zone 21 protégée en effacement a une zone 23 contenant une quatrième image d'un logiciel exéautable. Une zone 24 de la zone 21 non utilisée pour la présente invention contient d'autres données ou une partie vide. Lorsque l'une des quatre images de logiciel stockées a été sélectionnée par le logiciel de chargement et lancement SP 18946 GB stocké en zone 1' cette image est chargée si elle n'est pas exécutable directement à partir de son support, par exemple, dans une partie 31 de la mémoire à accès aléatoire 30. Le logiciel de sélection et de chargement d' image stocké en zone 1' sera maintenant décrit en référence à la figure 4. Il est tout d'abord rappelé que le logiciel exécutable de sélection et de chargement est appelé par le logiciel d'amorgage stocké en zone 1, pour être chargé si cela est nocessaire pour l'exécution,_ par exemple dans une mémoire RAM, et exécuté. Dans le cas décrit en relation avec la figure 2 o la zone 1 est une zone d'une mémoire rapide, le logiciel de chargement et de sélection peut être exécuté directement à partir de son support. Ce logiciel d'amorcage est concu et chargé dans le décodeur par un fabricant du décodeur. La nécessité de s' adapter aux décodeurs tels qu'ils existent actuellement conduit à adapter l' architecture logicielle décrite dans laquelle il est renvoyé au logiciel chargé dans la zone 1'. Il est clair qu'avec des décodeurs concus pour être adaptés à l' invention l' architecture logicielle pourra être différente, l'essentiel étant que les fonctions qui vont être décrites soient prévues. Le procédé selon l 'invention est initié après que le logiciel d'amorcage livré avec le décodeur ait appelé le logiciel contenu en zone 1' de sélection et éventuellement de chargement d'exécutable selon la présente invention. Ainsi, selon une première modification par rapport à l'art antérieur, l'adresse SP 18946 GB d' instruction spécifiée par le logiciel d'amorçage pour vérifier la présence et lintégrité du logiciel résident ne correspond plus à cette première instruction mais à une instruction de renvoi au logiciel selon l' invention. Selon une première étape vl) représentée en 101, il est vérifié que la table 16 est intègre et contient au moins une adresse pour une image de logiciel exécutable et qu'il s'agit d'une adresse fiable. Si ce nest pas le cas on passe à l'étape 102 o il est vérifié que l' image de logiciel exéautable stockée dans la zone 23 protégée en effacement du disque dur 20 est précente et intègre. Si la vérification opérce à l'étape 102 révèle que l' image de logiciel exécutable stockée dans la zone 23 protégée en effacement du disque dur 20 est présente et intègre, alors cette image est éventuellement chargée à une étape 103 par exemple dans la mémoire à accès aléatoire 30, en zone 31 pour étre lancoe en exécution à une étape 104. Si la vérification opérée à l'étape 102 révèle que l' image de logiciel exéautable stockée dans la zone 23 protogée en effacement du disque dur 20 n'est pas présente ou n'est pas intègre, alors on passe à l'étape o il est vérifié que limage de logiciel exécutable stockée dans la zone 3 protégée en effacement de la mémoire rapide 10, est présente et intègre. En cas de vérification positive les étapes 103 et 104 sont exécutées. De facon générale si la table 16 n'est pas intègre ou si aucune des images désignées par la table SP 18946 GB n'est intègre on parcourt dans un ordre prédéterminé les m images stockées dans les zones protégées en effacement pour sélectionner et charger la première de ces images qui est trouvée intogre. Si la vérification vl effectuée à l'étape 101 est positive, c'est à dire si la table 16 est intègre et contient une première adresse pour une image d'un logiciel exécutable on passe à l'étape v2 106 o il est vérifié que la première image de logiciel exécutable stockée en zone 25 non protégée en effacement du disque dur 20, est présente et intègre. Si cette vérification est positive on passe aux étapes 103 puis 104. Si la vérification effectuée à l'étape 106 est négative, l' image suivante de la table 16 est sélectionnce à une étape 107. La même vérification qu'à l'étape 106 est effectuce à létape 108 pour la deuxième image de logiciel exécutable stockée en zone 26 non protégée en effacement du disque dur 20. Si cette vérification est positive on passe aux étapes 103 puis 104. Si la vérification effectuée à l'étape 108 est négative on revient à l'étape 107 o la même vérification est faite pour la troisième image de logiciel exéautable stockée en zone 27 non protogée en effacement du disque dur 20. On recommence les étapes 107 et 108 pour chacune des images jusqu'à trouver une image intogre. Après une vérification positive à létape 108, on passe aux étapes 103 puis 104 de façon à ce que la troisième image ou de facon générale, la première image trouvée intogre dans un ordre de parcours prédéterminé de la table 16 soit exécutée. SP 18946 GB De façon générale si la table 16 est intogre alors on parcours la table pour sélectionner la première image intègre désignce par la table. Le procédé qui vient d'être décrit permet de sélectionner, et éventuellement charger si nécessaire, puis lancer, parmi les images de logiciels exéautables disponibles au niveau du décodeur, l' image préférée tout d'abord parmi les images stockées dans des zones -27 non protégées en effacement du disque dur 20 puis parmi celles situées dans des zones 23, 3 protégées en effacement du disque dur 20 ou de la mémoire rapié 10 respectivement. Dans l'exemple commenté en relation avec les figures 2-4, les images préLérces sont dans l'ordre de préférence décroissant, les première deuxième troisième image et éventuellement d'autres si elles existent selon un ordre de préférence prédéterminé stockées en zones non protégées en effacement du disque dur 20 puis les images stockées en zones protogées en effacement du disque dur 20 puis de la mémoire rapide 10 respectivement. Si aucune image de logiciel exéautable n'est intègre alors comme dans l'art antérieur il y a selon une bouc le non représentée figure 4 retour au logic iel d'amorcage, qui de façon connue lance le chargement d'un logiciel exécutable à partir du flux numérique requ par le décodeur. De façon optionnelle s'il est prévu de stocker ou de charger à partir du flux des images sous une forme compressée alors avant l'étape 103 de chargement de 1' image sélectionnce en RAM, il est prévu une étape 109 de vérification de l'état de compression de l' image sélectionnée. Si l' image n'est pas compressoe alors on SP 18946 GB passe directement à l'étape 103. Si l' image est compressée par example au moyen d'un code ZIP alors on passe à l'étape 103 par l'intermédiaire d'une étape 110 de décompression. Un tableau annexé à la présente description donne le texte figurant dans chacune des cases de l'organigramme représenté figure 4. SP 18946 Go ANNEXE 101 102 Y a-il une adresse dimage L' image de logiciel en zone de logiciel exéautable dans protégées du disque dur la table de logiciel est-elle intègre? d'amorcage ou la table de logiciel d'amorcage est elle intogre? 103 104 Charger éventuellement Lancer 1' image de log-ciel l' image de logiciel exéautable sélectionné exécutable sélectionné en mémoire RAM 106 L' image de logiciel La première image de exéautable en zone protégée logiciel intègre du disque de la mémoire rapide est- dur est-elle intègre? elle intègre? 107 108 Sélectionner l' image L' image de logiciel suivante de la table. exécutable suivante est elle intogre? 109 110 L' image sélectionnce est- Décompresser l' image elle compressce? sélectionnée SP 18946 GB REVENDICATIONS 1. Procédé utilisable dans un décodeur de télévision numérique pour sélectionner et lancer une image d'un logiciel exécutable, le procédé comportant la mise en route d'un logiciel d'amorgage auto- exécutable pour lancer une image, procédé caractérisé en ce que le logiciel d'amorgage et de chargement prévoit les étapes ci-après: c) la consultation d'une table (16) référençant dans un ordre prédéterminé un nombre entier n supérieur ou égal à 1, d' images de logiciels exécutables, s) la sélection d'une image intègre de logiciel exécutable, l) le lancement de l' image sélectionnée pour exécution. 2) Procédé selon la revendication 1 caractérisé en ce que avant l'étape c) il est prévu une étape vl) vérification (101) que la table (16) des logiciels d'amorgage est présente et intègre. 3) Procédé selon l'une des revendications 1 ou 2 caractérisé en ce que les étapes c) de consultation et s) de sélection comportent p) le parcours (106-108) de la table (16) selon l'ordre prédéterminé de façon à atteindre les références de la table dans un ordre de préférence des images de logiciels exécutables auxquels chaque référence correspond, SP 18946 GB v2) la vérification (106) qu'une première image sélectionnce correspondant à la première référence de la table (16) atteinte par le parcours de ladite table, est intègre, la sélection de ladite première image n'intervenant que si la vérification (106) dintégrité de ladite première image est positive. e)si la première image ou une image vérifiée précédente n'est pas intègre passage à la référence de la table (16) suivant dans l'ordre de paraours prédéterminé la référence précédente, et exécution des étapes s) (107), et éventuellement 1) (108) si l' image vérifiée courante est intègre, si elle ne l'est pas reprise à nouveau de l'étape e) pour la référence suivante dans l'ordre de parcours de la table (16), et ce jusqu'à ce qu'une image intègre soit trouvée, et lancée. 4. Procédé selon la revendication 2, caractérisé en c e que l es n images sont réparti es en deux parties, une première partie (n-m) logées dans des parties (25-27) de mémoires effacables et une seconde partie complémentaire de la première composée d'un nombre entier d' images m inférieur ou égal à n logée sur des parties de mémoire (3, 23) non effaçable ou protogées en effacement. 5. Procédé selon la revendication 3, caractérisé en ce que les n images sont réparties en deux parties, une première partie (n-m) logées dans des parties (25-27) de mémoire effacables et une seconde partie complémentaire de la première composée d'un nombre entier m d' images inférieur ou égal à n logée SP 18946 GB sur des parties de mémoire (3, 23) non effaçable ou protégées en effacement. 6). Procédé selon l'une des revendications 4 ou 5, caractérisé en ce que les références de la table (16) correspondant aux (n-m) images contenues dans les zones mémoire (25-27) non protogées en effacement sont parcourues en premier, puis si aucune de ces images n'est sélectionnée, le parcours se poursuit pour les m images contenues dans les zones mémoire (3, 23) non effaçables ou protégées en effacement. _ 7. Procédé selon la revendication 4, caractérisé en ce que lorsque la vérification effectuce à l'étape vl) montre que la table (16) n'est pas intègre on exécute les étapes s), v2) et éventuellement l) pour les m images contenues dans les zones mémoire (3, 23) non effaçables ou protégées en effacement. 8. Procédé selon l'une des revendications 4 à 7, caractérisé en ce que les m images stockées sur des zones mémoire (3, 23) non effaçables ou protégées en effacement sont stockées sur des médias (10, 20) différents les uns des autres. 9. Procédé selon l'une des revendications 4 à 8, caractérisé en ce que les zones (25-27) de mémoire non protégées en effacement o sont stockées les (n-m) images appartenant à la première partie sont des zones mémoire sur disque dur (20). SP 18946 GB 10. Procédé selon l'une des revendications 4 à 9, caractérisé en ce que les zones de mémoire (23, 3) protogées en effacement o sont stockées les m images appartenant à la seconde partie sont des zones mémoire (23, 3) de disque dur (20) ou de mémoire rapide (10). 11. Procédé selon l'une des revendications 1 à , caractérisé en ce que préalablement au lancement de lune des images pour exécution, il est vérifié (109) que cette image n'est pas stockée sous un mode compressé, l' image étant décompressée (110) avant dêtre chargée et exécutée (103, 104) s'il s'avère qu'elle est compressée. 12. Procédé:seIon I'une des revendications 4 à 7, caractérisé en ce que dans une étape préalable à l'exéaution du procédé on charge un nombre entier n dimages que l'on répartit en une première partie contenant (n-m) images stockées dans des zones de mémoire (25-27) non protogées en effacement et en une seconde partie contenant m images stockées dans des zones de mémoire (3, 23) protogées en effacement, et en ce que l'on constitue la table (16) de référence pour les n images. 13. Décodeur de télévision numérique implémentant le procédé selon l'une des revendications précédentes.