FR 2733615 A1 19961031 FR 9504992 A 19950426 CARTE A MEMOIRE ET PROCEDE DE MISE EN OEUVRE D'UNE TELLE CARTE DESCRIPTION Domaine technique La présente invention concerne une carte mémoire et un procédé de mise en oeuvre d'une telle carte. Etat de la technique antérieure Depuis 1983, France Télécom n'a cessé d'accroître son parc de publiphones à cartes sur le territoire national. Le nombre des publiphones à cartes installés est actuellement de plus de 120 000 et de plus de 4000 téléphones d'intérieur à cartes. Dès 1993, les ventes de télécartes ont atteint les 000 000 par an. Par ailleurs, France Télécom poursuit ses développements en vue de proposer de nouveaux terminaux, tels le Publifax et le publiphone d'intérieur. France Télécom était de plus confrontée à un besoin à l'export d'une plus grande capacité de comptage, notamment en direction des opérateurs qui pratiquent des tarifs de communication locale très bas et de communication internationale très élevés. Pour répondre à ces besoins, le SEPT a proposé la mise au point de nouvelles cartes comportant non seulement une capacité accrue, mais aussi une personnalisation plus flexible, ainsi qu'une sécurité active. Une nouvelle télécarte, dite de deuxième génération ou "T2G", autorise une capacité de comptage beaucoup plus élevée par un mécanisme de boulier, et sa consommation en courant électrique est bien inférieure. En matière de sécurité, elle fonctionne selon un mécanisme appelé "challenge/réponse": lors de l'envoi d'un aléa, la carte sait calculer une signature grâce à un secret unique qu'elle contient et est la seule à contenir. Avec la nouvelle technologie CMOS ("Complementary Metal Oxyde Semiconductor") une tension de programmation externe n'est plus nécessaire. Cette tension est générée en interne par une "pompe de charge" qui, à partir de 5 volts, produit la tension nécessaire pour faire basculer les bits de la mémoire lors de la consommation des unités. Pour cette carte de seconde génération un composant (ST 1333) a été développé par la société SGS Thomson: comme représenté sur la figure 1 ce composant content une mémoire EEPROM ("Electronically Erasable Programmable Read Only Memory") de 272 bits et n'a pas une architecture de type microprocesseur, mais une architecture spécifique, afin d'optimiser son cot. L'un des avantages de l'utilisation d'une carte à mémoire de o10 type EEPROM est qu'on peut organiser cette mémoire en boulier. Or les plots de programmation de la puce de cette carte sont seulement prévus pour recevoir l'une ou l'autre des trois commandes élémentaires suivantes: remise à zéro, incrémentation et lecture, écriture ou effacement. Plusieurs de ces commandes élémentaires doivent donc se succéder pour réaliser la mise à jour du boulier lorsque deux étages successifs du boulier sont concernés. Le composant ST 1333 est en fait une mémoire série de 272 bits (lue et écrite en série) gérée par un compteur d'adresse, qui est incrémenté de un à chaque coup d'horloge, et remis à zéro par le signal de "reset. La logique de contrôle de ce composant a plusieurs rôles: -elle pilote les accès à la mémoire (lecture, écriture, effacement) en fonction des zones adressées et en fonction de la phase dans laquelle se trouve le circuit: test, initialisation, utilisation; - elle permet, grâce à une unité de calcul d'authentification, de calculer une signature sur quatre bits, à partir des données internes de la mémoire, dont une clé secrète, et un aléa à trente deux bits fourni par l'extérieur. Ce processus peut être répété plusieurs fois pour ajuster le niveau de sécurité au niveau requis. Ainsi la carte ne peut être "clonée", car ceci nécessiterait la connaissance de la clé secrète et de l'algorithme de calcul d'authentification; - elle permet la gestion d'un compteur irréversible de grande capacité. Ce compteur est constitué de six étages de huit bits et fonctionne en boulier: quand l'étage i est plein, un bit doit être rajouté à l'étage i+1, et l'étage i peut alors être effacé. Il s'agit donc d'un comptage en base huit sur six chiffres donnant une capacité de 86 _ 256 000. Cette organisation conduit à une logique très simple au niveau du circuit. Pour éviter, en cas de retrait intempestif de la carte, que le compteur soit dans un état non significatif, un mécanisme de registres témoins a été prévu: par exemple le registre indique que l'étage i+1 a été inscrit, mais que l'étage i n'a pas été effacé. Ainsi le terminal peut, à l'utilisation suivante de la télécarte, remettre le compteur dans un état significatif. La présente invention concerne un circuit intégré de ce type pour support portable de type passif, c'est-à-dire ne comprenant pas de microprocesseur interne mais seulement une mémoire et des moyens de 1o décodage pour, en réponse à un nombre limité de signaux de commande, accéder séquentiellement à des cases successives de cette mémoire et y effectuer des opérations de lecture, d'écriture ou d'effacement. Un problème se pose si, pour une raison quelconque, le traitement d'une carte est brutalement interrompu avant la fin de la mise à jour du boulier. Le brevet français FR-2 678 094 de France Télécom et de la Poste définit un mécanisme à base de témoin qui, après un arrachement brutal d'une carte avant la fin de mise à jour du boulier, permet de terminer cette mise à jour lors d'une utilisation ultérieure de la carte. Ce brevet décrit un circuit intégré destiné à un support portable passif de comptage d'unités comprenant p étages de mémoire de comptage de données contenant des nombres de cases respectifs nl... np, une écriture étant effectuée dans une case d'un étage supérieur chaque fois que toutes les cases de l'étage inférieur ont été validées, les cases des étages inférieurs étant ensuite invalidées. Ce circuit comprend en outre p-1 étages témoins identiques aux p-1 étages de rang supérieur des p étages de comptage, la logique d'adressage des étages témoins étant telle que les cases de ces étages témoins sont adressées en écriture simultanément avec les cases des étages de comptage correspondants et, après une écriture, sont adressées en effacement en même temps que les cases des étages inférieurs à celui qui vient d'être validé. Zones concernées de la mémoire de la carte Dans un tel circuit deux zones de la mémoire de la carte sont concernées par le comptage: - une zone des compteurs, constituée d'au moins deux niveaux de compteurs (C1 et Cy) à x bits chacun, par exemple huit. Cette partie compteur est utilisable selon le principe du boulier. Pour compter on écrit régulièrement des bits dans un compteur Cn (le premier compteur "libre"). Quand il n'y a plus de bit vierge dans le compteur Cn, on écrit un bit dans le compteur "supérieur" Cn+l, ce qui autorise l'effacement du compteur Cn, effacement qui est effectué par une deuxième commande d'écriture à la même adresse; - une zone des compteurs témoins, constituée de y-1 registres témoins (RTy-1 à RT1) de x bits chacun. Ils servent à visualiser le bon effacement des compteurs. Si l'un des compteurs Cn n'a pas été correctement effacé, la position du bit dans le registre RTn indique sur quel bit du compteur Cn+1 la séquence d'effacement a été rompue. Les registres témoins sont associés aux compteurs de telle sorte que: * lorsqu'un bit est écrit dans la zone Cn, le mécanisme interne du composant écrit en même temps un bit dans le registre témoin RTn-1 et ce à la même position que celle du bit écrit dans le compteur Cn, * le registre témoin RTn-1 est effacé en même temps que la zone associée Cn-1 lors de la deuxième commande d'écriture. Modalité d'incrémentation des compteurs Si l'on se place dans le cas le plus simple d'un compteur à deux étages, le compteur ayant la valeur 15: Etage Contenu Modulo Valeur de L'étage bit 8 7 6 5 4 3 2 1 C2 0 O 0 0 O 0 0.:!:::..:..:!r1 8 1 * 8 = 8 cit:::::::::::::, I:::::i * 7 Si l'on veut à présent incrémenter le compteur de la carte de une unité, la valeur finale est 16. Pour réaliser cette opération, le publiphone devra rechercher le premier bit "0" qu'il trouvera dans le compteur le plus bas et y écrire un "1'. Compte tenu de l'état du compteur, le bit 3 de C2 doit être positionné. Pour réaliser cette opération, une double écriture doit être faite comme indiqué ci-dessous: Premier ordre d'écriture sur le bit 3 de C2 Etage Contenu Modulo Valeur de L'étage bd 8 7 6 5 4 3 2 1 C2 0 0 0 0 O i: I I 8 8 6i Cl 1 1 1 1 1 1 1 I 1 71 = 7 Après le premier ordre d'écriture, l'étage C2 a été incrémenté mais l'étage C1 est encore à sa valeur inifiale. La valeur du compteur est donc +8=23. Deuxième ordre décriture sur le bit 3 de C2 Etage Contenu Modulo Valeur de L'étage bit 8 7 6 5 413121 1 l C2 O 0 O 0 1 1 0512 2 *8=16 Cl..".", , ".0.:,o-10 Le deuxième ordre d'écriture efface le contenu de C1. L'étage C1 se retrouve dans une configuration "illégale". Il est alors nécessaire d'écrire le bit 1 de C1 pour rétablir le compteur 1 dans une configuration "légale". Ordre d'écriture sur le bit 1 de Ci Etage Contenu Modulo Valeur de L'étage bit 8 7 6 5 4 3 2 1 C2 0 0 0 0 0 1 1 1 512 2 * 8 = 16 Cl 0 0 0 0 01 0 0 0 * 1 = 0 La valeur finale du compteur est 23 - 7 = 16, ce qui correspond au montant que l'on souhaitait inscrire. Témoins anti-arrachement La mise en oeuvre du mécanisme anti-arrachement est illustrée par les tableaux ci-dessous (avec visualisation de la zone témoin), sur la base du même exemple (incrémentation d'une unité à partir d'un compteur dont la valeur est 15): Premier ordre décriture du bit 3 de C2 Etage Contenu Modulo Valeur de L'étage bit 8 7 6 5 4 3 2 1 _ C2 0 O O I 1 1512 2 * 8 = 16 RT1 0 0 0 0 0 0 0 ci 1 1 I1 I I 1 1 7 1= 7 Deuxième ordre d'écriture du bit 3 de C2 Etage Contenu Modulo Valeur de L'étage bit 8 7 6 5 4 3 2 1 _ C2 o O i. 1 1 512 2 *8 =16 RT1 0 0 0 0 0: O 0 0 7:iil i;i :iii;l0*= o777 C1....,..i -.:.7 7,..7.i.. f..o-.-.--:--7-.. 1 O 1 = Procédure de reprise Lorsque la carte est retirée du lecteur entre deux écritures, au moment de l'utilisation suivante de la carte sur un autre publiphone, une procédure spéciale est mise en oeuvre. En effet, le bit 3 de RT1 positionné indique une interruption du mécanisme de mise à jour du compteur au cours de la double écriture du bit 3 de C2. Il suffit donc de réaliser une séquence d'écriture sur le bit 3 de C2. Cela nécessite une double écriture dont le détail est identique à celui de la procédure normale (voir ci-dessus). Cette procédure établit le compteur dans la configuration finale attendue. Il ne reste plus alors qu'à écrire le bit 1 de C1 pour rétablir le compteur 1 dans une configuration légale. D'autre part les cartes à mémoire peuvent contenir un circuit d'authentification câblé et une logique de conditions d'accès par zones. Une demande de brevet français FR-2- 704 081 de France Télécom et de la Poste décrit une mise en oeuvre particulière de ces quelques fonctions pour réaliser une "carte porte-monnaie" à bas coût. Pour réaliser la fonction porte-monnaie à bas coût, la carte doit contenir trois zones: une zone solde, une zone compteur et une zone certificat. La zone certificat inclut l'identité du module de sécurité qui a généré le certificat et donc qui a encaissé le montant débit du porte-monnaie. La carte doit contenir des moyens pour que le compteur (accessible en lecture et en écriture mais non effaçable) soit incrémenté avant la mise à jour des zones solde et certificat Les zones solde et certificat sont accessibles en lecture et écriture mais ne sont effaçable que si le contenu du compteur a été incrémenté. La fonction porte-monnaie électronique s'appuie sur la réalisation d'une double procédure d'authentification, l'une dès le début de la transaction, pour établir l'authenticité de la carte et de son contenu initial, et l'autre à la fin de la transaction, après que le débit a été calculé et que le contenu de la mémoire a été mis à jour. La mise à jour du porte-monnaie consiste à incrémenter le compteur de une unité, à effacer l'ancien solde et l'ancien certificat, à écrire à la place le nouveau solde et le nouveau certificat L'inconvénient de la technique actuelle est qu'elle ne permet pas de gérer un mécanisme de reprise sur la zone solde + certificat en cas d'arrachement de la carte du terminal au cours de la séquence de mise à jour du solde et du certificat. Le mécanisme anti-arrachement ne porte que sur la zone des compteurs, mais il ne porte pas sur la zone solde + certificat. En effet, le solde et le certificat se retrouvent à zéro si la carte est arrachée entre le moment o le solde et le certificat sont effacés et le montant o les nouvelles valeurs du solde et du certificat sont écrites. De même, le solde et le certificat se retrouvent à une valeur indéterminée si la carte est arrachée durant la phase d'écriture du nouveau solde et du nouveau certificat. L'objet de rinvention est d'enrichir les mécanismes anti- arrachement d'une carte à mémoire afin de pouvoir gérer un mécanisme de reprise sur la zone solde + certificat avec la même efficacité que sur la zone des compteurs. Exposé de l'invention La présente invention propose une carte à mémoire comprenant: - une zone compteur constituée d'au moins deux niveaux de compteurs d'au moins deux bits chacun, utilisable selon le principe du boulier; - une première zone témoin constituée d'au moins deux registres témoins d'au moins deux bits chacun servant à visualiser le bon effacement des compteurs; caractérisée en ce qu'elle comprend une zone solde accessible en écriture et en lecture, et effaçable uniquement si le contenu de la zone compteur a été incrémenté et en ce qu'elle comprend une seconde zone témoin structurée en deux champs associée à la zone solde, I'écriture des bits du solde ayant lieu simultanément dans la zone solde ainsi que dans la seconde zone témoin, et en ce que la zone solde et la seconde zone témoin comprennent chacune un bit de validation permettant de savoir si le solde présent est complètement écrit. Elle comprend de plus une zone certificat accessible en écriture et en lecture, et effaçable uniquement si le contenu de la zone compteur a été incrémenté, une troisième zone témoin structurée en deux champs associée à la zone certificat, l'écriture des bits du certificat ayant lieu simultanément dans la zone certificat ainsi que dans la troisième zone témoin. La zone certificat et la troisième zone témoin comprennent chacune un bit de validation permettant de savoir si le certificat présent est complètement écrit. La présente invention vise plus particulièrement des cartes dans lesquelles la mémoire est effaçable électriquement, par exemple une mémoire de type EEPROM, c'est-à-dire une mémoire morte électriquement programmable et électriquement effaçable. Une application courante des cartes à mémoire est celle des cartes prépayées. Dans de telles cartes, les cases de la mémoire sont initialement dans un certain état, et cet état est modifié en réponse à des impulsions externes correspondant à des unités de coût d'un service quelconque fourni par un lecteur dans lequel est insérée la carte. L'invention s'applique également dans d'autres utilisations o des unités de compte sont enregistrées dans la carte et sont décrémentées ou incrémentées au fur et à mesure de l'utilisation; ces unités peuvent avoir une valeur monétaire ou non. Cette carte à mémoire peut également être une carte du type télécarte. La présente invention concerne également un procédé d'anti- arrachement de carte à mémoire utilisée en mode porte-monnaie, caractérisé en ce que: - un bit de validation permet de savoir sans ambiguïté si le solde présent est complètement écrit, ce bit de validation étant positionné en mettant en oeuvre un mécanisme de double écriture, le solde étant réputé non écrit si ce bit n'est pas positionné; - un mécanisme de reprise de transaction à partir du solde antérieur s'appuie sur une zone registre témoin d'un champ de données (le solde par exemple) elle-même structurée en deux champs. De même: - un bit de validation permet de savoir sans ambiguïté si le certificat présent est complètement écrit, ce bit de validation étant positionné en mettant en oeuvre un mécanisme de double écriture, le certificat étant réputé non écrit si ce bit n'est pas positionné; - un mécanisme de reprise de transaction à partir du certificat antérieur s'appuie sur une zone registre témoin d'un champ de données ee- même structurée en deux champs. Avantageusement on réalise une écriture simultanée dans une zone solde et dans une zone témoin. La zone témoin est gérée par le circuit de la carte,/haque zone témoin est découpée en deux zones. La bascule entre les zones témoins est gérée grâce à la valeur d'un bit de validation de chaque zone témoin ou par la valeur respective du solde et du solde témoin si ces bits de validation sont égaux. Chaque zone témoin est effacée en cas de remise à zéro si le bit de validation correspondant n'est pas positionné. La double écriture du bit de validation provoque l'effacement de la zone témoin correspondant au solde précédent. S -La présente invention permet la mise en place de systèmes à prépaiement dits ouverts. On désigne par là des systèmes impliquant un organisme émetteur de monnaie électronique, des utilisateurs possédant des cartes préchargées par l'émetteur, et des terminaux aptes à fournir certaines prestations, à débiter les cartes en conséquence et à collecter les montants provenant de plusieurs cartes. L'organisme propriétaire de ces terminaux est rétribué par l'émetteur selon la quantité d'unités qu'il a collectées. Le caractère ouvert de ce système vient de ce que l'organisme émetteur n'est pas nécessairement confondu avec les prestataires possédant les terminaux. Si l'invention s'applique de manière privilégiée à de tels systèmes, parce qu'elle permet de résoudre certains problèmes liés au caractères "ouvert", elle n'est pas limitée pour autant à ces seuls systèmes et pourrait aussi bien s'appliquer à des systèmes fermés, ou l'organisme émetteur serait le propriétaire des terminaux. Brève description des figures - La figure 1 illustre le schéma bloc du composant d'une carte de type T2G; - la figure 2 illustre une image mémoire, dans laquelle sont mis en évidence les mécanismes internes mis en oeuvre par une carte T2G simple, par une carte T2G "porte-monnaie" et les mécanismes supplémentaires mis en oeuvre dans le cadre de l'invention. Exposé détaillé de modes de réalisation On ne mentionnera ci-après, par souci de simplicité, que des cartes à mémoire car il s'agit d'un support plus couramment utilisé, mais il est clair que tout autre support portable peut être utilisé. La suite de la description porte sur le mécanisme anti- arrachement concernant le solde du porte-monnaie. Il est bien évident que le même mécanisme peut être appliqué au certificat (preuve d'authenticité). Deux mécanismes complémentaires permettent d'atteindre l'objectif précédent: Dans un premier mécanisme, un bit de validation permet de savoir sans ambiguïté si le solde présent est complètement écrit. Ce bit de validation est positionné en mettant en oeuvre un mécanisme de double écriture. Ce bit de validation garantit que le solde correspondant est complètement écrit, qu'il s'agisse du solde proprement dit ou du témoin de solde. Il est écrit (par l'application) lorsque le solde correspondant a été lui-même écrit. Si ce bit n'est pas positionné, le solde est réputé non écrit; Un second mécanisme de reprise de la transaction à partir du solde antérieur s'appuie sur une zone registre témoin d'un champ de données (le solde par exemple) elle-même structurée en deux champs. Le fonctionnement de rinvention est le suivant: Type de Contenu Bit de zone 8 7 6 5 4 3 2 validation dû....-X-"".....,''...... Le bit de validation (bit de rang 1) garantit que le solde correspondant est complètement écrit, qu'il s'agisse du solde proprement dit ou du témoin de solde. Il est écrit (par l'application) lorsque le solde correspondant a été lui-même écrit. Si ce bit n'est pas positionné, le solde est réputé non écrit Ce bit de validation est positionné en mettant en oeuvre un mécanisme de double écriture. Les bits du solde son écrits par simple écriture, simultanément, dans la zone solde et dans une zone témoin (par exemple la zone témoin 1) tout comme les bits témoins de la zone compteur. Une fois le solde complètement écrit, le bit de validation dans la zone solde et dans la zone témoin associée autorise l'effacement de l'autre zone témoin (zone 2, dans l'exemple précédent) par double écriture. Les mécanismes internes mis alors en oeuvre par une carte T2G sont illustrés sur la figure 2. La carte ne connaît que trois commandes élémentaires: - remise à zéro; incrémentation et lecture; - écriture. L'image mémoire de la carte comprend trois zones: o10 - la zone I correspond à la carte T2G actuelle (légèrement réaménagée); - la zone I I correspond à la carte T2G "porte-monnaie"; - la zone I I I correspond à l'invention. "v" représente un bit de validation Ces mécanismes peuvent être subdivisés en: Mécanismes internes mis en oeuvre par la T2G "simple" L'écriture d'un bit de Cn+1 comprend: - une première écriture qui: * autorise l'effacement de l'ensemble des bits du compteur Cn, * provoque l'écriture simultanée d'un bit dans RTn à la même position que le bit de Cn+1; - une seconde écriture qui: * efface l'ensemble des bits du compteur Cn, * efface simultanément le bit témoin. Mécanismes supplémentaires mis en oeuvre par la T2G "porte-monnaie" Les montants sont comptés dans la zone "solde" et pas dans la zone "compteur. La zone IV est effaçable seulement après incrémentation du compteur et elle entre dans le calcul de la signature. Mécanismes supplémentaires mis en oeuvre dans le cadre de l'invention L'écriture du bit de validation peut se subdiviser: - une première écriture du bit de validation qui provoque l'écriture simultanée du bit de validation du témoin I de solde "libre", et qui autorise l'effacement du témoin 2 de solde. Les bits de solde sont écrits simultanément dans la zone solde et dans la zone témoin libre; -une deuxième écriture du bit de validation qui provoque l'effacement de la totalité des bits de la zone 2 solde. Il en est de même pour la zone certificat (module identité) L'incrémentation du compteur provoque l'effacement des zones "solde" et "certificat ainsi que celui des zones témoins "solde" et "certificat" dont le bit de validation est à 0. Le bit témoin ne doit être écrit par l'application que lorsque le solde lui-même est écrit. On va à présent considérer des modes particuliers de réalisation. Supposons que la situation de départ soit la suivante: un solde d'un montant quelconque est inscrit et validé (bit de validation à 1) dans la zone solde. Le solde témoin est inscrit et validé dans la zone témoin 2. Dans cet exemple, le solde et ses témoins sont supposés tenir chacun sur 8 bits (7 bits pour le solde proprement dit et un bit de validation). Type de Contenu Bit de zone 8 7 6 5 4 3 2 validation 01: X. X Xa A partir du moment o un nouveau solde doit être inscrit dans la carte, le compteur de transaction est incrémenté, ce qui provoque l'effacement du solde courant et du bit de validation associé (de même que l'effacement le cas échéant du témoin dont le bit système est à "0"). Type de Contenu Bit de zone 8 |7 |6 5 |4 |3 |2 validation existe dans la zone témoin validée. Un mécanisme de reprise peut donc démarrer à partir de la lecture du montant inscrit dans le témoin valide (le témoin 2 dans ce cas). Supposons que le nouveau solde à inscrire soit 32+16+2 = 50 unités. L'écriture du nouveau solde se fait à la fois dans la zone solde et dans la zone témoin "libre" (celle dont le bit témoin est "0"). Type de Contenu Bit de zone 8 |7 6 5B| 4 |3 |2 validation Tant que le bit de validation n'est pas positionné, le solde n'est pas réputé écrit, en particulier, on ne sait pas si le bit de poids faible devait être écrit ou non. Le seul solde sur est le solde précédent qui se trouve dans la zone témoin validée (c'est-à-dire dans la zone témoin 2, celle qui a le bit de validation à "1"). Ici aussi un mécanisme de reprise peut démarrer à partir de la lecture du montant inscrit dans le témoin valide (le témoin 2 dans ce cas). Préalablement une double écriture sur le premier bit disponible du compteur de transaction aura remis à zéro le solde et le témoin dont le bit de validation est à "0". Si l'application estime que le solde inscrit est correct, le bit de validation est positionné. L'écriture du bit de validation dans la zone solde s'accompagne de l'écriture simultanée du bit de validation dans la zone témoin associée et autorise l'effacement de l'autre zone témoin (zone 2. dans l'exemple précédent) par double écriture. Type de Contenu Bit de zone I8 | 7 | 6] 5 | 4 | 3 2 validation Téoi 2 _____! i :? =. =r.-.. ...,. ==. _ . =s Si la carte est retirée du publiphone à ce moment là, un mécanisme de reprise est possible. Il suffit de constater la coïncidence entre le solde (y compris son bit de validation) et l'une des zones témoin de poursuivre les opérations à partir de ce point. La double écriture du bit témoin provoque l'effacement de la zone témoin obsolète (celle qui ne coïncide pas avec le solde). Type de Contenu Bit de zone 8 |7 |6 | 5 | 4 | 3 2 validation Avec cette opration s'achve la ise jour du solde. Avec cette opération s'achève la mise à jour du solde. Une variante de l'invention consiste à traiter le bit témoin de la façon suivante: l'écriture du bit de validation dans la zone solde s'accompagne de l'écriture simultanée du bit de validation dans la zone témoin associée et de l'effacement du bit témoin de l'autre témoin (zone 2, dans l'exemple précédent), la double écriture du bit système provoquant l'effacement du témoin lui même par double écriture. REVENDICATIONS 1. Carte à mémoire comprenant: - une zone compteur constituée d'au moins deux niveaux de compteurs d'au moins deux bits chacun, utilisable selon le principe du boulier; -une première zone témoin constituée d'au moins deux registres témoins d'au moins deux bits chacun servant à visualiser le bon effacement des compteurs; caractérisé en ce qu'elle comprend une zone solde accessible en écriture et en lecture, et effaçable uniquement si le contenu de la zone compteur a été incrémenté et en ce qu'elle comprend une seconde zone témoin structurée en deux champs associée à la zone solde, I'écriture des bits du solde ayant lieu simultanément dans la zone solde ainsi que dans la seconde zone témoin, et en ce que la zone solde et la seconde zone témoin comprennent chacune un bit de validation permettant de savoir si le solde présent est complètement écrit. 2. Carte à mémoire selon la revendication 1, caractérisée en ce qu'elle comprend une zone certificat accessible en écriture et en lecture, et effaçable uniquement si le contenu de la zone compteur a été incrémenté et en ce qu'elle comprend une troisième zone témoin structurée en deux champs associée à la zone certificat, l'écriture des bits du certificat ayant lieu simultanément dans la zone certificat ainsi que dans la troisième zone témoin, et en ce que la zone certificat et la troisième zone témoin comprennent chacune un bit de validation permettant de savoir si le certificat présent est complètement écrit. 3. Carte à mémoire selon la revendication 1, caractérisée en ce qu'elle comprend une mémoire effaçable électriquement. 4. Carte à mémoire selon la revendication 3, caractérisée en ce que la mémoire est de type EEPROM. 5. Carte à mémoire selon l'une quelconque des revendications précédentes, caractérisée en ce qu'elle est du type carte prépayée. 6. Carte à mémoire selon l'une quelconque des revendications 1 à 4, caractérisée en ce qu'elle est apte à enregistrer des unités de compte, celles-ci étant décrémentées ou incrémentées au fur et à mesure de l'utilisation, ces unités ayant ou non une valeur monétaire. 7. Carte à mémoire selon l'une quelconque des revendications I à 4, caractérisée en ce que c'est une carte du type télécarte. 8. Procédé d'anti-arrachement de carte à mémoire utilisée en mode portemonnaie, caractérisé en ce que: - un bit de validation permet de savoir sans ambiguïté si le solde présent est complètement écrit, ce bit de validation étant positionné en mettant en oeuvre un mécanisme de double écriture, le solde étant réputé non écrit si ce bit n'est pas positionné; - un mécanisme de reprise de transaction à partir du solde antérieur, qui s'appuie sur une zone témoin d'un champ de données, elle-même structurée en deux champs. 9. Procédé selon la revendication 8, caractérisé en ce que: - un bit de validation permet de savoir sans ambiguïté si le certificat présent est complètement écrit, ce bit étant positionné en mettant en oeuvre un mécanisme de double écriture, le certificat étant réputé non écrit si ce bit n'est pas positionné; - un mécanisme de reprise de transaction à partir du certificat antérieur, qui s'appuie sur une zone registre témoin d'un champ de donnée elle-même structurée en deux champs. 10. Procédé selon la revendication 8, caractérisé en ce qu'on réalise une écriture simultanée dans une zone solde et dans une zone témoin. 11. Procédé selon la revendication 8 ou la revendication 9, caractérisé en ce que chaque zone témoin est gérée par le circuit de la carte. 12. Procédé selon la revendication 11, caractérisé en ce que chaque zone témoin est découpée en deux zones. 13. Procédé selon la revendication 12, caractérisé en ce que la bascule entre les zones témoins est gérée grâce à la valeur d'un bit de validation de chaque zone témoin ou par la valeur respective du solde et du solde témoin, si les bits de validation sont égaux. 14. Procédé selon la revendication 13, caractérisé en ce qu'une zone témoin est effacée en cas de remise à zéro si le bit de validation correspondant n'est pas positionné. 15. Procédé selon la revendication 14, caractérisé en ce que la double écriture du bit de validation provoque effacement de la zone témoin correspondant au solde précédent.