Brevet FR2768256A1 — publié le 19990312

PROCEDE D'ENREGISTREMENT D'UN MOT BINAIRE AU MOYEN DE CELLULES MEMOIRE DU TYPE PROGRAMMABLE ET EFFAÇABLE ELECTR I QUEMENT La présente invention concerne les mémoires EEPROM (Electricaly Erasable and Programmable Read Only Memory), c'est-à-dire les mémoires rémanentes effaçables et programmables électriquement. Les mémoires EEPROM ont connu ces dernières années un important développement en raison de leurs caractéristiques avantageuses. En effet, ces mémoires peuvent être programmées ou effacées à volonté par application d'une haute tension Vpp, généralement de l'ordre de 15 à 20 V. Une fois programmées, elles conservent une information indéfiniment, sans alimentation électrique. En raison de ces propriétés, les mémoires EEPROM représentent le moyen préféré pour l'enregistrement de données d'identification ou transaction dans les circuits intégrés montés sur des supports portables, par exemple les circuits intégrés des cartes à puce ou des étiquettes électroniques. Toutefois, ces circuits intégrés ne sont généralement pas protégés contre des coupures intempestives de leur tension d'alimentation Vcc, qui peuvent se produire suite à une erreur de manipulation de l'utilisateur (par exemple le fait de retirer soudainement une carte à puce du lecteur dans lequel elle est insérée) ou une mauvaise réception de l'énergie (notamment quand la tension d'alimentation Vcc est reçue par induction électromagnétique). Comme la haute tension Vpp de programmation ou d'effacement est générée à partir de la tension d'alimentation Vcc, une coupure intempestive de la tension Vcc au cours d'une opération d'enregistrement peut avoir comme conséquence la perte de la donnée en cours d'enregistrement. En effet, dans une mémoire EEPROM, l'enregistrement d'un mot binaire nécessite une étape d'effacement du mot précédemment enregistré, puis une étape d'enregistrement du nouveau mot par programmation à 0 de cellules de la mémoire. Cette particularité d'un enregistrement en deux étapes est bien connue de l'homme de l'art et est inhérente à l'agencement interne, en lignes de mot, des cellules mémoire, les cellules d'une même ligne de mot pouvant être programmées à 0 individuellement mais ne pouvant qu'être effacées collectivement. Rappelons que, par convention, l'état programmé d'une cellule mémoire programmable et effaçable électriquement est considéré comme le "0" logique et correspond à l'absence d'électrons dans une grille flottante. L'état effacé correspond au "1" logique et au stockage d'électrons dans une grille flottante. Ainsi, par exemple, l'enregistrement du mot M = 00110101 à une adresse mémoire comprenant le mot précédent M = 01001101 implique tout d'abord l'effacement du mot précédent, de telle sorte que M = 11111111, puis la programmation à 0 des bits de rang 1, 3, 4 et 7, de telle sorte que M = 00110101. De façon générale, la disparition de la tension d'alimentation Vcc pendant l'enregistrement d'un mot binaire peut intervenir 1) pendant l'effacement du mot précédent (risque d'inscription de données aberrantes), 2) pendant la programmation à 0 des bits du nouveau mot (risque d inscription de données aberrantes), 3) après l'effacement du mot précédent et avant la programmation à 0 des bits du nouveau mot (le nouveau mot autant que le mot précédent sont irrémédiablement perdus). Dans la demande PCT/97FR/00922 la demanderesse a proposé une méthode avantageuse permettant d'achever une opération de programmation ou d'effacement en cours lorsqu'une coupure de la tension d'alimentation Vcc se produit. En résumé, cette méthode consiste, d'une part, à maintenir la haute tension Vpp par une charge de condensateur et, d'autre part, à maintenir les divers chemins électriques conduisant la tension Vpp aux cellules mémoire. Toutefois, cette méthode concerne les cas 1) et 2) ci-dessus et ne permet pas, dans le cas 3), d'entreprendre une opération de programmation. Par ailleurs, dans les circuits intégrés à microprocesseur, il est connu de prévoir, sous forme de logiciel, un système complexe de sauvegarde mémoire permettant de restaurer la mémoire en cas de coupure d'alimentation. Toutefois, cette méthode ne permet pas de retrouver le mot qui devait être inscrit dans la mémoire après l'effacement de l'ancien mot. De plus, cette méthode n'est pas applicable aux circuits intégrés à logique câblée ne comportant pas de microprocesseur (cartes à mémoire, étiquettes électroniques,...). Dans ces derniers circuits, le problème n'est pas géré et est considéré comme un inconvénient inhérent à l'utilisation des mémoires EEPROM. Enfin, la demande EP 618 591 ou son équivalent US 5 473 564 décrit une méthode faisant intervenir une cellule auxiliaire associée à chaque ligne de mot d'une mémoire compteur. La cellule auxiliaire permet de savoir, après une coupure de la tension d'alimentation, qu'un bit d'une ligne de poids fort a été programmé à 0 mais que la ligne de poids inférieur n'a pas été correctement effacée. Cette méthode concerne le comptage d'unités selon la technique du boulier, selon laquelle la programmation à 0 d'un bit d'une ligne de poids fort doit être suivi de l'effacement complet de la ligne de poids inférieur. L'enseignement de ce document n'est pas applicable à la résolution du problème technique général exposé cidessus. Ainsi, un objectif de la présente invention est de prévoir une méthode et un système de mémoire EEPROM permettant d'enregistrer un mot binaire de façon sécurisée au regard des risques de coupure d'une tension alimentation. Un autre objectif de la présente invention est que cette méthode et ce système puissent être mis en oeuvre dans un circuit à logique câblée ne comportant pas de microprocesseur. Par ailleurs, le problème technique exposé cidessus concerne également les compteurs de données réalisés à partir de cellules mémoire programmables et effaçables électriquement, par exemple les compteurs d'unité des cartes à mémoire. Ainsi, encore un autre objectif de la présente invention est de prévoir une méthode et un compteur pour enregistrer une donnée de comptage de façon sécurisée. Pour atteindre ces objectifs, l'idée de l'invention est de prévoir une méthode d'enregistrement rapide en une seule étape ne nécessitant pas l'effacement d'une ligne de mot avant l'enregistrement d'un mot binaire ou d'une donnée de comptage. Plus particulièrement, la présente invention propose un procédé d'enregistrement d'un mot binaire au moyen de cellules mémoire du type programmable et effaçable électriquement organisées en lignes de mot, comprenant une étape préliminaire consistant à prévoir au moins deux lignes de mot pouvant être effacées ou programmées indépendamment l'une de l'autre, une première étape d'enregistrement du mot binaire dans l'une des lignes de mot, une deuxième étape d'effacement de l'autre ligne de mot. Selon un mode de réalisation, les première et deuxième étapes sont simultanées. De préférence, au cours de la première étape d'enregistrement, le mot binaire est enregistré dans une ligne de mot se trouvant dans l'état effacé. Selon un mode de réalisation, le procédé de l'invention comprend en outre une troisième étape d'enregistrement du mot binaire dans la ligne de mot effacée au cours de la deuxième étape, et une quatrième étape d'effacement de la ligne mot dans laquelle a été enregistré le mot binaire au cours de la première étape. Avantageusement, les troisième et quatrième étapes sont simultanées. Selon un mode de réalisation, l'une des lignes de mot est sélectionnée dans une première mémoire programmable et effaçable électriquement, et l'autre ligne de mot est sélectionnée dans une deuxième mémoire programmable et effaçable électriquement. Selon un mode de réalisation, les première et deuxième mémoires comprennent un même nombre de lignes de mot, et les lignes de mot sont sélectionnées, dans chacune des mémoires, à la même adresse. Selon un mode de réalisation, l'une des mémoires comprend un nombre de lignes de mot inférieur au nombre de lignes de mot de l'autre mémoire. On associe une cellule témoin programmable et effaçable électriquement à chacune des lignes de mot d'une mémoire, la cellule témoin d'une ligne de mot est effacée quand la ligne de mot est programmée, la cellule témoin d'une ligne de mot est programmée quand la ligne de mot est effacée. Selon un mode de réalisation, la première étape d'enregistrement est faite en alternance, à chaque nouvel enregistrement d'un mot binaire, dans l'une ou l'autre des lignes de mot. Selon un mode de réalisation, le mot binaire est une donnée de comptage, les lignes de mot sont des lignes de comptage formant, ensemble, un compteur. Selon un mode de réalisation, l'enregistrement d'une nouvelle donnée de comptage est précédé d'une étape de comparaison de la nouvelle donnée de comptage avec une donnée de comptage précédemment enregistrée, et l'enregistrement de la nouvelle donnée de comptage n'est pas effectué si la nouvelle donnée de comptage n'est pas différente de la donnée de comptage précédente selon un sens de modification autorisé du compteur. La présente invention concerne également un système de mémoire programmable et effaçable électriquement, comprenant au moins deux mémoires comprenant chacune au moins une ligne de mot, et des moyens pour effacer une ligne de mot de l'une des mémoires pendant l'enregistrement d'un mot binaire dans une ligne de mot de l'autre mémoire. Selon un mode de réalisation, le système comprend des cellules témoins programmables et effaçables électriquement, associées aux lignes de mot d'au moins une mémoire, des moyens pour programmer la cellule témoin d'une ligne de mot lorsque la ligne de mot est effacée, et effacer la cellule témoin d'une ligne de mot lorsqu'un mot binaire est enregistré dans la ligne de mot. La présente invention concerne également un compteur binaire pour stocker une donnée de comptage, comprenant au moins une première et une deuxième lignes de comptage programmables et effaçables électriquement, pouvant être programmées ou effacées indépendamment l'une de l'autre, des moyens pour enregistrer chaque nouvelle donnée de comptage en alternance dans la première ou la deuxième ligne de comptage, et pour effacer la ligne de comptage comprenant l'ancienne donnée de comptage. Selon un mode de réalisation, les moyens pour enregistrer sont agencés pour effacer la ligne de comptage comprenant l'ancienne donnée de comptage simultanément à l'enregistrement de la nouvelle donnée de comptage dans l'autre ligne de comptage. Selon un mode de réalisation, le compteur comprend des moyens de comparaison de chaque nouvelle donnée de comptage à enregistrer avec une donnée de comptage précédemment enregistrée. Par exemple, les moyens de comparaison sont agencés pour comparer bit à bit la nouvelle donnée de comptage à enregistrer avec la donnée de comptage précédemment enregistrée, en commençant par les bits de poids fort. Selon un mode de réalisation, le compteur comprend des moyens pour lire simultanément les deux lignes de comptage. La présente invention concerne également un compteur binaire pour stocker une donnée de comptage, comprenant au moins deux lignes de comptage programmables et effaçables électriquement, pouvant être programmées ou effacées indépendamment l'une de l'autre, des moyens pour enregistrer une nouvelle donnée de comptage dans .me première ligne comptage, et effacer simultanément une deuxième ligne de comptage comprenant une valeur de comptage précédemment enregistrée. Selon un mode de réalisation, le compteur comprend une pluralité de lignes de comptage de poids croissant pouvant chacune être programmée ou effacée indépendamment de la ligne de comptage de poids immédiatement inférieur. Selon un mode de réalisation, la deuxième ligne de comptage est une ligne de comptage de poids immédiatement inférieur. Ces caractéristiques et avantages ainsi que d'autres de la présente invention seront exposés plus en détail dans la description suivante de la méthode de l'invention, de divers modes de réalisation d'un système de mémoire selon 'tinvention, et de divers modes de réalisation de compteurs d'unités selon l'invention, en relation avec les figures jointes parmi lesquelles - la figure 1 est le schéma électrique d'une mémoire EEPROM classique, - la figure 2 est le schéma électrique d'un premier mode de réalisation d'un système de mémoire EEPROM selon l'invention, - la figure 3 est le schéma électrique detaillé d'un élément du système de la figure 2, - la figure 4 est le schéma électrique d'un deuxième mode de réalisation d'un système de mémoire EEPROM selon l'invention, - la figure 5 est le schéma électrique de cellules témoins selon l'invention, représentées sous forme de blocs en figure 4, - la figure 6 est le schéma électrique d'un compteur boulier selon l'invention, - le figure 7 est le schéma électrique d'un compteur binaire selon l'invention, et - la figure 8 est le schéma logique d'un élément de vérification du compteur de la figure 7. La figure 1 représente, pour fixer les idées, l'architecture d'une mémoire MEM programmable et effaçable électriquement à partir de laquelle on va réaliser un système selon l'invention qui sera décrit plus loin. La mémoire MEM comprend des cellules Ci,j agencées en lignes de mot WLi (lignes horizontales) et lignes de bits BLj (lignes verticales, ou colonnes), "i" étant un indice de ligne de mot et j un indice de ligne de bit. Dans un souci de simplicité, la mémoire MEM représentée ne comprend que neuf cellules Ci,j formant trois lignes de mot WL1, WL2, WL3 et trois lignes de bits BL1, BL2, BL3. Seule la ligne de mot WL1 est représentée en détail sur la figure 1. Chaque cellule mémoire Ci,j comprend un transistor d'accès TAi,j et un transistor à grille flottante TFGi, connecté par son drain D à un transistor d'accès TAi,j. Les sources S de tous les transistors TFGi,j de la mémoire sont connectées à un fil de commande commun AG (ou piste conductrice). Les grilles G des transistors à grille flottante TFGi,j d'une même ligne de mot WLi (même indice i) sont toutes connectées à la source S d'un transistor TWLi de sélection de la ligne de mot WLi Les drains D de tous les transistors TWLi de sélection des lignes de mot sont connectés à un fil de commande commun CG. Les grilles G des transistors d'accès TAi,j d'une même ligne de mot WLi, ainsi que la grille G du transistor de sélection TWLi de la ligne de mot, sont connectées à un fil LWLi de sélection de la ligne de mot WLj. Les drains D des transistors d'accès TAi,j d'une même ligne de bits BLj (même indice j) sont connectés à un fil LBLj d'accès à la ligne de bits BLj. De façon classique, l'effacement d'une ligne de mot WLi est réalisé de la façon suivante - application d'une haute tension Vpp sur le fil LWLi de sélection de la ligne de mot WLi à effacer, - application de la tension Vpp sur le fil de commande CG, - mise à la masse du fil de commande AG, - les fils d'accès LBLj peuvent être laissés à un potentiel flottant, ou connectés à la masse. Dans ce cas, les transistors à grille flottante TFGi,j de la ligne de mot WLi sélectionnée reçoivent la tension Vpp sur leur grille G et la masse sur leur source S. Des charges électriques sont injectées par effet tunnel dans les grilles flottantes, de sorte que les transistors présentent ensuite une tension de seuil VT négative et sont naturellement dans l'état non passant (bloqué) au cours d'une lecture de la mémoire. Par convention, l'état effacé des transistors, c'est-à-dire naturellement non passant, est considéré comme le "1" logique. Par ailleurs, la programmation de cellules mémoire Q,j d'une ligne de mot WL1 se fait de la façon suivante: - application de la haute tension Vpp sur le fil LWLi de sélection de la ligne de mot WLi comprenant des cellules Cri j à programmer, - mise à la masse du fil de commande CG, - le fil de commande AG est porté à un potentiel flottant, - application de la tension Vpp sur les fils LBLj d'accès aux lignes de bits BLj comprenant des cellules devant être programmées. Dans ce cas, les transistors à grille flottante TFGi,j appartenant à la ligne de mot WLi sélectionnée et dont les transistors d'accès TAi,j sont connectés à des fils LBLj recevant la tension Vpp, reçoivent la tension Vpp sur leur drain D et ont leur grille G à la masse. Des charges électriques sont libérées des grilles flottantes. Les transistors présentent ensuite une tension de seuil VT positive et sont naturellement dans l'état passant au cours d'une lecture de la mémoire. Par convention, l'état programmé des transistors, c'est-à-dire naturellement passant, est considéré comme le "0" logique. Les autres transistors TFGi j de la ligne de mot sélectionnée WLi, qui ne reçoivent pas la tension Vpp sur leur drain D, restent dans leur état initial, effacé ou programmé. Ainsi, et comme indiqué au préambule, la programmation de cellules de la mémoire peut être faite individuellement alors que l'effacement est collectif pour les cellules d'une même ligne de mot. L'enregistrement d'un mot binaire dans la mémoire nécessite donc une première étape d'effacement d'une ligne de mot WLi suivie d'une deuxième étape d'enregistrement du mot par programmation à 0 de certains bits de la ligne de mot, choisis en fonction de mot à enregistrer. Premier mode de réalisation de l'invention La figure 2 représente un système 10 de mémoire selon l'invention. Le système 10 comprend la mémoire MEM qui vient d'être décrite et une mémoire auxiliaire XMEM1, ici de même structure que la mémoire MEM. La mémoire XMEM1 comprend des cellules XCi,j agencées en trois lignes de mot XWLi et trois lignes de bits XBLj, des fils de commande XAG, XCG, un fil XLWLi de sélection des lignes de mot XWLi, et un fil XLBLj d'accès aux lignes de bits LBLj. Les deux mémoires sont connectées en parallèle, chaque fil LWLi de sélection d'une ligne de mot de la mémoire MEM étant connectée à un fil XLWLi de sélection d'une ligne de mot de même rang i de la mémoire XMEM1. Les fils de sélection LWLi sont pilotés par les sorties Si d'un décodeur DEC1 d'adresse ADR, par l'intermédiaire de registres à verrouillage (latch) ll-i. De façon classique, ces registres ll-i transforment des signaux basse tension Vcc délivrés par les sorties Si du décodeur DEC1 en signaux haute tension Vpp, pour la sélection des lignes de mot WLi et XWLi pendant des opérations de programmation ou d'effacement. Ici, chaque registre à verrouillage ll-i comporte un transistor d'isolement 12 dont la grille est commandée par un signal de validation Vx, et deux portes inverseuses 13, 14 alimentées par la tension Vpp. Chaque interrupteur 12 est agencé entre une sortie Si du décodeur DEC1 et l'entrée d'une porte inverseuse 13. La sortie de chaque porte 13 est appliquée à l'entrée d'une porte 14. La sortie de chaque porte 14 est ramenée sur l'entrée de la porte 13 et est connectée à un fil LWLi de la mémoire MEM. Les bits Bj d'un mot binaire BW à enregistrer dans la mémoire MEM sont appliqués sur les entrées INj d'un registre REG1. Le registre REG1 comprend des sorties OUTj connectées aux fils LBLj des lignes de bits BLj de la mémoire MEM, et des sorties XOUTj connectées aux fils XLBLj des lignes de bits XBLj de la mémoire XMEM1. Les sorties OUTj du registre REG1 sont validées par un signal WRT et les sorties XOUTj validées par un signal XWRT. Un signal RST permet d'effacer le registre REG1. ta figure 3 représente un élément REGlj de rang j du registre REG1, comportant une entrée INj, une sortie OUTj et une sortie XOUTj. L'élément REGlj comprend une bascule inverseuse 15 alimentée par la tension Vpp. L'entrée de la bascule 15 peut être forcée à 0 par un transistor NMOS 16 piloté par le signal RST. La sortie de la bascule 15 peut être forcée à 0 par un transistor NMOS 17 piloté par l'entrée INj par l'intermédiaire d'une porte inverseuse 18. La sortie de la bascule 15 pilote deux transistors PMOS 19, 20 alimentés par la tension Vpp. Le drain D du transistor 19 est connecté à la sortie OUTj par l'intermédiaire d'un transistor d'isolement PMOS 21 piloté par le signal WRT. Le drain D du transistor 20 est connecté à la sortie XOUTj par l'intermédiaire d'un transistor d'isolement PMOS 22 piloté par le signal XWRT. Des transistors NMOS 23, 24 pilotés par le signal RST peuvent être prévus pour décharger les noeuds des sorties OUTj et XOUTj de la tension Vpp. L'élément REGlj fonctionne comme suit : la sortie de la bascule 15 est forcée à 0 quand un bit Bj égal à 0 est appliqué sur l'entrée INj Dans ce cas, la sortie OUTj délivre la tension Vpp si le signal WRT est à 0, et la sortie XOUTj délivre la tension Vpp si le signal XWRT est à 0. Quand les signaux WRT et XWRT sont à 1, les sorties OUTj et XOUTj sont dans l'état flottant, ou état HZ (haute impédance). Inversement, quand un bit Bj à 1 est appliqué sur l'entrée INj après effacement de l'élément REGlj au moyen du signal RST, la sortie de la bascule 15 délivre la tension Vpp ("1" logique) et les transistors PMOS 19, 20 sont bloqués. Dans ce cas, les sorties OUTj et XOUTj sont flottantes quelque soit la valeur des signaux WRT et XWRT. Le système 10 selon l'invention fonctionne en deux étapes que l'on décrira maintenant en référence à la figure 2. ETAPE ERAMEM Cette étape comprend les opérations suivantes : le registre REG1 est effacé par le signal RST, les bits Bj du mot binaire BW à enregistrer sont appliqués sur les entrées INj Le signal XWRT est mis à 0 (validation des sorties XOUTj) et le signal WRT est laissé à 1. Les fils XLBLj de la mémoire XMEM1 qui sont connectés à la sortie XOUTj d'un élément REGlj ayant reçu sur son entrée INj un bit Bj de valeur 0, reçoivent la tension Vpp. Les autres fils XLBLj sont à un potentiel flottant. Tous les fils LBLj de la mémoire MEM sont à un potentiel flottant, le signal WRT étant à 1. Le signal Vx est appliqué aux registres à verrouillage l1-i, de sorte que la tension Vpp est appliquée sur un fil LWLi de la mémoire MEM, sélectionné par le décodeur DEC1 en fonction de l'adresse ADR reçue. Le fil XLWLi de la mémoire XMEM1 qui est connecté au fil LWLi reçoit également la tension Vpp. Par ailleurs, les fils de commande XCG et AG sont connectés à la masse, le fil XAG est laissé flottant, et la tension Vpp est appliquée au fil CG. Au cours de cette étape, et selon le principe de fonctionnement de la mémoire MEM ou XMEM1 déjà décrit, la ligne de mot WLi de la mémoire MEM, sélectionnée par l'adresse ADR, est effacée. Simultanément, le mot binaire BW est enregistré dans la ligne de mot XWLi correspondante de la mémoire auxiliaire XMEM1, par programmation à 0 de certaines cellules de cette ligne. Pour que cette étape s'effectue correctement, on suppose que la ligne de mot XWLi était préalablement effacée. ETAPE PGRMEM Cette étape est l'inverse de l'étape précédente. La mémoire MEM est configurée comme l'était la mémoire XMEM1 à l'étape précédente, et réciproquement. En particulier, le signal WvT est mis à 0 et le signal XWRT est mis à 1, les fils CG et XAG sont connectés à la masse, le fil AG est laissé flottant, et la tension Vpp est appliquée au fil XCG. Les fils LBLj de la mémoire MEM correspondant à des bits Bj de valeur 0 reçoivent la tension Vpp, par les sorties OUTj du registre REG1. Les autres fils LBLj de la mémoire MEM sont portés à un potentiel flottant, ainsi que tous les fils XLBLj de la mémoire XMEM1. Au cours de cette deuxième étape, la ligne de mot XWLi de la mémoire XMEM1, contenant le mot binaire BW, est effacée. Simultanément, le mot binaire BW est enregistré dans la ligne de mot sélectionnée WLi de la mémoire MEM, par programmation à O de certaines cellules de cette ligne. Cette étape s'effectue correctement puisque la ligne de mot sélectionnée WLi de la mémoire MEM a été effacée au cours de l'étape précédente. De plus, avantageusement, l'effacement de la ligne de mot XWLi permet de garantir que cette ligne pourra recevoir un nouveau mot à enregistrer qu'au cours d'une étape ERAMEM ultérieure. Le procédé de l'invention qui vient d'être décrit, d'enregistrement d'un mot dans une mémoire auxiliaire pendant l'étape d'effacement de la mémoire principale, et d'effacement de la mémoire auxiliaire pendant l'étape d'enregistrement du mot dans la mémoire principale, offre une bonne protection contre les coupures de la tension d'alimentation Vcc et de la tension programmation Vpp intervenant entre ces deux étapes. Ainsi, quand le système 10 est mis sous tension, on lit la mémoire auxiliaire XMEM1 qui doit, normalement, ne contenir que des lignes de mot effacées. En d'autres termes, tous les bits de la mémoire XMEM1 doivent être à "1". Si une ligne de mot de la mémoire XMEM1 contient des bits dans l'état programmé, c'est-à-dire à "0", cela signifie qu'une coupure d'alimentation est intervenue entre l'étape ERAMEM et l'étape PGRMEM. Dans ce cas on charge dans le registre REG1 le mot contenu dans la mémoire auxiliaire XMEM1 et on déclenche l'étape PGRMEM. Dans un souci de simplicité et de clarté des figures, on n'a pas décrit et représenté les diverses connexions internes et les divers circuits permettant de lire les mémoires MEM et XMEM1, qui sont connus de l'homme de l'art. Le procédé de l'invention peut être exécuté de façon automatique par tout type de circuit intégré, à microprocesseur ou à logique câblée. Les étapes ERAMEM et PGRMEM, ainsi que l'étape de vérification du contenu de la mémoire auxiliaire XMEM1 à la mise sous tension, peuvent être gérées par un microprocesseur ou par un séquenceur à logique câblée SEQ1 représenté en figure 2. Ce séquenceur, d'une structure simple à la portée de l'homme de l'art, délivre tous les signaux Vx, RST, WRT, XWRT, SVpp, SAG, SCG, SXAG, SXCG nécessaires à l'exécution des deux étapes. Le signal SVpp est un signal d'activation d'un circuit survolteur de type classique produisant la haute tension Vpp (non représenté) . Les signaux SAG, SCG, SXAG, SXCG sont des signaux pour piloter des transistors (non représentés) permettant classiquement de connecter les fils AG, CG, XAG et XCG à la masse, à la tension Vpp ou de les laisser flottants. Par ailleurs, une variante du procédé de l'invention consiste à utiliser les mémoires MEM et XMEM1 en tandem, c'est-à-dire en alternance, pour le stockage permanent des données. Dans ce cas, avant chaque nouvel enregistrement d'une donnée, on détermine, parmi les deux mémoires MEM, XMEM1, celle qui présente à l'adresse ADR envoyée au décodeur DEC1 une ligne de mot dans l'état effacé pouvant recevoir la donnée. On déclenche ensuite l'étape PGRMEM, ou l'étape ERAMEM, selon que la donnée doit être enregistrée dans la mémoire MEM ou XMEM1. La détermination de la mémoire MEM ou XMEM1 ayant une ligne de mot effacée à l'adresse ADR peut consister en une simple opération de lecture individuelle des deux mémoires. On peut aussi associer à chaque ligne de mot une cellule témoin CELi du type décrit plus loin. Le mot binaire est alors enregistré automatiquement dans la ligne de mot dont la cellule témoin est programmée (ligne effacée). Simultanément l'autre ligne de mot est effacée, et sa cellule témoin est programmée, en prévision de l'enregistrement ultérieur d'un nouveau mot binaire. Dans cette variante de réalisation où les données se trouvent indifféremment dans l'une ou l'autre des mémoires, les deux mémoires MEM et XMEM1 peuvent être lues en parallèle et de façon simultanée. En effet, une cellule mémoire à 1 (effacée) est non passante et une cellule mémoire à O (programmée) est passante. Le "0" est donc prioritaire, en lecture parallèle, sur le "1". D'autre part, parmi deux lignes de mot de même adresse ADR, une ligne se trouve toujours dans l'état effacé (tous les bits à 1) en vertu du procédé de l'invention. Ainsi, la lecture simultanée de deux lignes de mot dans les mémoires MEM, XMEM1 donne le mot binaire contenu dans la ligne qui n'est pas effacée. Cette lecture simultanée et parallèle de deux lignes de mot peut également être faite de façon logique en envoyant deux par deux, dans des portes ET, les bits de même rang contenus dans les deux lignes de mot. Dans un souci de simplicité, on s'est limité dans la présente description à une structure de mémoires MEM et XMEM1 comprenant neuf cellules, mais il est bien entendu que, dans la pratique, la présente invention ast susceptible de s'appliquer à des mémoires de grande taille, comprenant par exemple des lignes de mot de 8 ou 16 bits et un grand nombre de lignes de mot. Dans cette perspective, le mode de réalisation qui vient d'être décrit peut nécessiter une surface de silicium importante, car la prévision d'une mémoire auxiliaire XMEM1 de même taille que la mémoire MEM conduit à doubler la taille du plan mémoire. Aussi, on décrira ci-après un deuxième mode de réalisation de l'invention, dans lequel la taille de la correspondante de la mémoire MEM est effacée et sont effacées quand la ligne de mot correspondante est programmée (enregistrement d'un mot binaire). Dans le système 30 de la figure 4, les étapes ERAMEM et PGRMEM se déroulent comme exposé ci-dessus et ne seront pas décrites à nouveau. Comme seule différence, la sortie S4 du décodeur DEC2 est activée pendant le déroulement des deux étapes, un signal PGRCEL est généré pendant l'étape ERAMEM et un signal ERACEL est généré pendant l'étape PGRMEM. Le signal PGRCEL est appliqué a l'ensemble des cellules CELi et permet de programmer la cellule CELi de la ligne de mot WLi en cours d'effacement. Le signal ERACEL est appliqué à l'ensemble des cellules CELi et permet d'effacer la cellule CELi de la ligne de mot WLi en cours de programmation. Les signaux PGRCEL et ERACEL sont par exemple délivrés par le séquenceur SEQ1 déjà décrit. La figure 5 représente un exemple de réalisation d'une cellule témoin CELi. La cellule CELi comprend un transistor à grille flottante 40 dont la grille G et la source S sont connectées respectivement au fil XCG et au fil XAG de la mémoire auxiliaire XMEM2. Le drain D du transistor 40 est connecté par l'intermédiaire d'un transistor NMOS 41 à la sortie de la porte inverseuse 13 d'un registre à verrouillage ll-i (et par conséquent à l'entrée de la porte inverseuse 14 en série avec la porte 13). Le drain D du transistor 40 est également connecté par l'intermédiaire d'un transistor NMOS 42 à la sortie de la porte inverseuse 14 du registre à verrouillage 11-i. Le transistor 41 reçoit sur sa grille le signal d'effacement ERACEL et le transistor 42 reçoit sur sa grille le signal de programmation PGRCEL. De façon générale, chaque cellule témoin CELi de chaque ligne de mot WLi de la mémoire MEM est connectée de la manière qui vient d'être décrite au registre à verrouillage ll-i qui commande le fil LWLi de sélection de la ligne de mot WLi. Ainsi, au cours de l'étape ERAMEM, lorsqu'un registre ll-i est activé par le passage à la valeur 1 d'une sortie Si du décodeur DEC2, la sortie de la porte inverseuse 14 du registre ll-i délivre la tension Vpp. Simultanément, le signal PGRCEL est appliqué sur le transistor 42 et le drain D du transistor à grille flottante 40 reçoit la tension Vpp. Simultanément toujours, la grille G du transistor est connectée à la masse par le fil de commande XCG, et la source S du transistor 40 est portée à un potentiel flottant par le fil XAG (la mémoire auxiliaire XMEM2 étant en cours de programmation pour l'enregistrement d'un mot) . Des charges électriques sont arrachées de la grille flottante du transistor 40 et la cellule CELi passe dans l'état programmé. Au cours de l'étape suivante PGRMEM, le registre ll-i est toujours activé et la sortie de la porte inverseuse 13 du registre ll-i est à la masse ("0" logique). Le signal ERACEL est appliqué sur le transistor 41 et le drain D du transistor à grille flottante 40 se trouve connecté à la masse. Parallèlement, la grille G du transistor 40 reçoit la tension Vpp par le fil de commande XCG, et sa source S est connectée à la masse par le fil XAG (la mémoire auxiliaire XMEM2 étant en cours d'effacement). Les charges électriques sont injectées dans la grille flottante du transistor 40 et la cellule CELi passe dans l'état effacé. Avantageusement, à la mise sous tension du système 30, les cellules témoins CELi permettent de retrouver une ligne de mot WLi à programmer si une coupure d'alimentation est intervenue avant que l'étape PGRCEL n'ait été réalisée. De plus, selon le mode de réalisation qui vient d'être décrit, il n'est pas nécessaire, à la mise sous tension, de procéder à une lecture des cellules témoins pour retrouver la ligne de mot WLi à programmer. La sélection/activation de la ligne WLi à programmer se fait automatiquement, d'une manière que l'on va maintenant décrire. A la mise sous tension du système 30, on commence par lire la mémoire XMEM2. Si l'on s'aperçoit qu'elle n'est pas effacée, le mot qu'elle contient est chargé dans le registre REG1 et l'étape PGRMEM est lancée. A cet instant, seule la sortie S4 du décodeur DEC2 est activée, pour l'effacement de la mémoire XMEM2, car l'on ne sait pas quelle est la ligne de mot WLi de la mémoire MEM qui doit recevoir le mot binaire. Pour éviter un déclenchement aléatoire des registres ll-i (les portes 13 et 14 étant agencées en boucle fermée), on force à O les sorties Si du décodeur DEC2 (à l'exception de S4) et l'on applique de façon transitoire le signal Vx. Le signal ERACEL étant appliqué à toutes les cellules témoins CELi, les drains D de tous les transistors 40 des cellules CELi se trouvent connectés à la sortie de la porte inverseuse 13 du registre ll-i correspondant, c'est-à-dire 3 l'entrée de la porte inverseuse 14 (voir fig. 5). Parmi les cellules témoins, une cellule est dans l'état programmé en raison de la coupure d'alimentation. Le transistor 40 de cette cellule CELi est naturellement passant, de sorte que l'entrée de la porte inverseuse 14 du registre ll-i correspondant est forcée à 0 via les transistors 40, 41. La sortie de la porte inverseuse 14 passe à 1 et envoie la tension Vpp dans le fil de sélection LWLi auquel elle est connectée. La ligne de mot WLi correspondante est donc automatiquement activée. Dans les instants qui suivent, la cellule CELi est effacée de la manière décrite plus haut et le transistor 40 n'est plus passant. Le signal ERACEL est appliqué au commencement de l'étape PGRMEM, de manière que la ligne de mot WLi à programmer soit sélectionnée par la cellule CELi avant que celle-ci ne s'efface. Comme les portes inverseuses 13 et 14 des registres ll-i forment un inverseur à mémoire, une impulsion à 0 sur l'entrée de la porte 14 avant que la cellule témoin ne s'efface est suffisante pour obtenir le résultat de l'invention, c'est-à-dire la sélection et l'activation de la ligne à programmer. Dans ce qui précède, on a décrit deux modes de réalisation d'un système de mémoire selon l'invention. Divers autres modes de réalisation de l'invention peuvent être envisagés, par combinaison des deux modes de réalisation décrits. Par exemple, si l'on ajoute des cellules témoins CELi aux mémoires MEM, XMEM1 du système 10 de la figure 2, une partie de la mémoire auxiliaire XM Par ailleurs, les domaines d'applications de la présente invention sont très étendus et concernent également les compteurs de données, par exemple les compteurs d'unités présents dans les cartes à puce. On décrira ci-après deux exemples de compteurs réalisés selon le principe de l'invention. Application de l'invention à la réalisation d'un compteur boulier sécurisé Le tableau ci-après illustre le fonctionnement d'un compteur classique du type boulier et décrit une opération de décrémentation d'un tel compteur. Le compteur comprend ici quatre lignes L1 à L4 de poids croissant comprenant des bits de même poids. Les bits ,ì 1 de la ligne L1 ont par exemple un poids égal à 1, les bits à 1 de la ligne L2 un poids égal à 9, les bits à 1 de la ligne L3 un poids égal à 73, et les bits à 1 de la ligne L4 un poids égal à 585. Dans l'état initial, la valeur du compteur est 1755 (3 X 585) et à l'état suivant le compteur est décrémenté d'une unité, sa valeur étant 1754 (2 X 585 + 8 X 73). étant initial Etat suivant 'L4 1 1 1 0 0 0 0 0 L4 1 1 0 O O o O O L3 O 0 0 0 0 0 0 0 L3 1 1 1 1 1 1 1 1 'L2 O 0 0 0 0 0 0 0 L2 0 0 0 0 0 0 0 0 tL1 O O 0 0 0 0 0 O L1 O 0 O 0 0 O O 0 Cet exemple montre que la programmation à O d'un bit d'une ligne de poids fort doit être suivi, dans un compteur boulier, de l'effacement complet de la ligne de poids immédiatement inférieur. Dans l'art antérieur, si une coupure de la tension d'alimentation intervient après la programmation à 0 d'un bit d'une ligne de poids fort et avant l'effacement de la ligne de poids inférieur, le compteur présente une valeur erronée. Dans l'exemple cidessus, cette valeur erronée serait 1170 (2 X 585). La figure 6 représente un compteur boulier CPT1 ne présentant pas cet inconvénient. Le compteur CPT1 comprend quatre lignes de comptage L1, L2, L3, L4 de poids croissants et un registre REG2. Chaque ligne Lk comprend par exemple huit cellules programmables et effaçables électriquement, pour enregistrer une donnée de comptage AVk de type boulier, un fil de commande CGk, un fil de commande AGk, des fils d'accès LBLk,j et un fil de sélection LWLk (k étant un indice désignant le rang de chaque ligne de comptage). Le registre REG2 est similaire dans sa structure au registre REG1 déjà décrit mais comporte ici huit éléments REGîj. Selon l'invention, les lignes Lk sont agencées de manière que chaque ligne puisse être programmée et effacée indépendamment de la ligne de rang immédiatement inférieur. Plus particulièrement, les lignes L4 et L3, respectivement L2 et L1, sont agencées en parallèle, les fils de commande LWL4 et LWL3 respectivement LWL2 et LWL1, étant connectés ensemble. Les lignes L4 et L2 sont agencées en série, chaque fil d'accès LBL4,j étant connecté à un fil d'accès LBL2,j de même rang j ainsi qu'à une sortie OUTj du registre REG2. Les lignes L3 et L1 sont également agencées en série, chaque fil d'accès LBL3,j étant connecté à un fil d'accès LBL1,j de même rang j ainsi qu'à une sortie XOUTj du registre REG2. Conformément à l'invention, lorsqu'un bit d'une ligne Li (à l'exception de la ligne L1 de plus faible poids) est programmé à O, la ligne de rang inférieur Li l est simultanément effacée. Les avantages de l'invention se retrouvent ici par le fait que les opérations d'écriture et d'effacement de deux lignes voisines sont faites simultanément. Par exemple, l'opération de décrémentation figurant dans le tableau ci-dessus est réalisée selon les étapes suivantes (on suppose que la ligne L4 contient la valeur "11100000" et que la ligne L3 contient la valeur 00000000) 1) chargement du mot "11011111" dans le registre REG2 (pour une programmation à 0 individuelle du troisième bit de la ligne L4), 2) validation des sorties OUTj du registre REG2 et inhibition des sorties XOUTj : le signal WRT est mis à 0 et le signal XWRT est laissé à 1, et 3) configuration des fils de commande du compteur CPT1 : CG4 = O, LWL4 = Vpp, AG4 = HZ (flottant), CG3 = Vpp, AG3 = 0. Ces étapes sont réalisées de façon quasi simultanée. Ensuite, la ligne L4 contient la valeur "11000000" et la ligne L3, effacée, contient la valeur "11111111". Le compteur CPT1 qui vient d'être décrit convient particulièrement bien aux applications du type carte téléphonique, où les unités sont décomptées unité par unité. Toutefois. dans certaines applications, les compteurs sont décrémentés ou incrémentés par sauts de valeur. Le compteur CPT1 se prête mal à de tels sauts de valeur car, dans ce cas, plusieurs mots doivent être enregistrés simultanément dans plusieurs lignes de comptage. Les lignes doivent être tout d'abord effacées, puis programmées, de sorte que l'on retrouve les inconvénients de l'art antérieur. Pour pallier cet inconvénient, la présente invention propose de réaliser un compteur binaire sécurisé fonctionnant selon le principe de l'invention. Application de l'invention à la réalisation d'un compteur binaire sécurisé De façon classique, un compteur binaire est un compteur dans lequel la donnée de comptage est stockée dans une ligne de comptage sous forme d'un mot binaire comprenant des bits de poids croissants selon les puissances de deux : 1, 2, 4, 8, 16, 32, 64, 128... Les compteurs binaires ne sont généralement pas utilisés dans les cartes à puce ou dispositifs équivalents, car une coupure de la tension d'alimentation intervenant après l'effacement de la ligne de comptage et avant l'enregistrement d'une nouvelle donnée de comptage ferait perdre la totalité de la valeur du compteur. La figure 7 représente un compteur binaire sécurisé CPT2 qui ne présente pas cet inconvénient. Le compteur comprend deux lignes de comptage LCPTl, LCPT2 en parallèle, programmables et effaçables électriquement grâce au registre REG2 décrit plus haut. Chaque ligne LCPT1, LCPT2 comprend le même nombre de bits, par exemple 8 ou 16 bits, choisi en fonction de la capacité que l'on souhaite donner au compteur. Dan,; un souci de simplicité, le compteur CPT2 est représenté schématiquement sur la figure car sa structure a été implicitement décrite dans ce qui précède. Par exemple la structure du compteur CPT2 est celle que présente le compteur CPT1 de la figure 6 lorsque l'on supprime les lignes L1 et L2, ou L3 et L4. Egalement, la structure du compteur CPT2 est celle que présente le système 30 de la figure 4 quand la mémoire MEM ne comporce qu'une ligne de mot WLi (les cellules CELi n'étant plus nécessaires), la mémoire MEM formant la ligne de comptage LCPT1 et la mémoire auxiliaire XMEM2 formant la ligne de comptage LCPT2. Ici, on ne déclenche pas les deux étapes ERAMEM et PGRMEM pour l'enregistrement d'une donnée de comptage, mais une seule de ces étapes, les deux lignes LCPT1 et LCPT2 fonctionnant en tandem. Ainsi, chaque nouvelle donnée de comptage binaire BV est enregistrée de façon alternée dans l'une des lignes de comptage LCPT1, LCPT2. Quand une nouvelle donnée de comptage BV doit être enregistrée, on recherche, parmi les deux lignes de comptage, celle qui est dans l'état effacé, on enregistre la nouvelle donnée de comptage dans cette ligne et, simultanément, on efface l'autre ligne de comptage (au cours d'une étape d'initialisation du compteur, on prendra le soin d'enregistrer une donnée initiale de comptage dans l'une des lignes de comptage LCPT1, LCPT2 et d'effacer l'autre ligne de comptage). L'étape d'enregistrement de la donnée de comptage est équivalente à l'étape ERAMEM ou à l'étape PGRMEM selon que la ligne trouvée effacée est la ligne LCPT2 ou la ligne LCPT1. Un séquenceur du type SEQ1 peut être prévu. La lecture de la donnée de comptage BV peut également être faite en une seule étape, par lecture parallèle et simultanée des deux lignes LCPT1, LCPT2 selon un principe déjà décrit plus haut. Enfin, l'écriture d'une nouvelle donnée de comptage dans le compteur CPT2 peut être assujettie à la condition que la nouvelle donnée de comptage soit inférieure, ou supérieure, à la donnée de comptage précédemment enregistrée, selon un sens de modification autorisé du compteur. La figure 8 montre que la vérification de cette condition peut être faite au moyen d'un circuit en logique câblée. Dans cet exemple, les bits BWRj de la donnée de comptage à enregistrer sont comparés avec les bits BRDj de même rang de la donnée de comptage précédemment enregistrée, en commençant par les bits de poids fort. Plus particulièrement, une porte OU EXCLUSIF 50 reçoit en entrée les bits BWRj et BRDj, une porte ET 51 reçoit en entrée la sortie de la porte 50 et les bits BWRj, et une porte ET 52 reçoit en entrée la sortie de la porte 50 et les bits BRDj. Le bit de sortie de la porte 51, lorsqu'il passe à 1, est considéré comme un signal d'alarme AL. L'opération d'enregistrement n'est pas effectuée. Inversement, le bit de sortie de la porte 52, lorsqu'il passe à 1, est considéré comme un signal d'autorisation VOK. Dans cet exemple, le compteur évolue dans le sens décroissant. L'enregistrement de la nouvelle donnée de comptage n'est autorisé qu'à la condition que le bit à 1 de la première paire de bits {BWRj, BRDj) rencontrée comprenant deux bits de valeurs différentes, soit le bit BRDj. On notera que l'étape d'enregistrement d'une nouvelle donnée de comptage dans une ligne effacée du compteur, et l'étape d'effacement de l'autre ligne de comptage, peuvent être réalisées l'une après l'autre au lieu d'être réalisées simultanément. En effet, une coupure d'alimentation électrique entre l'enregistrement de la valeur de comptage dans une ligne et l'effacement de l'autre ligne a pour seule conséquence que le compteur présente, à la mise sous tension, deux valeurs de comptage. Le compteur ayant un sens de modification prédéterminé (incrémentation ou décrémentation), il est aisé d'identifier, par une lecture séparée des deux lignes de comptage, la dernière donnée de comptage enregistrée et d'effacer la ligne comportant la donnée de comptage la plus ancienne. La dernière donnée de comptage enregistrée est celle qui présente la plus forte ou la plus faible valeur selon le sens de modification autorisé du compteur. Ainsi, lorsqu'il s'agit d'enregistrer une donnée de comptage, et de façon plus générale d'enregistrer une donnée évoluant toujours dans le même sens ou évoluant selon une loi prédéterminée, il n'est pas impératif de réaliser simultanément les étapes d'enregistrement et d'effacement. Ce qui est essentiel, c'est qu'une ligne de comptage dans l'état effacé soit disponible lorsqu'une nouvelle donnée de comptage doit être enregistrée, de sorte que l'enregistrement de la donnée ne nécessite qu'une seule étape de programmation de cellules mémoire. De ce point de vue, le fractionnement dans le temps des deux étapes d' enregistrement/effacement pourrait également être envisagé dans le cas du système de mémoire 10 décrit plus haut, à la condition que chaque mot binaire enregistré contienne une indication, par exemple une date, permettant de déterminer, entre deux mots binaires de même adresse ADR se trouvant dans les mémoires MEM et XMEM1, celui qui a été enregistré le dernier. Dans ce qui précède, on a décrit diverses variantes de réalisation du procédé d'enregistrement et du système de mémoire selon l'invention. Il apparaîtra clairement à l'homme de l'art qu'encore d'autres modes de réalisation peuvent être prévus. Par exemple, le système 30 de la figure 4 peut comporter une mémoire auxiliaire XMEM2 comprenant un nombre de lignes de mot XWLi supérieur à 1 mais inférieur au nombre de lignes de mot WLi de la mémoire principale MEM. Etant donné que les transistors à grille flottante présentent un vieillissement proportionnel au nombre de cycles de programmation et effacement qu'ils subissent, cette variante de réalisation permet de retarder le vieillissement de la mémoire auxiliaire XMEM2. Dans ce cas, le choix de la ligne de mot auxiliaire XWLi pour la réalisation des étapes ERAMEM et PGRMEM peut être aléatoire, ou cyclique, ce qui permet de répartir le vieillissement de façon équiprobable sur toutes les lignes de la mémoire auxiliaire. Par ailleurs, une telle variante de réalisation peut permettre d'intégrer le compteur CPT2 de la figure 7 dans le système 30 de la figure 4. A cet effet, une ligne de mot WLi de la mémoire MEM est réservée en tant que ligne de comptage LCPT1, et une ligne de mot XWLi de la mémoire auxiliaire XMEM2 est réservée en tant que ligne de comptage LCPT2. Bien entendu, le compteur CPT2 peut aussi être intégré dans le système 10 de la figure 2. Enfin, l'homme de l'art notera que la présente invention est destinée à être combinée avec l'invention décrite dans la demande PCT/97FR/00922. Comme on l'a déjà rappelé au préambule, cette autre invention permet de pallier les effets néfastes d'une coupure de la tension d'alimentation Vcc au cours d'une opération de programmation ou d'effacement d'une ligne de mot. La présente invention complète cette précédente invention et permet d'éviter la perte d'une donnée à enregistrer grâce à un enregistrement immédiat de la donnée dans une ligne de mot préalablement effacée. Ainsi, ensemble, les deux inventions permettent de réaliser un système de mémoire EEPROM entièrement sécurisé et entièrement protegé contre les coupures d'alimentation. REVENDICATIONS 1. Procédé d'enregistrement d'un mot binaire (BW, BV, AVk) au moyen de cellules mémoire (Ci,j) du type programmable et effaçable électriquement organisées en lignes de mot (WLj), caractérisé en ce qu'il comprend - une étape préliminaire consistant à prévoir au moins deux lignes de mot (WLi, Lk, LCPT1, XWLi, Lk, LCPT2) pouvant être effacées ou programmées indépendamment l'une de l'autre, - une première étape d'enregistrement du mot binaire dans l'une (XWLi, Lk, LCPT2) desdites lignes de mot, - une deuxième étape d'effacement de l'autre ligne de mot (WLi, Lk, LCPT1). 2. Procédé selon la revendication 1, dans lequel lesdites première et deuxième étapes sont simultanées. 3. Procédé selon l'une des revendications 1 et 2 dans lequel, au cours de la première étape d'enregistrement, le mot binaire est enregistré dans une ligne de mot (XWLi, Lk, LCPT2) se trouvant dans l'état effacé. 4. Procédé selon l'une des revendications précédentes, comprenant en outre - une troisième étape d'enregistrement du mot binaire dans la ligne de mot (WLi) effacée au cours de la deuxième étape, - une quatrième étape d'effacement de la ligne mot (XWLi) dans laquelle a été enregistré le mot binaire au cours de la première étape. 5. Procédé selon la revendication 4, dans lequel lesdites troisième et quatrième étapes sont simultanées. 6. Procédé selon l'une des revendications précédentes, dans lequel l'une (WLi) desdites lignes de mot est sélectionnée dans une première mémoire programmable et effaçable électriquement (MEM), et l'autre ligne de mot (XWLi) est sélectionnée dans une deuxième mémoire programmable et effaçable électriquement (XMEM1, XMEM2). 7. Procédé selon la revendication 6, dans lequel les première (MEM) et deuxième (XMEM1) mémoires comprennent un même nombre de lignes de mot (WLi, XWLi), et les lignes de mot (WL1, XWLi) sont sélectionnées, dans chacune des mémoires, à la même adresse (ADR). 8. Procédé selon la revendicatIon 6, dans lequel l'une des mémoires (XMEM2) comprend un nombre de lignes de mot (XWL) inférieur au nombre de lignes de mot (WLi) de l'autre mémoire (MEM). 9. Procédé selon l'une des revendications 6 à 8, dans lequel - on associe une cellule témoin (CELi) programmable et effaçable électriquement à chacune des lignes de mot (WLi) d'une mémoire (MEM), - la cellule témoin (CELi) d'une ligne de mot (WLi) est effacée quand la ligne de mot (WLi) est programmée, - la cellule témoin (CELi) d'une ligne de mot est programmée quand la ligne de mot est effacée. 10. Procédé selon l'une des revendications 1 à 6, dans lequel la première étape d'enregistrement est faite en alternance, à chaque nouvel enregistrement d'un mot binaire, dans l'une (WL1, LCPT1) ou l'autre (XWLi, LCPT2) desdites lignes de mot. 11. Procédé selon l'une des revendications précédentes, dans lequel ledit mot binaire est une donnée de comptage (BV, AVk), r lesdites lignes de mot sont des lignes de comptage (Lk, LCPT1, LCPT2) formant, ensemble, un compteur (CPT1, CPT2). 12. Procédé selon la revendication 11, dans lequel - l'enregistrement d'une nouvelle donnée de comptage (BV) est précédé d'une étape de comparaison de la nouvelle donnée de comptage avec une donnée de comptage précédemment enregistrée, - l'enregistrement de la nouvelle donnée de comptage n'est pas effectué si la nouvelle donnée de comptage n'est pas différente de la donnée de comptage précédente selon un sens de modification autorisé du compteur (CPT2). 13. Systme (10, 30) de mémoire programmable et effaçable électriquement, caractérisé en ce qu'il comprend : - au moins deux mémoires (MEM, XMEM1, XMEM2) comprenant chacune au moins une ligne de mot (WL1, XWLi), - des moyens (REG1, AG, XAG, CG, XCG, SEQ1) pour effacer une ligne de mot (WL1, XWLi) de l'une des mémoires pendant l'enregistrement d'un mot binaire (BW) dans une ligne de mot (WLi, XWL1) de l'autre mémoire. 14. Système (30) selon la revendications 13, comprenant - des cellules témoins (CEL1) programmables et effaçables électriquement, associées aux lignes de mot (WLi) d'au moins une mémoire (MEM), - des moyens (SEQ1, 40, 41, 42) pour programmer (PGRCEL) la cellule témoin (CELi) d'une ligne de mot (WLi) lorsque la ligne de mot est effacée, et effacer (ERACEL) la cellule témoin (CELi) d'une ligne de mot (WLi) lorsqu'un mot binaire (BW) est enregistré dans la ligne de mot. 15. Compteur binaire (CPT2) pour stocker une donnée de comptage (BV), caractérisé en ce qu'il comprend - au moins une première (LCPT1) et une deuxième (LCPT2) lignes de comptage programmables et effaçables électriquement, pouvant être programmées ou effacées indépendamment l'une de l'autre, - des moyens (REG2, AG, XAG, CG, XCG) pour enregistrer chaque nouvelle donnée de comptage (BV) en alternance dans la première (LCPT1) ou la deuxième (LCPT2) ligne de comptage, et pour effacer la ligne de comptage (LCPT1, LCPT2) comprenant l'ancienne donnée de comptage. 16. Compteur selon la revendication 15, dans lequel lesdits moyens sont agencés pour effacer la ligne de comptage (LCPT1, LCPT2) comprenant l'ancienne donnée de comptage simultanément à l'enregistrement de la nouvelle donnée de comptage dans l'autre ligne de comptage (LCPT1, LCPT2). 17. Compteur selon l'une des revendications 15 et 16, comprenant des moyens de comparaison (50, 51, 52) de chaque nouvelle donnée de comptage (BV) à enregistrer avec une donnée de comptage précédemment enregistrée. 18. Compteur selon la revendication 17, dans lequel les moyens de comparaison (50, 51, 52) sont agencés pour comparer bit à bit (BWRj, BRDj) la nouvelle donnée de comptage à enregistrer avec la donnée de comptage précédemment enregistrée, en commençant par les bits de poids fort. 19. Compteur selon l'une des revendicatibons 15 à 18, comprenant des moyens pour lire simultanément les deux lignes de comptage (LCPT1, LCPT2). 20. Compteur binaire (CPT1, CPT2) pour stocker une donnée de comptage (BV, AVk), caractérisé en ce qu'il comprend - au moins deux lignes de comptage (Lk, LCPT1, LCPT2) programmables et effaçables électriquement, pouvant être programmées ou effacées indépendamment l'une de l'autre, - des moyens (REG2, AG, XAG, CG, XCG) pour enregistrer une nouvelle donnée de comptage dans une première ligne comptage (Lk, LCPT1), et effacer simultanément une deuxième ligne de comptage (Lk, LCPT2) comprenant une valeur de comptage précédemment enregistrée. 21. Compteur (CPT1) selon la revendication 20, comprenant une pluralité de lignes de comptage (Lk) de poids croissant pouvant chacune être programmée ou effacée indépendamment de la ligne de comptage de poids immédiatement inférieur. 22. Compteur (CPT1) selon la revendication 21, dans lequel ladite deuxième ligne de comptage (Lk) est une ligne de comptage de poids immédiatement inférieur.