FR 2608297 A1 19880617 FR 8617563 A 19861216 i 2608297 PROCEDE DE COMPTAGE-DECOMPTAGE, NOTAMMENT POUR DES OPERATIONS DE PAIEMENT ELECTRONIQUE, A L'AIDE DE PLUSIEURS ESPACES-MEMOIRE DESCRIPTION La présente invention a pour objet un procédé de comptage-décomptage. Bien que pouvant s'appliquer à des grandeurs quelconques (nombre d'impulsions, de pièces détachées, d'objets divers...), le procédé de l'invention trouve une application particulière au comptage-décomptage de valeurs fiduciaires, autrement dit de monnaie. Le procédé de l'invention est donc, en particulier, un procédé de paiement électronique. Dans la demande de brevet français n 85/17778 déposée le 2.12.1985, il est décrit un procédé de paiement électronique à l'aide d'une carte à mémoire. Cette mémoire est divisée en deux zones de même capacité, l'une dite de paiement (ZP), l'autre dite de rechargement (ZR). Ces zones sont initialement chargées de bits à un premier état logique noté 1 pouvant être mis dans un second état logique noté 0. Les bits ont, dans ces deux zones, un rang déterminé, un bit x dans la première zone étant dit homologue d'un bit y dans la seconde zone, s'ils ont même rang. Des bits homologues définissent alors un couple (x, y), dont les différents états sont (1,1), (1,0), (0,1) et (0,0). Selon ce procédé, les opérations de débit ou de crédit s'effectuent de la manière suivante. Pour simuler un débit on crée un couple (0,1), et on crée éventuellement un couple (1,0) pour simuler une butée au-delà de laquelle on ne peut pas écrire de couples simulant un débit; on crée par ailleurs des couples (0,0) pour annuler des opérations antérieures de débit ou des butées. Pour calculer le crédit ou solde d'une telle mémoire après un débit on considère le nombre de couples (1,1) dont le rang est supérieur ou égal à I (ou au rang du couple (0,1) de rang le plus élevé qui simule la dernière opération de débit lorsqu'un tel couple (0,1) existe), et inférieur au rang du couple butée (1,0) si une telle butée existe ou au dernier couple 2 2608297 (1,1) de la mémoire. Pour simuler une opération de crédit, on grille des bits dans la zone de rechargement pour annuler des opérations de débit antérieures en faisant passer les couples (0,1) à l'état (0,0), ces couples étant ignorés par la suite; on annule le couple butée (1,0) en grillant le bit à 1 de la zone de paiement pour faire passer le couple à l'état (0,0), ce couple étant ignoré par la suite; et l'on fait passer un couple (1,1) à l'état (1,0) pour créer un nouveau couple butée. Dans un tel procédé, un couple (1,1) représente l'unité de paiement. Effectuer une opération de crédit ou de débit de X unités nécessite la présence de X couples libres à l'endroit ad hoc dans la mémoire de la carte. L'inconvénient de ce procédé tient au fait que, selon l'unité choisie, la taille de la mémoire utile peut être assez grande. Par exemple, il est nécessaire d'utiliser une mémoire de 000 bits pour créditer la carte de 700F en choisissant comme unité le centime. Le but de la présente invention est de remédier à cet inconvénient. A cette fin, on utilise plusieurs espaces mémoire formés chacun d'une zone de paiement et d'une zone de rechargement. Ces espaces mémoire sont rangés selon la valeur que l'on attribue à leurs couples libres (1,1). Ces val-eurs sont des multiples d'une unité choisie. Par exemple, un espace mémoire 0 aura pour unité le centime et un espace mémoire 1 aura pour unité le franc. Pour simplifier l'exposé de l'invention, on supposera que l'on utilise seulement deux espaces mémoire, le principe pouvant se généraliser aisément à plus de deux espaces. Le premier espace noté EMO, sera l'espace des unités (par exemple des centimes), et le second, noté EM1, celui des centaines d'unités, (donc des francs dans l'hypothèse précédente). L'espace EMO nécessitera une réservation constante d'au moins 99 couples libres (ce qui correspond à 99 cenntimes). La taille de l'espace EM1 sera, elle, fonction du crédit à recharger dans la carte. 3 2608297 Dans l'espace mémoire EM1 ayant L'unité la plus élevée (celle des francs), le nombre de couples libres à l'état (1,1) et de couples de paiement à l'état (0,1) situés entre le début de la zone et le dernier couple de paiement (0,1), couple compris, représente toujours des opérations antérieures de débit, comme dans l'art antérieur cité. Le nombre de couples libres à l'état (1,1) entre le couple de paiement à l'état (0,1) de rang le plus élevé, ou à partir du rang 1 compris s'il n'y a pas de couple de paiement à l'état (0,1) et le couple butée à l'état (1,0) représente le solde de la carte exprimé dans l'unité propre à l'espace mémoire EM1 (donc en francs). Dans l'espace mémoire EMO d'unité plus petite (par exemple des centimes), le nombre de couples libres (1,1) et de couples de paiement (0,1) situés entre le début de la zone et le dernier couple de paiement (0,1) compris représente un montant qui, par convention, peut être soit soustrait, soit ajouté au solde lu dans l'espace EM1 d'unité plus grande. L'utilisation d'un espace mémoire supplémentaire, ayant une unité plus faible, permet d'obtenir la précision souhaitée sans pour autant augmenter la capacité de la mémoire. Par exemple, on pourra effectuer des transactions financières au centime près, sans avoir une mémoire de très grande capacité comme dans l'art antérieur. Par ailleurs, L'espace mémoire supplémentaire de faible unité n'a pas à présenter une capacité égale à la somme de toutes les unités qu'il faudra pouvoir traiter. En effet, par un mécanisme de retenue, on modifiera le solde de l'espace mémoire de plus forte valeur d'une unité supplémentaire lorsque le montant qui serait à écrire dans l'espace mémoire de faible valeur atteindrait ou dépasserait l'unité de valeur supérieure (par exemple lorsque ce montant atteint ou dépasse 100 centimes). Il suffit que l'espace mémoire de plus faible valeur présente un nombre suffisant de couples libres à l'état (1,1) pour qu'une transaction impliquant des centimes soit toujours possible. Naturellement, si les opérations de débit ou de crédit 4 2 2608297 portent sur un nombre entier d'unités de L'espace mémoire EM1 ces opérations ne modifieront que le contenu de cet espace mémoire. Il faut noter qu'une opération portant sur un compte rond ne consomme au total que deux bits. Mais la précision du centime oblige à consommer 4 bits quel que soit Le montant. Ne connaissant pas forcément à L'avance le nombre de paiements à effectuer, il peut se poser Le problème du dimensionnement de la zone des centimes. A cet effet, les espaces mémoire EM0 et EM1 peuvent être refondus en une seule mémoire de la manière suivante: l'espace des centimes débute à une extrémité de la mémoire, l'espace des francs débute à l'autre extrémité de la mémoire. Les deux espaces sont séparés par le couple butée (état (1,0)) de l'espace des francs, cette butée pouvant être déplacée. Ainsi, tant que l'espace des centimes dispose de 99 couples libres (état 1,1), il sera possible d'effectuer des paiements avec la précision des centimes. Les caractéristiques de l'invention apparaîtront mieux après la description qui suit, d'exemples de réalisation de l'invention donnés à titre explicatif et non limitatif. Cette description se réfère à des dessins annexes sur lesquels: - la figure 1 illustre l'état initial de la mémoire, - la figure 2 illustre l'écriture d'une butée dans la zone de rechargement de la zone des francs, - la figure 3 illustre une opération de premier paiement, - la figure 4 illustre une opération de deuxième paiement, - la figure 5 montre l'état de la mémoire en fin de première utilisation, - la figure 6 illustre l'opération de détermination du montant à recharger dans une carte, - la figure 7 illustre l'opération de mise à (0,0) des couples (0, 1) et (1,0) lors du rechargement, - la figure 8 montre l'état de la mémoire après écriture d'une nouvelle butée (1,0), 2608297 - La figure 9 montre un organigramme de débit, - La figure 10 montre un organigramme de rechargement, - La figure 11 montre une variante de réalisation dans laquelle Les espaces mémoire sont contigus, - La figure 12 illustre, dans cette variante une opération de crédit, - La figure 13, illustre, toujours dans cette variante une opération de rechargement. Dans La description qui suit, on emploiera une terminologie évoquant les transactions financières: débit, crédit, solde, francs, centimes, etc... Mais il est clair qu'il ne s'agit Là que d'une application particulière de l'invention, celle-ci s'appliquant plus généralement à toute opération de décomptage (réduction du contenu d'un compteur) ou de comptage (augmentation de ce contenu). On se placera tout d'abord dans la variante o la mémoire est partagée en deux espaces travaillant avec deux unités différentes, les centimes pour l'un, les francs pour l'autre. On indiquera ultérieurement comment utiliser plus de deux espaces mémoire, dont les unités ne sont pas nécessairement dans un rapport 100. Chacun des espaces mémoire EMO et EM1 comprend une zone de paiement (respectivement ZPO et ZP1) et une zone de rechargement (respectivement ZRO et ZR1). L'état initial de ces différentes zones est représenté sur la figure 1: tous les bits sont à 1. Un bit à O dans la zonne de rechargement de EM1 définit une butée BB1 limitant le crédit disponible dans EM1. Une première transaction correspondant à un paiement P1=462 unités est effectuée par un terminal point de vente dans lequel est introduite la carte, en comptant, depuis le début de ZP1 un nombre de 1 égaL au nombre de centaines d'unités de P1 ici (P1) 1=4 francs, et depuis le début de la zone (ZP) un nombre de 1 égal au nombre d'unités de P1 ici (P1) 0=62 centimes. Le premier bit à griller (BG1)1 est au rang 4 de la zone ZP et débite la carte de (P1) 1=400 unités (ou centimes); le second 6 2608297 bit à griller est au rang 62 de la zone ZP et débite la carte de (P1) 0=62 unités (ou centimes). Ces deux bits sont mis à zéro dans la zone ZP. Une deuxième transaction correspondant à un paiement d'un montant P2=1041 est obtenue en grillant non pas le 103ème bit de la zone (ZP)0 (62+41) mais le troisième bit (BG2)O (ou 3ème couple libre): la compensation de la centaine manquante est obtenue en grillant le 11ème bit (BG2)1 à partir de (BG1)1 au lieu du 10ème dans la zone ZP1. Pour reconnaître le nouveau bit courant (BG2)0 de la zone (ZP)0, le couple correspondant à (BG1)0 est annulé en grillant son bit homologue dans la zone (ZR)O. Ces paiements sont possibles puisque le nouveau solde de la carte est de 500 unités dans l'espace EM1 moins 3 unités inscrites dans l'espace EMO, soit 497 unités. Dans la pratique, le terminal point de vente ne pourra écrire que dans les deux zones de paiement et dans la zone de rechargement de l'espace EMO. L'écriture dans la zone de rechargement de l'espace EM1 sera protégée soit au moyen d'une clé détenue uniquement par l'organisme émetteur de la monnaie, soit en écrivant dans une partie de la mémoire de la carte, à chaque rechargement, le nombre de bits à 0 dans la zone (ZR)1, cette écriture ne pourra se faire que sous présentation de la clé de l'organisme émetteur: le terminal point de vente vérifiera la cohérence entre nombre de bits à 0 dans la zone (ZR)1 et le nombre écrit au dernier rechargement. Ces opérations de rechargement s'effectuent donc en introduisant la carte dans un terminal spécial, qui est un terminal de chargement. Ce terminal calcule d'abord le montant résiduel MR en soustrayant au montant résiduel MR1 lu dans l'espace EM1 (c'est le nombre de couples (1,1) qui subsistent entre le dernier couple (0,1) de rang le plus élevé et le couple définissant la butée (1,0) voir figure ), le montant MO lu dans EMO. Puis il calcule le nouveau montant à recharger en additionnant au montant résiduel MR, la somme versée SV par le titulaire de la carte. Le terminal cherche ensuite le nouveau bit à griller pour constituer une butée. Pour 7 2608297 cela, il compte, depuis le début de la zone 1, un nombre de couples libres (1,1) égal au montant à recharger SV1+MR1 en centaines d'unités plus une centaine d'unités et depuis le début de la zone 0, un nombre de couples libres (1,1) égal à 100 unités moins (SVD+MRO) unités. Par exemple recharger 1403 unités revient à créditer 1500 unités dans l'espace EM1 et à inscrire un montant de 97 unités dans l'espace EMO. La mise à jour de la zone 0 se fait en effaçant le dernier montant inscrit (couple (0,1) devient (0,0) et en inscrivant le nouveau montant (le couple (1,1 devient (0,1)) après comptage des couples libres. Si SV1=SV, comme c'est le cas sur la figure 6, MR1=400 unités MO=03, l'espace EMO n'est pas modifié. Les couples à l'état (1,0), (0,1) et (0,0) sont ignorés dans ce comptage. Si le nombre de couples à l'état (1,1) est inférieur au montant à recharger (SV1+MR1+1) plus 1, dans l'espace EM1 ou si on ne dispose plus de 99 couples libres dans l'espace 0, l'opération est impossible. Le rechargement précédent est remis à zéro en faisant passer tous les couples (1,0) et (0,1) à l'état (0,0) dans l'espace EM1 (figure 7). Ces couples (0,0) seront ensuite ignorés dans toutes les opérations ultérieures. Finalement le terminal grille le bit BB2 qui définit-la nouvelle butée (figure 8). Dans la description qui précède le montant inscrit dans l'espace mémoire EMO vient en déduction du solde disponible dans l'espace mémoire EM1. Mais on peut adopter une autre convention en considérant que le montant écrit dans l'espace EMO est à ajouter au solde disponible dans l'espace EM1. Ainsi, l'espace EM1 fonctionne toujours de la même manière, mais l'espace EMO peut fonctionner selon une première variante dans laquelle on soustrait le montant inscrit dans EMO du solde de EM1 et une seconde variante dans laquelle on ajoute le montant de EMO à ce solde. Pour mieux faire comprendre ce principe, on prendra l'exemple suivant, qui correspond toujours au cas d'une mémoire à deux espaces, l'un pour les francs, l'autre pour les centimes. 8 2608297 Le solde initial est supposé égal à 50F. Une première opération de débit de 10F68c est effectuée, puis une seconde de F65c. On effectue ensuite un versement de 50F55c. Dans le tableau suivant, la partie gauche correspondant à la première variante o le montant écrit dans l'espace mémoire des centimes est soustrait au solde de l'espace mémoire des francs (on a donc toujours un nombre négatif dans la colonne "écriture EMO"). La partie droite correspond à la seconde variante o le montant écrit dans l'espace des centimes est ajouté au solde (on a donc toujours un nombre positif dans la colonne "écriture EMO). Naturellement, dans les deux cas le solde global est le même. I ECRITURE | ECRITURE | SOLDE I ECRITURE I ECRITURE I I EM1 | EMO l l EM1 | EMO I solde | l l l l l initial | +50 | | 50 | +50 1 l l1er débit -(10+1) (100-68) écriture -10 -68 39,32 =-11 =+32 ,68 ------------I----- --- ------ ----------I- - J 2ème débit| -(10+1) | (100-68 | | 10+1 | (100-65 | I écriture =-11 -65) =-33 28,67 =-11 +32)=+67 ,65 Iversement:1 | 50,55 1 +80 -78 79,22 +79 +22 Les figures 9 et 10 représentent des organigrammes illustrant la mise en oeuvre de l'invention, respectivement pour un débit D (figure 9) et pour un rechargement R (figure 10). Les opérations ou tests apparaissant dans 9 2608297 l'organigramme de la figure 9 ont la signification suivante, o bO et bl représentent les unités des espaces EMO et EM1, Cl un nombre de couples libres à l'état (1,1), S un solde: : lecture de la mémoire, espace EMO et espace EM1, 102: Lecture du solde de L'espace EM1: Clbl, 104: lecture du montant inscrit dans EMO, soit mObO, 106:première variante: solde EM1: Slb1=Clb1-1 solde EM2: SObO=100-mObO, 108:deuxième variante: solde EM1: S1bl=Clbl solde EM2: SObO=mObO, :calcul du solde global: S = Slb1+SObO, 112:saisie du montant à soustraire d=dlbl+dObO, 114: le montant d est-il inférieur ou égal au solde S ? 116:première variante: on calcule le nouveau montant mObO+dObO, 118:deuxième variante: on calcule le nouveau montant mObO+(100-dObO), :mObO est-il supérieur à 99 ? 122:on écrit dans EMO un couple de bits (0,1) au rang mObO compté à partir du dernier couple (0,1), 124:on annule les couples (0,1) en les faisant passer à (0, 0) dans EMO, 126:on calcule un nouveau montant égal à mObO-100, 128:on écrit un couple (0,1) au couple de rang mObO de EMO, 130:première variante: on calcule dlb1+1, 132:deuxième variante: on calcule dlb1-1, 134:première variante: on écrit un couple (0,1) au rang dlbl compté à partir du dernier couple (0,1) dans EM1, 136:deuxième variante: on écrit un couple (0,1) au rang dlb1+1 compté à partir du dernier couple (0,1) en EM1, 138:fin. Dans cet organigramme, en cas de réponse négative au test 114 on renvoie au programme de rechargement R décrit figure 10. Dans l'organigramme de rechargement les opérations ou , a2608297 tests ont la signification suivante: : calcul du versement maximum V! par la relation VM = nombre de couples (1,1)-1-99-une marge- (Clb1+1), o la marge est égale au nombre de paiements avec la précision du centime, estimé entre deux rechargements, 202: afficher VM, 204: saisie du versement V exprimé par Vlbl+VObO, 206: VM est-il supérieur ou égal à Vlbl ? 208: y-a-t-il un autre versement à effectuer ? 209: fin du programme, 210: VObO est-il nul ? 212: calcul du nouveau crédit S égal à l'ancien crédit plus le versement V, avec S = Slbl+SObO, 214: annulation des couples (0,1) en (0, 0) dans l'espace mémoire EMO, 216: première variante: écriture d'un couple (0,1) pour obtenir un nombre de couples (1,1) en espace mémoire EMO égal à mObO = 100-SObO, 218: deuxième variante: écriture d'un couple (0,1) pour obtenir un nombre de couples (1,1) en espace mémoire EMO égal à mObO=SObO, 220: annulation des couples (0,1) et (1,0) en (0,0) dans l'espace mémoire EM1, 222: annulation des couples (0,1) et (1,0) en (0,0) dans l'espace mémoire EM1, 224: écriture d'une butée (1,0) laissant (Slb1+1) couples (1,1) dans l'espace EM1, 226: écriture d'une butée (1,0) laissant Slbl couples (1,1) dans l'espace EM1, 228: écriture d'une butée (1,0) laissant Clbl (solde initial dans EM1)+Vlbl couples (1,1) dans l'espace mémoire EM1. L'une des opérations 224, 226, 228 étant effectuée, on retourne au programme de débit D représenté sur la figure 9. Dans la description qui précède, les espaces mémoire semblent physiquement séparés. Il ne s'agit là évidemment que 11 6 C> d'un artifice de représentation. En réalité tous ces espaces peuvent appartenir à une même mémoire. On peut même utiliser une variante avantageuse qui consiste à juxtaposer deux espaces mémoire et à créer une borne de séparation qui peut être déplacée. C'est ce qu'illustrent les figures 11 à 13. Sur la figure 11, on retrouve sensiblement la situation qui avait été illustrée sur la figure 4 avec cette différence que Les espaces mémoire EM1 et EMO sont mis bout à bout et sont séparés par une borne B (couple 1, 0). Lors d'une opération de rechargement illustrée par la figure 12, (qui correspond à la figure 6), il apparait que la borne constituant la butée de l'espace EM1 doit être repoussée de deux rangs. C'est ce qui est fait lors de rechargement (figure 13), la borne séparant les deux espaces venant alors en B'. L'espace mémoire EM1 s'agrandit donc aux dépend de l'espace EMO. Ce processus ne peut naturellement se poursuivre que tant que l'espace mémoire EMO comprend au moins 99 couples libres (1,1) (ou, d'une façon plus générale b1-1). On peut généraliser ce principe en utilisant plus de deux espaces mémoire mis bout à bout, qui constituent une seule mémoire. Les bornes séparant les divers espaces peuvent être déplacées. L'espace de plus fort poids est défini par le premier couple de bits et la première butée; et chaque espace mémoire de plus faible poids commence à compter de la butée (couple à l'état (1,0)) qui le sépare de l'espace de poids directement inférieur. Dans la description qui précède, l'accent a été mis sur le cas o l'espace mémoire EMO travaille avec des centimes et l'espace mémoire EM1 avec des francs. L'unité de l'espace EM1 est donc égale à 100 fois l'unité de l'espace EMO. Le dimensionnement de l'espace EMO doit donc être tel qu'il y ait toujours au moins 99 couples disponibles. Si l'on utilise des unités qui ne sont plus dans le rapport 100, et plus de deux zones, il convient de préciser comment on va dimensionner chaque espace mémoire. L'unité de chaque espace mémoire est toujours un multiple d'une unité de base, celle de l'espace de plus faible 12 n c2608297 poids EMO. Le contenu d'un espace i, soit EMi, est donné par l'expression aibi o bi représente l'unité de cet espace et ai un nombre égal au nombre de couples libres à l'état (1,1) dans cet espace. Pour représenter un nombre multiple de l'unité de base, dans un système par exemple à trois espaces mémoire travaillant avec des unités bO, bl, b2, il faut que le dimensionnement des trois espaces remplisse les conditions: aObO > = b1-1 et albl + aObO > = b2-1. Si aObO=bl-1 on a alors a1≥(b2/b1)-1. Soit q le quotient b2/bl; alors al doit être égal à q, sauf si b2=k1b1. Dans ce cas al doit être égal à k1-1. Si b(i+l)=kibi, a(i+l)=k(i+l)-I quel que soit i, on aura une unicité de la représentation du nombre dans les espaces. Si tous les ki sont égaux, on est dans le cas particulier du système de représentation des nombres: tout nombre possède une seule représentation aO+albl+anbn avec O≤a≤b-1. Un exemple fera comprendre la manière dont on dimensionne divers espaces mémoire. Il correspond au cas o l'on utilise quatre espaces mémoire, EMO à EM3, travaillant avec des unités de valeurs égales respectivement à 1, 4, 32 et 128. La lettre X représente un couple libre à l'état (1,1): Espace EMO avec bO=1 1 2 3 3 couples (aO=3): X X X Espace EM1 avec b1=4 4 8 12 16 20 24 28 7 couples (a1=7): X X X X X X X Espace EM2 b2=32 32 64 96 3 couples (a2=3): X X X Espaces EM3 b3=128 128 256 684 512 640 etc... X X X X X A titre d'exemple, on peut utiliser des mémoires de 50 mots de 32 bits, dont 28 sont utiles (4 bits sont réservés pour le système d'exploitation de la carte). Les tailles des zones de paiement et de rechargement sont donc de 25x28=700 bits. Le nombre de bits grillés par paiement est de 2 en considérant que 13 2608297 la précision des centimes sera toujours nécessaire. Le nombre théorique de paiements est de 700-99 divisé par 2 soit 300. Ce nombre est approximatif compte tenu des 2 bits supplémentaires grillés par rechargement nécessaire pour définir la butée, des bits restant en fin de validité de la carte (rechargement et paiement minima), et du paiement de somme ronde ne consommant qu'un seul bit. De façon plus précise on peut prendre l'exemple d'un rechargement constant minimum de 10000 unités et de paiements moyens de 1000 unités, la moitié des paiements exigeant une précision de l'unité. Le nombre de butées inscrites est donné par le nombre de rechargements. A raison de 10 paiements par rechargement, le nombre de bits grillés par rechargement est de 16 par zone, d'o le nombre de rechargements est égal à 700-100- 99-5 (bits utilisables) divisés par 16 soit 31. On ne peut donc effectuer que (700-100-99-5=465 divisé par 1,5) soit 310 paiements. D'o une consommation moyenne de 4,51 bits par opération. Le montant global de ces paiements s'élève ainsi à 310x1000=310000 unités soit, si l'unité choisie est le centime, 3100 Francs. Dans ce cas, ce procédé améliore la précision sur les unités de 100 au détriment du nombre total de paiements diminué de 43%. 14 2608297 REVENDICATIONS 1. Procédé de comptage-décomptage, notamment de valeurs fiduciaires, au moyen d'opérations appliquées à un espace mémoire, cet espace mémoire étant divisé en deux zones de même capacité, l'une dite de paiement (ZP), l'autre dite de rechargement (ZR), ces zones étant initialement chargées de bits à un premier état logique noté 1 et pouvant être mis dans un second état logique noté 0, les bits ayant, dans ces deux zones, un rang déterminé, un bit x dans la première zone étant dit homologue d'un bit y dans la seconde zone, s'ils ont même rang, ces deux bits définissant alors un couple (x, y), des couples (1,1),(1,0), (0,1) et (0,0) pouvant être ainsi écrits dans la mémoire, un tel procédé consistant à: - simuler une opération de débit en créant un couple (0,1), éventuellement en créant un couple (1,0) pour simuler une butée au-delà de laquelle on ne peut pas écrire de couples simulant un débit, à créer des couples (0,0) pour annuler des opérations antérieures de débit ou des butées, - considérer que le contenu (ou solde) disponible dans cet espace mémoire est égal au nombre de couples (1,1) dont le rang est supérieur ou égal à 1 ou au rang du couple (0,1) de rang le plus élevé qui simule la dernière opération de débit lorsqu'un tel couple (0,1) existe, et inférieure au rang du couple butée (1,0) si une telle butée existe ou au dernier couple (1,1) de la mémoire, - simuler une opération de crédit en grillant des bits dans la zone de rechargement pour annuler des opérations de débit antérieures en faisant passer les couples (0,1) à l'état (0,0), ces couples étant ignorés par la suite, en annulant un couple butée (1,0) en grillant le bit à 1 de la zone de paiement pour faire passer le couple à l'état (0,0), ce couple étant ignoré par la suite, et en faisant passer un couple (1,1) à l'état (1,0) pour créer un nouveau couple butée, - ce procédé étant caractérisé par le fait qu'on 2608297 utilise un autre espace mémoire (EMO) organisé comme le premier (EM1) en une zone de paiement et une zone de rechargement, L'unité (bO) correspondant à un couple de bits (1,1) de cet autre espace mémoire (EMO) étant un sous-multiple de l'unité (bl) du premier espace mémoire, le nombre (aO) de couples libres à l'état (1,1) dans cet autre espace mémoire (EMO) étant toujours au moins égal à b1-1, ce procédé étant en outre caractérisé par le fait que dans l'espace mémoire (EMO), le nombre de couples libres (1,1) et de couples de paiement (0,1) situés entre le premier couple de l'espace mémoire compris et le dernier couple de paiement (0,1) compris, représente par convention un montant qui est soit à soustraire, soit à ajouter au solde de l'espace mémoire (EM1), le montant inscrit dans l'espace mémoire (EMC) étant toujours limité à b1-1, une opération de réduction de ce solde (débit) ou d'augmentation de ce solde (rechargement) affectant le premier (EM1) et/ou le second espace mémoire (EMO), de telle manière que si le montant (M) qui devrait être inscrit dans l'espace mémoire (EMO) dévient supérieur à la valeur limite bl-1, une unité supplémentaire est prise en compte dans l'espace mémoire EM1 et le nouveau montant réellement inscrit dans l'espace mémoire EMO est pris égal à (M-b1). 2. Procédé selon la revendication 1, caractérisé par le fait que l'espace mémoire EM1 travaille avec des unités auxquelles on attribue la valeur 100 et l'espace mémoire EMO avec des unités auxquelles on attribue la valeur 1, un tel procédé permettant d'effectuer des transactions portant sur des francs et des centimes, ou des dollars et des cents. 3. Procédé de comptage-décomptage notamment de valeurs fiduciaires, comprenant plusieurs espaces mémoire travaillant avec des unités dont la valeur est un multiple d'une unité de base, chaque espace mémoire coopérant avec l'espace mémoire qui précède d'unité moindre, selon le procédé de la revendication 1. 4. Procédé selon la revendication 1, caractérisé par le fait que le premier et le second espaces mémoire forment une seule mémoire ayant une première et une seconde extrémités, 16 2608297 l'espace mémoire du premier espace commençant à la première extrémité de la mémoire et le second espace mémoire commençant à la seconde extrémité, les deux espaces étant séparés par un couple butée (1,0) qui peut être déplacé.