FR 2689276 A1 19931001 FR 9204136 A 19920327 Procédé de formatage de la mémoire d'un objet portatif de mémorisation d'unités consommables, et procédé de consommation d'unités correspondant. La présente invention concerne un procédé de formatage de la mémoire d'un objet portatif de mémorisation d'unités consommables. Par objet portatif de mémorisation d'unités consommables on entend notamment, par exemple, une carte à mémoire, du type comprenant une mémoire électronique de mémorisation de données et des microcircuits logiques de gestion de la mémoire électronique. La présente invention peut être appliquée de façon générale chaque fois qu'il y a lieu de comptabiliser une durée, par consommation d'un crédit d'unités de durées préalablement alloué à un usager, et selon une politique de débit prédéterminée. Elle s'applique en particulier à la comptabilisation d'unités de durée de stationnement payant, ou réglementé. On entend par système de comptabilisation d'unités de durée de stationnement, un appareil constitué par exemple par un boîtier, préférentiellement portable, destiné à être posé derrière le pare-brise d'un véhicule et coopérant avec un ticket électronique prépayé, par exemple une carte à mémoire, pour décrémen- ter des unités de taxe mémorisées sur la carte, en fonction de la zone et de la durée du stationnement Ce type de dispositif permet de s'affranchir de l'utilisation de bornes fixes individuelles (du type des parcmètres de trottoir) ou collectives (du type des horodateurs) L'utilisateur acquitte automatiquement des taxes de stationnement par introduction d'une carte à mémoire prépayée dans son boîtier. Les boîtiers sont généralement vendus, prêtés ou loués par des collectivités locales ou leurs mandataires, qui commercialisent des unités de stationnement, sous forme de cartes d'un type différent pour chaque aire de validité distincte, en l'occurence pour chaque collectivité locale La régularité du stationnement peut être vérifiée grâce à un afficheur sur lequel apparaissent les diverses informations nécessaires au personnel de contrôle, par exemple le numéro de zone de stationnement sélectionné par l'utilisateur, un code identifiant notamment le type de carte t introduite par l'utilisateur dans le boîtier et représentatif de la ville de stationne- ment, et le cas échéant une information indicative d'une situation d'infraction, et le nombre d'unités de taxes encore disponibles sur la carte Les mémoires des cartes peuvent être réinscriptibles ou inscrites irréversiblement. Un tel dispositif est par exemple décrit dans la demande de brevet française N O 87/06776 au nom de la SOCIETE INTERNATIONALE POUR L'IN- NOVATION Le dispositif décrit dans ce document est un boîtier destiné à recevoir des cartes à mémoire contenant des crédits d'unités de stationnement Le boîtier comprend des moyens de couplage électrique avec chaque carte qui y est introduite, et un circuit d'écriture Ce circuit d'écriture permet l'inscription irréversible d'une position mémoire électronique de la carte introduite dans le boîtier, ce circuit étant déclenché selon un tarif de consommation fonction de l'heure et du lieu, de sorte que les inscriptions successives des positions mémoire de la carte introduites dans le boîtier correspondent à la consommation progressive, au fur et à mesure de l'écoulement du temps, du crédit d'unités de stationnement subsistant dans la carte. Or, on sait que chaque collectivité locale possède sa propre politique de consommation des unités de stationnement Une telle politique de consommation est généralement composée de plusieurs tarifs correspondant aux différents cas possibles de consommation, fonction du jour, de l'heure, de la durée et du lieu Un tarif doit donc décrire complètement: les périodes payantes ou gratuites en fonction du jour et de l'heure, la durée maximum de stationnement, la périodicité des débits d'unités, le montant de chaque débit d'unité. Jusqu'à présent, dans les dispositifs existants, tous les tarifs sont encodés dans la mémoire du boîtier Après la mise en place de la carte dans le boîtier, l'usager doit ensuite choisir, par l'intermédiaire d'un clavier, le tarif correspondant à sa zone de stationnement Ce tarif lui est rappelé, par exemple, par un panneau ou par une signalisation au sol. Ce système antérieur présente toutefois un certain nombre d'inconvénients. Les tarifs sont encodés dans la mémoire du boîtier, et chaque collectivité locale a sa propre politique de stationnement Par conséquent, le boîtier doit être différent pour chaque collectivité locale. Un autre problème tient au fait que les montants financiers correspondant aux temps de stationnement, dans une ville donnée, doivent être perçus par la collectivité locale o le stationnement a eu lieu. Pour résoudre ce problème, on peut tout d'abord décider qu'une carte donnée est propre à une collectivité locale prédéterminée, qui en a l'exclusivité de la vente. Cette première solution ne résoud toutefois pas le problème qu'il est nécessaire de pourvoir l'automobiliste d'un nouveau boîtier à chaque fois qu'il veut stationner dans une nouvelle ville. Une autre solution connue consiste à permettre à l'automobiliste d'utiliser une carte unique valable dans n'importe quelle collectivité locale A cet effet, on a pu prévoir un système de compensation permettant de répartir les sommes provenant de la vente des cartes entre les différentes collectivités locales en fonction de l'utilisation réelle des cartes vendues, par exemple en fonction du nombre total d'unités consommées dans chaque collectivité locale. Cette seconde solution qui ne nécessite qu'un seul type de carte apparaît complexe à mettre en oeuvre du fait qu'elle impose un traitement complémentaire des cartes après leur utilisation De plus, elle oblige toujours l'usager, amené à se déplacer dans plusieurs villes, à se munir de plusieurs boîtiers, ce qui semble également difficilement acceptable. L'invention a notamment pour objectif de pallier ces différents inconvé- nients de la technique. Plus précisément, un objectif de l'invention est de fournir un procédé de formatage de la mémoire d'une carte permettant l'utilisation d'un même boîtier dans des collectivités locales différentes. Un autre objectif de l'invention est de fournir un tel procédé permettant à chaque collectivité locale de choisir librement sa politique de consommation des unités de stationnement. L'invention a également pour objectif de fournir un tel procédé permettant d'optimiser l'utilisation de la ressource mémoire de la carte utilisée. Un autre objectif de l'invention est de fournir un tel procédé permettant un changement aisé de politique de stationnement. Ces objectifs, ainsi que d'autres qui apparaîtront par la suite, sont atteints selon l'invention à l'aide d'un procédé de formatage de la mémoire d'un objet portatif de mémorisation d'unités consommables, notamment d'unités de stationne- ment payantes, ledit objet portatif étant destiné à coopérer avec un dispositif de transfert commandant la consommation desdites unités selon une politique de stationnement tarifé prédéterminée, ladite politique comprenant au moins un tarif de consommation suivant le jour et le lieu et/ou le temps de stationnement, caractérisé en ce qu'il consiste à encoder ladite politique de stationnement suivant un encodage contextuel hiérarchisé sur au moins deux niveaux: un premier niveau exposant de façon codée une liste de tarifs distincts caractéristi- que de ladite politique; au moins un second niveau décrivant la logique de consommation dans le temps desdites unités consommables pour chacun desdits tarifs. Avantageusement le procédé consiste à définir dans la mémoire dudit objet portatif au moins deux zones de mémorisation: une première zone d'encodage de ladite politique de stationnement, une seconde zone de mémorisation d'unités consommables, ladite politique de stationnement étant encodée suivant un encodage contextuel se développant selon au moins trois sous-zones successives correspondant chacune à un niveau d'encodage: une première sous-zone annonçant de façon codée un nombre de tarifs distincts associé à la politique de stationnement, une deuxième sous-zone codant pour chacun desdits tarifs annoncés un nombre de tranches distinctes associé audit tarif, J une troisième sous-zone codant les caractéristiques de chacune desdites tranches. Préférentiellement, ladite deuxième sous-zone compte également: * un numéro d'identification pour chacune desdites tranches, * des périodes payantes et des périodes gratuites en fonction du jour et de l'heure, Ainsi, tous les tarifs sont encodés dans la mémoire de la carte, avec les unités consommables, et non plus dans la mémoire du boîtier De cette façon, le boîtier n'est plus nécessairement différent pour chaque collectivité locale Il suffit qu'une carte comporte les tarifs et le code d'une collectivité locale pour qu'elle soit valable dans cette collectivité locale. Chaque collectivité locale vend donc ses propres cartes Ces cartes correspondent à une politique de consommation choisie indépendamment des autres collectivités locales Si la collectivité locale veut changer de politique de stationnement, il lui suffit de vendre de nouvelles cartes correspondant à cette nouvelle politique. De plus, la politique de stationnement est encodée suivant un encodage de type contextuel, c'est-à-dire en développant sa description selon une structure de codage hiérarchisée de longueur variable Ainsi, la place mémoire utilisée pour l'encodage de la politique de stationnement est fonction de la complexité de cette politique Cela permet d'optimiser la place mémoire disponible pour les unités consommables, tant du fait du caractère très synthétique de ce type d'encodage, qu'en raison de l'ajustement précis de la longueur d'inscription de la politique à sa complexité réelle. Enfin, la division de chaque tarif en tranches permet de créer plus facilement des tarifs tenant compte de presque toutes les possibilités Ce large choix de tarifs forme une politique de stationnement complète. Dans un mode de réalisation avantageux de l'invention, ladite deuxième sous-zone code également, pour chacun desdits tarifs, le numéro d'un modèle hebdomadaire, et les caractéristiques de chacun desdits modèles hebdomadaires sont codées dans une première sous-zone supplémentaire, située séquentiellement après ladite deuxième sous-zone. Ainsi, les périodes payantes et les périodes gratuites ne sont plus codées directement dans la seconde sous-zone En effet, un numéro codé dans la seconde sous-zone renvoie à un modèle hebdomadaire codé dans une première sous-zone supplémentaire. Avantageusement, chacun desdits modèles hebdomadaires est défini par: les jours payants et les jours gratuits d'une semaine, le numéro d'un modèle journalier défini par les heures payantes et les heures gratuites de chacun desdits jours payants, les caractéristiques de chacun desdits modèles journaliers étant codées dans une deuxième sous-zone supplémentaire, située séquentiellement après ladite première sous-zone supplémentaire. Préférentiellement, lesdites numérotations d'éléments (tels que lesdites tranches, lesdits modèles hebdomadaires ou lesdits modèles journaliers) sont contex- tuelles, lesdits éléments étant numérotés dans l'ordre o ils apparaissent, et tant qu'un élément de numéro 2 l-1 n'est pas apparu, N éléments binaires suffisent pour décrire le numéro suivant, et quand un élément de numéro 2 r-1 apparaît, il faut n+ 1 éléments binaires pour décrire le numéro suivant. Cela permet de réduire le nombre d'éléments binaires de la première zone d'encodage de la politique de stationnement. Avantageusement, chacune desdites tranches est définie par: le nombre maximum de périodes successives dans une même tranche, pendant lesquelles le stationnement est autorisé, la périodicité des débits d'unités consommables, le montant en unités consommables de chaque débit. De façon avantageuse, ladite première zone d'encodage de la politique de stationnement comprend également une sous-zone d'en-tête codant au moins un des éléments appartenant au groupe comprenant: une information de contrôle de l'intégrité dudit objet portatif, une information d'origine dudit objet portatif, une information du type de composant dudit objet portatif, une information du constructeur dudit objet portatif, une information du nombre de bits disponibles à la consommation, une information d'application, une information d'identification de la zone géographique de validité dudit objet portatif, une information de mise à jour de la politique de stationnement, une information pour définir l'unité de temps, une information de linéarité, ladite linéarité permettant de conserver les fractions d'unités ou d'éléments binaires quand un élément binaire peut correspon- dre à plusieurs unités, une information de changement de clé de verrouillage dudit objet portatif à des intervalles de temps réguliers, une information de doublement du crédit d'unités consommables. D'autres caractéristiques et avantages de l'invention apparaîtront à la lecture de la description suivante d'un mode de réalisation préférentiel de l'invention, donné à titre d'exemple indicatif et non limitatif, et des dessins annexés dans lesquels: la figure 1 présente de façon schématique la mémoire d'une carte formatée suivant un premier mode de réalisation d'un procédé selon l'invention; la figure 2 présente de façon schématique un formatage selon l'invention d'une sous-zone d'en- tête; la figure 3 présente de façon schématique un formatage selon l'invention d'une sous-zone codant tous les tarifs d'une politique de stationnement; la figure 4 présente de façon schématique un formatage selon l'invention d'une sous-zone codant toutes les tranches des différents tarifs dont le codage est présenté sur la figure 3; la figure 5 présente de façon schématique la mémoire d'une carte formatée suivant un second mode de réalisation d'un procédé selon l'invention. Le procédé de formatage selon l'invention est destiné au formatage de la mémoire d'un objet portatif de mémorisation d'unités consommables. Dans la description suivante, cet objet portatif est une carte dont la mémoire est constituée d'une séquence d'éléments binaires Cette carte permet à l'usager d'acquitter automatiquement des taxes de stationnement Elle est prépayée par l'usager et est utilisée en coopération avec un dispositif de transfert comman- dant la consommation d'unités mémorisées sur la carte, selon une politique de stationnement mémorisée elle aussi sur la carte. La description suivante présente deux modes de réalisation d'un procédé selon l'invention de formatage de la mémoire d'une telle carte. Le premier mode de réalisation est expliqué en relation avec les figures 1 à 4 et correspond à une politique de stationnement dont on trouvera la configura- tion synthétique complète en Tableau I. TABLEAU I CARTE 1301, ville de: Lyon 6903-2 Mot de contrôle: Bit PTT + type télécarte: Solaic: Structure médiane: Code application: Code ville + n nmj: Nombre de tarifs: UT= 20 ': Linéarité: Clé changée toutes les heures: Doublement crédit: Lecture des 5 tarifs Tarif n 1 Gratuité dimanche et jours fériés: Codaqe abrègq des heures payantes: Nombre de tranches: n Tranche: n Tranche: Tarif n 2 Jours et heures payantes à re-définir: Gratuité dimanche et jours fériés: Codage abrégé des heures payantes: Nombre de tranches: n Tranche: n Tranche: Tarif n 3 Jours et heures payantes identiques: Nombre de tranches: n Tranche: n Tranche: Tarif n 4 Jours et heures payantes identiques: Nombre de tranches: n Tranche: n Tranche: no Tranche: Tarif n 5 Jours et heures payantes à re-définir: Tous les jours sont payants: Codage abrégé des heures payantes: Nombre de tranches: n Tranche: n Tranche: n Tranche: sera calculé plus tard 1001 $ 9 1010 $A 1101 $D 00000001 $ 01 0110100100000011 $ 6903 soit 5 tarif(s) i: OUI 0:NON 1: OUI 11100 de 9 h à 19 h 01 2 tranche(s) tranche O 1 tranche 1 11101 de 9 h à 19 h sf 12-14 h 01 2 tranche(s) tranche 2 11 tranche 3 2 tranchet(s) tranche 4 tranche 5 3 tranchet(s) tranche 6 tranche 7 tranche 8 11100 de 9 h à 19 h 3 tranche(s) 1001 tranche 9 1010 tranche 10 1011 tranche 11 r. TABLEAU I (suite) tranches Nombre Montant Nombre Montant Nombre Montant Nombre Montant Nombre Montant Nombre Montant Nombre Montant Nombre Montant Nombre e N i EUR Montant Nombre Montant Nombre Montant Nombre en HEUR Montant de périodes: Période: du paiement: de périodes: Période: du paiement: de périodes: Période: du paiement: de périodes: Période: du paiement:, de périodes: Période: du paiement: de périodes: Période: du paiement: de périodes: Période: du paiement: de périodes: Période: du paiement: de périodes: Forfait: ES payantes: du paiement: de périodes: Période: du paiement: de périodes: Période: du paiement: de périodes: Porfait: ES payantes: du paiement: 11 ( 3 périodels)) 01 ( 1 u t) 011 ( 3 unité(s)) 01 ( 1 période(s)) 11 ( 3 u t) 111010 ( 8 unfté(s)) 01 ( 1 période(s)) 000101 ( 5 u t) 111011 ( 9 unit 6 (s)) ( 2 période(s)) ( 2 u t) ( 4 unité(s)) ( 2 période(s)) 11 ( 3 u t) ( 4 unité(s)) 1 l ( 3 période(s)) ( 6 u t) 001 ( 1 unit 6 (s)) ( 2 pbriode(s)) 01 ( 1 u t) 111000 ( 6 unité(s)) 001001 ( 13 période(s)) 01 ( 1 u t) 000 ( O unité (s)) 01 ( 1 période(s)) 000 o 000 (tpe 1) ( 3 heure(s)) ( 2 unité(s)) 11 i ( 3 période(s)) Il ( 3 u t) 101 ( 5 unité(s)) 01 ( 1 période(s)) 11 ( 3 ut t) 000 ( O unité(s)) 01 ( 1 période(s)) 000000 (type 1) 00101 ( 6 heure(s)) 111100 ( 15 nité(s)) CARTE p 301: on est arrivé au bit 416 sur un maximrum de 4 i 6 I, rnot cie contrôle vaut 123 = $ 7 B. Lecturo des 12 Trancho n O Tranch Oe nf 1 Tranohll O n 2 Tranclho n 3 Tranclho n 4 Tranch O n 5 Trancho n 6 Trancho n 7 Trancho n 8 Trancht N 1 9 Trancho n 10 Trancho n 11 l 9 É t il Le second mode de réalisation est expliqué en relation avec la figure 5 et diffère du premier mode de réalisation par la façon de coder les périodes payantes et les périodes gratuites en fonction du jour et de l'heure. Quel que soit le mode de réalisation, le procédé de formatage selon l'invention permet de réduire le nombre d'éléments binaires permettant de coder la politique de stationnement Cela permet de disposer d'un nombre plus élevé d'éléments binaires dans la zone de mémorisation d'unités consommables. Ainsi, lorsque des éléments (tels que les tranches, les modèles hebdomadai- res et les modèles journaliers, expliqués par la suite) doivent être numérotés, la numérotation se fait dans l'ordre o apparaissent ces éléments Tant qu'un élément de numéro 2 r-1 n'est pas apparu, N éléments binaires (notés e b) suffisent pour décrire le numéro suivant Quand un élément de numéro 2 r-1 apparaît, il faut n+ 1 e.b pour décrire le numéro suivant. Par exemple, la suite de numéros l 1, 2, 3, 4, 5, 6 l est codée l 1, 10, 11, 100, 101, 110 l. De même, la suite de numéros l 1, 2, 1, 3, 1 l est codée l 1, 10, 01, 11, 001 l. Le deuxième numéro 1 est codé sur n= 2 e b ( 01) car le numéro précédent ( 2), codé sur n= 2 eb ( 10), n'est pas égal à 21-l Par contre, le troisième numéro 1 est codé sur n+ 1 e b ( 001) car le numéro précédent ( 3), codé sur n= 2 e b ( 11), est égal à 2 r-1. La figure 1 présente de façon schématique la mémoire d'une carte du type comprenant 416 éléments binaires, formatée suivant un premier mode de réalisation d'un procédé selon l'invention. La mémoire comprend une première zone 1 d'encodage de la politique de stationnement et une seconde zone 2 de mémorisation d'unités consommables. La première zone 1 d'encodage de la politique de stationnement comprend trois sous-zones Ces trois sous-zones sont présentées sur les figures 2, 3 et 4 et correspondent respectivement à: une sous-zone 11 d'en-tête, une sous-zone 12 codant tous les tarifs d'une politique de stationnement, une sous-zone 13 codant toutes les tranches des différents tarifs présentés auparavant. Lors de l'implémentation physique, les unités consommables de la seconde zone peuvent être intercalées entre ces différentes sous-zones 11, 12, 13 de la première zone d'encodage de la politique de stationnement. Dans la sous-zone 11,20 d'en-tête, présentée sur la figure 2, divers paramè- tres globaux ou options sont codés sur 54 eb au total. Une information 201 de contrôle de l'intégrité de la carte, correspondant au nombre d'éléments binaires O dans le reste de la zone d'encodage de la politique de stationnement Ce nombre est codé sur 8 e b. Une information 202 A d'origine de la carte, codée sur 1 e b (e b PTT). Une information 202 B du type de la carte, codée sur 3 eb. Une information 203 du constructeur de la carte, codée sur 4 eb. Une information 204 du nombre d'e b disponibles à la consommation, codée sur 4 eb Dans cette description, la carte comprend 416 e b au total des deux zones, dont 168 affectés à la zone 2 de mémorisation d'unités consommables. Une information 205 d'application codée sur 8 eb. Une information 206 A d'identification de la zone géographique de validité de la carte, codée sur 12 e b Cette zone géographique est généralement une ville ou une collectivité locale. Une information 206 B de mise à jour de la politique de stationnement, codée sur 4 eb. Une information 207 du nombre de tarifs existants dans la politique de stationnement, codée sur 4 eb. Une information 208 pour définir l'unité de temps utilisée par la suite dans la définition de la périodicité des débits Cette information est codée sur 3 eb. de la façon suivante: 000 pour 5 minutes (mn par la suite), 001 pour 10 unn, 010 pour 15 mn, 011 pour 20 mn, pour 30 mn, 101 pour 1 heure, pour 4 mn, 111 pour 6 mn. Une information 209 de linéarité codée sur 1 e b Si l'option de linéarité est choisie, le dispositif de transfert commandant la consommation conserve les fractions d'unités (ou d'e b si un eb correspond à plusieurs unités) non consom- mées lors de l'arrêt du stationnement. Une information 210 de changement de clé de verrouillage de la carte. Ce changement est effectué toutes les heures si cette option est choisie L'informa- tion est codée sur 1 e b. Une information 211 de doublement du crédit d'unités consommables, codée sur 1 eb. La figure 3 présente de façon schématique un formatage selon l'invention d'une sous-zone 12,3 codant tous les tarifs d'une politique de stationnement La politique de stationnement, d'après l'information 207 comprend 5 tarifs La sous- zone 3 correspond donc au codage de ces 5 tarifs Chaque tarif est codé dans une sous-zone 31 à 35. Le codage d'un tarif consiste à décrire: le nombre de tranches du tarif, le numéro de chacune de ces tranches, les périodes payantes et gratuites, en fonction du jour et de l'heure. Le premier tarif 31 décrit obligatoirement les périodes (jours, heures) gratuites Pour tous les tarifs 32 à 35 qui suivent, un premier e b vaut O si ces périodes sont inchangées par rapport au premier tarif, ou vaut 1 s'il est nécessaire de procéder à une nouvelle description des périodes gratuites. Cette nouvelle description sera faite dans le même format. Le codage des jours gratuits se fait sur 2 ou 10 eb de la façon suivante: si tous les jours sont payants, on code 00; si le stationnement est gratuit le dimanche et les jours fériés, on code 01; si le stationnement est gratuit le samedi, le dimanche et les jours fériés, on code 11; dans les autres cas, on code 10 xwxxxy o les 7 e b xxxxxx définissent, pour chacun des 7 jours de la semaine, ceux qui sont gratuits (valeur 1) Le premier e.b à gauche est relatif au dimanche, le deuxième au lundi, etc Le huitième e b. "y" vaut 1 si les jours fériés sont gratuits. Concernant les jours fériés, le dispositif de transfert prend en compte tous les jours fériés définis au niveau national dans la mémoire assistée (EEPROM, par exemple) Cette mémoire contient également un e b qui indique s'il est pertinent de prendre en compte le changement d'horaire en été. Le codage des heures gratuites se fait sur 5, 9 ou 18 e b, de la façon suivante: heure de début de période payante le matin: 7 heures est codé 01, 8 heures est codé 10, 9 heures est codé 11, les autres cas sont codés 00 qo lqlq 2 q 3 l (cf explication ci-dessous). heure de fin de période payante le soir (sauf "autres cas" pour l'heure de début de période payante le matin): 17 heures est codé 00, 18 heures est codé 01, 19 heures est codé 10, heures est codé 11. période gratuite de milieu de journée (sauf "autres cas" pour l'heure de début de période payante le matin): s'il n'y a pas de période gratuite, on code 0, si le stationnement est gratuit entre 12 heures et 14 heures, on code 1. Dans tous les cas précédents, le codage des heures gratuites se fait sur 5 e.b ( 2 e b pour l'heure de début de période payante, 2 e b pour l'heure de fin de période payante, et 1 e b pour la période gratuite de milieu de journée). Deux autres cas sont prévus. Dans le premier cas, l'heure de début de période payante le matin n'est pas une des heures proposées ( 7, 8 ou 9 heures) On code alors l'heure désirée: 00 q 0, o q O est un quartet d'e b qui représente un nombre compris entre O et 15, et qui permet de calculer l'heure H O de début de période payante le matin à l'aide de la formule: H O = 06 h + (q O x 30 mn). (H O est comprise entre 6 h et 13 h 30) Dans ce premier cas, le codage des heures gratuites se fait sur 9 e b ( 6 e b. pour l'heure de début de période payante, 2 e b pour l'heure de fin de période payante et 1 e b pour la période gratuite de milieu de journée). Dans le second cas, on redéfinit: l'heure Ho de début de période payante le matin: Ho = 06 h + (q O x 30 mn) (H O comprise entre 6 h et 13 h 30), l'heure H 1 de début de période gratuite de milieu de journée: H = 11 h + (q 1 x 30 mn) (H 1 comprise entre 11 h et 18 h 30), l'heure H 2 de fin de période gratuite de milieu de journée: H 2 = 12 h + (q 2 x 30 mn) (H 2 comprise entre 12 h et 19 h 30), l'heure H 3 de fin de période payante le soir: H 3 = 15 h+ (q 3 x 30 mn) (H 3 comprise entre 15 h et 22 h 30). q 0, ql, q 2 et q 3 sont des quartets d'e b. Quatre cas particuliers sont prévus: si H 1 heures gratuites est donc: 00 q O qlq 2 q 3, soit un total de 18 e b. Après la définition des périodes (ours et heures) gratuites, chaque tarif comprend également: le nombre de tranches du tarif, codé sur 2 e bpour un nombre compris entre 1 et 4; le numéro de chacune des tranches du tarif Les tranches sont numérotées dans l'ordre o elles apparaissent La première tranche numérotée 0 n'est pas codée, ensuite les numéros de tranche sont codés à l'aide d'un nombre croissant d'e b (les numéros 1, 2, 3, 4, 5,sont codés 1, 10, 11, 100, 101). Ainsi, l'exemple présenté en figure 3, correspond à une politique de 5 tarifs 31 à 35. Le premier tarif 31 définit les jours et heures gratuits Le codage 01 des jours gratuits 311 signifie que le stationnement est gratuit le dimanche et les jours fériés Le codage 11100 des heures gratuites 312 signifie que: l'heure de début de période payante le matin est 9 h (codée 11), l'heure de fin de période payante le soir est 19 h (codée 10), il n'y a pas de période gratuite en milieu de journée (codée 0). Dans ce premier tarif 31, il y a 2 tranches (zone 313 codée 01) numérotées O (zone 314 vide) et 1 (zone codée 1). Le second tarif 32 a son premier eb 321 codé 1, ce qui signifie qu'une nouvelle description des périodes gratuites va suivre Dans cette nouvelle description, le codage 01 des jours gratuits 322 est le même que précédemment Par contre, le codage 11101 des heures gratuites 323 est légèrement différent Le dernier e b est 1, il y a donc une période gratuite entre 12 h et 14 h. Dans ce second tarif 32, il y a 2 tranches (zone 324 codée 01) numérotées 2 (zone 325 codée 10) et 3 (zone 326 codée 11). Le troisième tarif 33 a son premier e b 331 codé 0, ce qui signifie que les périodes gratuites sont inchangées par rapport au premier tarif 31 Ce troisième tarif comprend 2 tranches (zone 332 codée 10) numérotées 4 (zone 333 codée 100) et 5 (zone 334 codée 101). Le quatrième tarif 34 a les mêmes périodes gratuites que le premier tarif 31 (zone 341 codée 0), il comprend 3 tranches (zone 342 codée 10) numérotées 6 (zone 342 codée 110), 7 (zone 344 codée 111) et 8 (zone 345 codée 1000). Le cinquième tarif 35 a son premier eb 351 codé 1, ce qui signifie qu'une nouvelle description des périodes gratuites va suivre Le codage 00 (zone 352) signifie que le stationnement est payant tous les jours Le codage 11100 des heures gratuites 353 est le même que le premier tarif 31 Le cinquième tarif 35 comprend 3 tranches (zone 354 codée 10) numérotées 9 (zone 355 codée 1001), 10 (zone 356 codée 1010) et 11 (zone 357 codée 1011). La figure 4 présente de façon schématique un formatage selon l'invention d'une sous-zone 12,4 codant les 12 tranches numérotées O à 11 des 5 tarifs dont le codage a été présenté sur la figure 3. Le codage d'une tranche consiste à décrire: la durée de la trancheCette durée est un multiple de la durée d'une période (définie dans le point suivant). la durée d'une période Cette durée est définie soit comme un multiple de l'unité de temps (définie dans la sous-zone d'en-tête), soit comme une durée forfaitaire Cette période correspond à l'intervalle de temps séparant deux débits successifs. le montant de chaque débit en unités consommables. La durée d'une tranche peut varier entre 1 et 18 périodes, ou être illimitée. On code la durée d'une tranche de la façon suivante: 01 pour 1 période, 10 pour 2 périodes, -11 pour 3 périodes, 00 xxxx pour les autres cas Les 4 e b xxxx correspondent à l'écriture binaire d'un nombre X compris entre O et 15. Si X est compris entre O et 14, la durée D de la tranche est calculée à l'aide de la formule: D = (X + 4) périodes. Si X = 15, la durée de la tranche est illimitée. La durée d'une tranche est donc codée sur 2 e b pour les trois premiers cas et sur 6 e b pour les autres cas. La durée d'une période peut varier entre 1 et 15 unités de temps, ou être supérieure à 15 unités de temps s'il s'agit d'un forfait On code la durée d'une période de la façon suivante: 01 pour 1 unité de temps; pour 2 unités de temps; 11 pour 3 unités de temps; 00 xxxx pour une durée de X unités de temps si X > 4 (avec xxxx l'écriture binaire du nombre X); 00 0000 yyyyy pour un forfait d'une durée de Y heures, avec yyyyy l'écriture binaire du nombre Y Y est compris entre 1 et 32; 00 0001 pour un forfait de 24 heures solaires, excepté les jours entière- ment gratuits; 00 0010 pour un forfait jusqu'à la fin de la journée en cours; 00 0011 pour un forfait jusqu'à la fin de la "demi-journée" en cours. La durée d'une période est donc codée sur 2, 6 ou 11 e b suivant les cas. Le montant d'un débit est donné en unités consommables et est codé de la façon suivante: 000 pour O unité (cas correspondant au stationnement gratuit); 001 pour 1 unité; pour 2 unités; 011 pour 3 unités; 100 pour 4 unités; 101 pour 5 unités; pour 10 unités; 111 Oyy pour un montant M 1 compris entre 6 et 9 unités, calculé à l'aide de la formule: M 1 = 6 + yy o yy est l'écriture binaire d'un nombre compris entre O et 3; 111 100 pour 15 unités; 111 101 pour 20 unités; 111 110 pour 25 unités; 111 111 zz pour un montant M 2 calculé à l'aide de la formule: M 2 = 15 + R o R prend les valeurs 15, 20, 25 lorsque le couple d'e b zz prend respectivement les valeurs 00, 01, 10. Lorsque la durée d'une période est une durée forfaitaire, la tranche correspondante ne sera suivie d'aucune tranche pour le tarif en question Le débit en sera réalisé en une seule fois, sans considération pour l'option de linéarité Le caractère forfaitaire d'un tarif peut se révéler dès la première tranche (qui, par conséquent, est alors unique), ou alors lors d'une tranche ultérieure (cette tranche "ultérieure" étant donc alors la dernière). En cas d'interruption du stationnement par retrait de la carte, le "ticket" du forfait est mémorisé (jusqu'à ce qu'un autre ticket de forfait vienne éventuelle- ment le masquer) Ainsi, l'automobiliste peut reprendre par la suite le stationne- ment forfaitaire sans avoir à payer un supplément Il lui suffit alors de réintroduire la carte et de resélectionner le ticket mémorisé (qui sera affecté d'un code spécial). Le forfait sera renouvelable si la durée d'une tranche est codée comme étant supérieure à une période Dans ce cas, le renouvellement sera toujours illimité, et, par exception, le processus de stationnement repartira dès la première tranche. Dans l'exemple présenté sur la figure 4, la sous-zone 4 comprend 12 tranches 401 à 412 Seules sont commentées dans la description suivante les tranches n O 6, 7 et 8 du quatrième tarif 34. * La définition 407 de la tranche N O 6 indique que: celle-ci a une durée de 2 périodes (zone 407 A codée 10), la durée d'une période est 1 unité de temps, soit 20 minutes, (zone 407 B codée 01), le montant d'un débit pour une période est 6 unités (zone 407 C codée 111 000). * La définition 408 de la tranche N O 7 indique que: celle-ci a une durée de 13 périodes (zone 408 A codée 001001), la durée d'une période est 1 unité de temps, soit 20 minutes, (zone 408 B codée 01), le montant d'un débit pour une période est O unité (zone 408 C codée 000), le stationnement est donc gratuit pendant cette tranche. * La définition 409 de la tranche N O 8 indique que: la durée de la tranche est codée comme étant égale à 1 période (zone 409 A codée 01), la durée d'une période (zones 409 B et 409 C codées 000 000 et ) est un forfait pour 3 heures, d'après le point précédent ( 1 * période pour la durée de la tranche) ce forfait n'est pas renouvela- ble, le montant d'un débit pour une période est 2 unités (zone 407 D codée 010). En résumé, le quatrième tarif 34 correspond à un stationnement gratuit le dimanche et les jours fériés et payant entre 9 h et 19 h les autres jours. Avec ce tarif, un automobiliste peut laisser sa voiture en stationnement: pendant 40 mn ( 2 unités de temps de 20 mn) avec un débit de 6 unités toutes les 20 mn, puis pendant 4 h 20 mn ( 13 unités de temps de 20 mn) gratuitement, et enfin pendant 3 h avec un débit forfaitaire de 2 unités. La figure 5 présente de façon schématique la mémoire d'une carte formatée suivant un second mode de réalisation d'un procédé selon l'invention. La mémoire comprend une première zone 5 d'encodage de la politique de stationnement et une seconde zone 6 de mémorisation d'unités consommables. Dans ce second mode de réalisation, la première zone 5 d'encodage de la politique de stationnement comprend cinq sous-zones correspondant respectivement a: une sous-zone 51 d'en-tête, une sous-zone 52 codant tous les tarifs d'une politique de stationnement, une sous-zone 53 codant tous les modèles hebdomadaires des différents tarifs présentés auparavant, une sous-zone 54 codant tous les modèles journaliers des différents tarifs présentés auparavant, une sous-zone 55 codant toutes les tranches des différents tarifs présentés auparavant. La sous-zone 51 d'en-tête est de même nature que la sous-zone 11 d'en- tête du premier mode de réalisation et comprend également une information du nombre de tarifs existants dans la politique de stationnement. La sous-zone 52 code tous les tarifs d'une politique de stationnement, et plus précisément: le nombre de tranches de chacun des tarifs, le numéro de chacune de ces tranches, le numéro d'un modèle hebdomadaire pour chacun de ces tarifs. La sous-zone 53 code tous les modèles hebdomadaires, et plus précisé- ment: les jours payants et les jours gratuits d'une semaine pour chacun de ces modèles hebdomadaires, le numéro d'un modèle journalier pour chacun de ces jours payants. La sous-zone 54 code tous les modèles journaliers, et plus précisément les heures payantes et les heures gratuites de ces jours payants. La sous-zone 55 codant toutes les tranches est de même nature que la sous-zone 13 du premier mode de réalisation. Dans le premier mode de réalisation (expliqué en relation avec les figures 1 à 4), les périodes payantes et les périodes gratuites sont codées directement dans la sous-zone 12 codant tous les tarifs. Par contre, dans le second mode de réalisation (expliqué en relation avec la figure 5), les périodes payantes et les périodes gratuites sont codées à l'aide de deux indirections successives: dans la seconde sous-zone, un numéro renvoie à un modèle hebdoma- daire situé dans la troisième sous-zone 53, dans ce modèle hebdomadaire, un numéro renvoie à un modèle journalier situé dans la quatrième sous-zone 54. Enfin, dans les deux modes de réalisation, les tranches d'un tarif sont codées à l'aide d'une seule indirection Dans le premier mode de réalisation (respectivement le second mode de réalisation), les numéros de tranches codées dans la seconde sous-zone 12 (respectivement 52) renvoient à des tranches codées dans la troisième sous-zone 13 (respectivement la cinquième sous-zone 55). Ces deux modes de réalisation montrent que l'invention est compatible avec différentes modalités d'encodage contextuel hiérarchisé, et permet donc l'encodage de politiques de stationnement tarifé très diverses, voire très complexes. De plus, les différents tarifs qui constituent la politique de stationnement d'une collectivité locale, par exemple, peuvent être modifiés assez rapidement fl suffit pour cela de vendre de nouvelles cartes dont on aura préalablement formaté la mémoire selon le procédé de l'invention en y inscrivant la nouvelle politique de stationnement à mettre en place. Les deux modes de réalisation décrits ci-dessus concernent une politique de stationnement dans laquelle, lorsqu'un tarif est sélectionné, les tranches de ce tarif se succèdent séquentiellement Une tranche de numéro n+ 1 succède à une tranche de numéro N seulement si une durée correspondant au nombre maximum de périodes successives de cette tranche de numéro N s'est écoulée. Il est clair que de nombreux autres modes de réalisation de l'invention peuvent être envisagés On peut notamment prévoir un modèle de réalisation dans lequel les tranches d'un tarif se succèdent en fonction de l'heure Chaque tranche correspond alors à une période horaire. REVENDICATIONS 1 Procédé de formatage de la mémoire d'un objet portatif de mémorisa- tion d'unités consommables, notamment d'unités de stationnement payantes, ledit objet portatif étant destiné à coopérer avec un dispositif de transfert commandant la consommation desdites unités selon une politique de stationnement tarifé prédéterminée, ladite politique comprenant au moins un tarif de consommation suivant le jour et le lieu et/ou le temps de stationnement, caractérisé en ce qu'il consiste à encoder ladite politique de stationnement suivant un encodage contextuel hiérarchisé sur au moins deux niveaux: un premier niveau exposant de façon codée une liste de tarifs distincts caractéristi- que de ladite politique; au moins un second niveau décrivant la logique de consommation dans le temps desdites unités consommables pour chacun desdits tarifs. 2 Procédé selon la revendication 1 caractérisé en ce qu'il consiste à définir dans la mémoire dudit objet portatif au moins deux zones de mémorisation: une première zone ( 1) d'encodage de ladite politique de stationnement, une seconde zone ( 2) de mémorisation d'unités consommables, et en ce que ledit codage contextuel de ladite politique de stationnement se développe dans ladite zone ( 1) d'encodage selon au moins trois sous-zones hiérarchisées successives correspondant chacune à un niveau d'encodage: une première sous-zone ( 207) annonçant de façon codée un nombre de tarifs distincts associé à la politique de stationnement, une deuxième sous-zone ( 12; 3; 52) codant pour chacun desdits tarifs annoncés, un nombre de tranches distinctes ( 313; 324; 332; 342; 354) associé audit tarif, une troisième sous-zone ( 13; 4; 55) codant la logique de consommation dans le temps desdites unités consommables pour chacune desdites tranches. 3 Procédé selon la revendication 2 caractérisé en ce que ladite deuxième sous-zone comporte également: * un numéro d'identification pour chacune desdites tranches, QL I * des périodes en fonction du jour et/ou de l'heure ( 311, 312, 321 322, 323, 331, 341, 351, 352, 353), 4 Procédé selon la revendication 2 ou 3, caractérisé en ce que ladite deuxième sous-zone ( 52) code, pour chacun desdits tarifs, le numéro d'un modèle hebdomadaire, et en ce que les caractéristiques de chacun desdits modèles hebdomadaires sont codées dans une première sous- zone supplémentaire ( 53), située séquentiellement après ladite deuxième sous-zone ( 53). Procédé selon la revendication 4, caractérisé en ce que chacun desdits modèles hebdomadaires est défini par: les jours payants et les jours gratuits d'une semaine, le numéro d'un modèle journalier, ledit modèle journalier étant défini par les heures payantes et les heures gratuites de chacun desdits jours payants, et en ce que les caractéristiques de chacun desdits modèles journaliers sont codées dans une deuxième sous-zone supplémentaire ( 54), située séquentiellement après ladite première sous-zone supplémentaire ( 53). 6 Procédé selon l'une quelconque des revendications 2 à 5, caractérisé en ce que lesdites numérotations d'identification d'éléments (tels que lesdites tranches, lesdits modèles hebdomadaires ou lesdits modèles journaliers) sont contextuelles, lesdits éléments étant numérotés dans l'ordre o ils apparaissent, et tant qu'un élément de numéro 2 E-1 n'est pas apparu, N éléments binaires suffisent pour décrire le numéro suivant, et quand un élément de numéro 2 r-1 apparaît, il faut n+ 1 éléments binaires pour décrire le numéro suivant. 7 Procédé selon l'une quelconque des revendications 2 à 6, caractérisé en ce que chacune desdites tranches est définie par: le nombre ( 401 A à 412 A) maximum de périodes successives dans une même tranche, pendant lesquelles le stationnement est autorisé, la périodicité ( 401 B à 408 B; 409 B et 409 C; 410 B à 411 B; 412 B et 412 C) des débits d'unités consommables, le montant ( 401 C à 408 C; 409 D; 410 C; 411 C; 412 D) en unités consommables de chaque débit. 8 Procédé selon la revendication 7, caractérisé en ce que ladite période est définie comme un multiple d'une unité de temps prédéterminée. 9 Procédé selon l'une quelconque des revendications 1 à 8, caractérisé en ce que ladite première zone d'encodage de la politique de stationnement comprend également une sous-zone ( 11; 20) d'en-tête codant au moins un des éléments appartenant au groupe comprenant: une information ( 201) de contrôle de l'intégrité dudit objet portatif, une information ( 202 A) d'origine dudit objet portatif, une information ( 202 B) du type de composant dudit objet portatif, une information ( 203) du constructeur dudit objet portatif, une information ( 204) du nombre de bits disponibles à la consommation, une information ( 205) d'application, une information ( 206 A) d'identification de la zone géographique de validité dudit objet portatif, une information ( 206 B) de mise à jour de la politique de stationnement, une information ( 208) pour définir l'unité de temps, une information ( 209) de linéarité, ladite linéarité permettant de conserver les fractions d'unités ou d'éléments binaires quand un élément binaire peut correspondre à plusieurs unités, une information ( 210) de changement de clé de verrouillage dudit objet portatif à des intervalles de temps réguliers, une information ( 211) de doublement du crédit d'unités consommables. Procédé selon l'une quelconque des revendications 1 à 9, caractérisé en ce que ladite seconde zone ( 2) de mémorisation d'unités consommables comprend des unités intercalées entre lesdites sous-zones ( 11, 12, 13; 51, 52, 53, 54, 55) de la première zone ( 1) d'encodage de la politique de stationnement. 11 Procédé de mise en oeuvre d'une politique de stationnement tarifé au moyen d'un objet portatif de mémorisation d'unités consommables destiné à coopérer avec un dispositif de transfert commandant la consommation desdites unités, ledit objet portatif étant formaté selon le procédé de l'une des revendica- tions 7 et 8 caractérisé en ce que lors d'un stationnement correspondant à un desdits tarifs, les tranches dudit tarif se succèdent séquentiellement, une tranche de numéro n+ 1 succédant à une tranche de numéro N seulement si une durée correspondant au nombre maximum de périodes successives de ladite tranche de numéro N s'est écoulée. 12 Procédé de mise en oeuvre d'une politique de stationnement tarifé au moyen d'un objet portatif de mémorisation d'unités consommables destiné à coopérer avec un dispositif de transfert commandant la consommation desdites unités, ledit objet portatif étant formaté selon le procédé de l'une des revendica- tions 7 et 8 caractérisé en ce que lors d'un stationnement correspondant à un desdits tarifs, les tranches dudit tarif se succèdent en fonction de l'heure, chacune desdites tranches correspondant à une période horaire.