Brevet FR2493627A1 — publié le 19820507

L'invention part d'un procédé pour limiter la dispersion du courant engendrant le dégagement gazeux dans des batteries de démarrage, dispersion qui dépend du spécimen de bat- terie considéré et de son âge, notamment dans le cas de véhicu- les automobiles ou analogues, dans lesquels la tension, corres- pondant à la tension de charge, obtenue à partir d'un générateur électrique (alternateur), entraîné par le moteur à combustion interne, est réglée. Elle part également d'un régulateur pour limiter la dispersion du courant provoquant le dégagement gazeux dans des batteries de démarrage, dispersion qui est fonction du spécimen de batterie considéré et de son âge, avec un organe de réglage pour le courant d'excitation à appliquer au bobinage d'excitation, régulateur destiné à la mise en oeuvre du procédé de l'invention. Malgré les exigences élevées qui leur sont im- posées, il est connu d'influencer de façon telle, par régula- tion du courant d'excitation qui leur est appliqué, les généra- teurs de courant servant à l'alimentation d'un réseau de bord, notamment les alternateurs dans des véhicules automobiles ou analogues, que la tension de sortie de ces générateurs soit maintenue à un niveau souhaité, essentiellement constant. Dans ce cas, le courant d'excitation et donc le champ d'excitation dans l'induit du générateur est commandé de façon telle en fonc- tion de la tension engendrée dans le générateur, que malgré les variations considérables de la vitesse de rotation entre la mar- che à vide et la marche à pleine charge, et malgré les fluctua- tions considérables de charge du générateur, la tension aux bor- nes du générateur reste constante jusqu'au courant maximal. En tant que régulateur, on connaît les régulateurs mécaniques par un ou à plusieurs contacts, Désormais on met habituellement en oeuvre principalement des régulateurs électroniques à transistors, qui par un affaiblissement périodique du courant d'excitation, habituellement une coupure et un rétablissement périodiques, rè- glent la tension du générateur, car la tension obtenue dans ce- lui-ci est essentiellement proportionnelle au produit de la vi- tesse de rotation et du courant d'excitation. Il existe dans ce contexte des problèmes, notam- ment en ce qui concerne la charge de la batterie de démarrage du véhicule, particulièrement en hiver ou bien en trafic urbain, car aux basses températures la résistance interne de la batterie 2,- augmente considérablement, si bien que la puissance de démarrage de ces batteries en périodes froides peut s'abaisser fortement, tandis que pour une vitesse de rotation réduite très souvent seul un courant de charge insuffisant est obtenu. Pour trouver dans ce cas un compromis entre les revendications que posent, d'une part, les utilisateurs, sensibles à la tension, du réseau de bord et, d'autre part, les besoins de charge de la batterie, la tension délivrée par l'alternateur, tension qui est en prati- que identique à la tension de charge de la batterie, est réglée par le régulateur de champ sur une valeur constante. Mais ceci peut être désavantageux dans le cas de batteries de démarrage pour des unités mobiles, notamment dans le cas d'un accumulateur au plomb pour des véhicules au- tomobiles et analogues, car de telles batteries exigent à pleine charge une tension fortement dépendante de la température. En outre, la tension provoquant le dégagement gazeux dans les bat- teries dépend, non seulement de la température de la batterie, mais aussi de l'âge de celle-ci et enfin, il existe au départ une dispersion selon le spécimen de batterie considéré. Par exem- ple, pour une batterie normalement chaude avec des caractéristi- ques courantes (température d'environ 400C pour 12V/55Ah) les limites de dispersion de la tension engendrant le dégagement gazeux se situent entre 12,7 et 16,0 V. Pour une résistance interne de la batterie dans la zone de dégagement gazeux d'envi- ron 0,1 Ohm, un écart de 33 Ampères du courant provoquant le dé- gagement gazeux est. possible pour une même tension appliquée. Dans ce contexte, on connait un autre compromis entre l'exigence d'une tension d'utilisation constante et le souhait d'une tension de batterie variable dans un véhicule au- tomobile, ce compromis aboutissant à ce que l'on appelle une régulation coudée, mais il en résulte toutefois pour des tempéra- tures élevées (p9- > 350C) facilement un dégagement gazeux ex- cessif, et pour de basses températures ( / -5 C) un mauvais état de charge de la batterie. En conséquence, la mise en oeuvre d'une régula- tion coudée, qui ne tient pas compte des exigences spécifiques de la batterie au moment considéré, est de peu de secours, tandis qu'il se présente comme autre inconvénient dans le cas de batte- ries anciennes et chaudes, le risque d'un dessèchement pour des parcours de longues durées à grande vitesse, qu'il s'agisse 3.- d'une régulation constante de la tension du réseau de bord ou d'une régulation coudée, car de telles batteries s'échauffent en- core davantage du fait d'un courant élevé engendrant un dégage- ment gazeux, si bien que leur tension s'abaisse encore plus for- tement. Il subsiste donc un besoin pour une régulation qui soit en mesure de protéger les batteries de démarrage, no- tamment sur les véhicules automobiles, contre des tensions inad- missiblement élevées et contre les courants élevés engendrant des dégagements gazeux provoqués par ces tensions. A cet effet, l'invention concerne un procédé caractérisé en ce que le courant de charge considéré circulant dans la batterie est mesuré, et la tension du générateur, et donc la tension de charge, est réduite en fonction du courant de charge ainsi mesuré de façon qu'en tenant compte de la ré- sistance interne présentée à ce moment par la batterie, les cou- rants importants engendrant un dégagement gazeux sont réduits tandis que ceux de faible importance sont augmentés. L'invention concerne également un régulateur caractérisé en ce qu'un shunt de mesure est branché entre la borne de sortie du générateur alimentant le réseau de bord et la batterie, les deux tensions prélevées par l'intermédiaire du shunt de mesure étant appliquées de façon telle à un amplifica- teur d'un premier bloc fonctionnel, que la tension de batterie et le courant de charge de la batterie sont déterminés dans ce premier amplificateur, tandis qu'à la suite de ce premier bloc fonctionnel est branché un circuit sensible à une valeur de seuil, dont l'autre entrée reçoit d'un bloc de courbes caractéristiques une tension théorique de batterie dépendant de la température. Le procédé et le régulateur conformes à l'inven- tion ci-dessus définis présentent par rapport aux solutions con- nues l'avantage que la dispersion du courant engendrant le déga- gement gazeux dans le cas des batteries de démarrage, se trouve réduite et que notamment des courants élevés engendrant le déga- gement gazeux dans le cas de batteries âgées et pour des parcours de longues durées à grande vitesse, se trouvent évités. Dans ce cas, une charge suffisante de la batterie est assurée. Il est particulièrement avantageux qu'à côté de la prise en compte du courant de charge arrivant effectivement à la batterie, il soit également tenu compte dans la régulation 4.- de la tension de sortie du générateur, de la température de la batterie. D'autres caractéristiques de l'invention permet- tent d'envisager d'autres formes avantageuses et des améliora- tions du procédé et du régulateur définis ci-dessus. Il est particulièrement avantageux qu'en plus de la régulation individuelle de la tension de sortie du généra- teur et de son adaptation à la batterie considérée, ainsi qu'à l'âge et à la température de cette batterie, il existe la possi- bilité de régler la tension du générateur de réseau de bord con- formément à une courbe caractéristique de charge optimale, auquel cas, l'abaissement de la tension de charge lorsque le courant de charge s'accro t, s'effectue tout d'abord rapidement et ensuite lentement, si bien qu'une batterie vide peut 9tre chargée rapi- dement, tandis qu'une batterie complètement chargée n'a qu'un dégagement gazeux réduit. L'invention va être expliquée plus en détail en se référant à des exemples de réalisation représentés sur les dessins ci-joints dans lesquels: - la figure 1 représente schématiquement le ré- seau de bord d'un véhicule automobile et le raccordement du ré- gulateur de protection conforme à l'invention à ce réseau de bord alimenté par un alternateurt - la figure 2 est un schéma par blocs du régula- teur, - la figure 3 est une représentation détaillée d'une réalisation possible du schéma par blocs de la figure 2, - la figure 4 montre l'évolution de la tension du générateur en fonction du courant de charge de la batterie pour deux formes de réalisation possibles. L'idée de base de la présente invention consiste, dans le cas de batteries, notamment dans le cas de batteries de véhicules automobiles, à régler le courant de charge en influen- çant la tension du générateur alimentant le réseau de bord auquel est raccordée la batterie, de façon telle,en concordance avec la batterie existante à ce moment là, que l'étendue possible de dispersion du courant engendrant un dégagement gazeux soit ré- duite, les courants importants engendrant un dégagement gazeux étant diminués, tandis que ceux de moindre'4mportance sont aug- mentés. 5.- la figure 1 montre le raccordement au réseau de bord du régulateur 1 placé à la base de l'invention, le prin- cipe de base du régulateur à commutation sur deux points étant maintenu, c'est-à-dire que la régulation s'effectue dans le cas du régulateur conforme à l'invention, de sorte que le courant d'excitation émis à la borne de sortie DF du régulateur est pé- riodiquement coupé puis rétabli, et la tension du générateur est ainsi ajustée. Sur la figure 1, le générateur pour le réseau de bord, générateur qui dans ce qui va suivre sera uniquement considéré sous la forme d'un alternateur, est désigné par 2. Son raccordement acheminant la tension de sortie, est désigné par B+. La résistance Ri est considérée comme remplaçant l'en- semble des utilisateurs du réseau de bord. Le démarreur du mo- teur à combustion interne, relié à la batterie B par l'intermé- diaire d'un commutateur 3 distinct, est désigné par A. On voit qu'entre le conducteur 5 acheminant la tension du générateur et relié par l'intermédiaire d'un commutateur 4 avec les utilisa- teurs du réseau de bord, et le raccordement de batterie 6 est branchée une résistance en série ou résistance shunt RSht ai bien qu'une fois que le commutateur d'allumage 7 est fermé, la tension de sortie U. du générateur ainsi que la tension de batte- rie UB sont appliquées au régulateur 1. Un autre raccordement du régulateur est désigné par U,A. Ce raccordement est relié avec un détecteur de température 8 associé à la batterie B, par exem- ple une sonde NTC. Un autre raccordement du régulateur aboutit au p8le négatif D-, et enfin, le signal de sortie Di de l'alter- nateur 2 est également appliqué au régulateur 1, et ceci comme cela sera encore expliqué plus loin pour limiter la surtension lorsqu'éventuellement le conducteur de liaison entre le généra- teur et la batterie est interrompu. Le schéma par blocs du régulateur représenté sur la figure 2 comporte un premier bloc fonctionnel principal 9, constitué d'un comparateur 9a revêtant la forme d'un amplifica- teur opérationnel, et d'un point de totalisation 9b. Aux deux bor- nes de l'amplificateur opérationnel 9a, sont appliquées la ten- sion UG du générateur et la tension UB de la batterie, prélevées aux bornes de la résistance shunt RShl si bien qu'à la sortie de l'amplificateur opérationnel 9a, il apparait un signal cor- respondant au courant de charge IB de la batterie, auquel est ajouté un signal de tension de la batterie. La sortie du bloc 6.- fonctionnel 9 est ensuite amenée à un second point de totalisa- tion 11l avec le signal de sortie d'un bloc de courbes caractéris- tiques 12 qui engendre la courbe caractéristique souhaitée, dé- pendant de la température, de la tension de charge Uo () Le point de totalisation 11 peut faire partie d'un amplificateur à valeur de seuil 13 branché à la suite, par exemple d'un ampli- ficateur opérationnel branché en déclencheur de Schmidt, et dans lequel sont comparées la tension théorique Uo (1M) et la tension réelle corrigée de la fraction du courant de charge (UG + Ri.IB). le signal de sortie du déclencheur de Schmidt 13 parvient à un circuit pilote 14 ok est élaboré le signal de sortie DF du r6gu- lateur qui est appliqué au bobinage d'excitation 15 de l'alter- nateur. On peut voir sur la représentation détaillée du régulateur de champ 1 dans la figure 3, que la tension de g6n4- rateur UG présente en amont de la résistance Shunt RSh et la tension de batterie UB sont appliquées à l'amplificateur opéra- tionnel 9a par l'intermédiaire de diviseurs de tension respecti- vement constitués d'une part, des résistances R3, R5 vis-à-vis de la masse, avec le potentiomètre P1 et la résistance d'entrée R7, d'autre part, des résistances 14, R6 vis-à-vis de la masse, avec la résistance d'entrée R8. Le circuit d'entrée de l'amplifi- cateur opérationnel 9a comprend également les condensateurs 01Cl et 02 vis-à-vis de la masse pour supprimer l'ondulation, L'entrée inversante (entrée négative) de l'amplificateur opérationnel 9a est reliée par l'intermédiaire des résistances en série 119 et d'une résistance branchée en potentiomètre P2 avec le condensa- teur 05 en parallèle avec le point de totalisation 9b branché à la suite. Grâce à un tel circuit, la tension de batterie et le courant de batterie sont mesurés dans un amplificateur 9a, la tension prélevée à partir du shunt de mesure RSh étant appliquée par l'intermédiaire de deux diviseurs de tension réglée de façon légèrement différente R3, P1, R5 et respectivement R4, 116 aux entrées différentielles de l'amplificateur. Une modification dans la tension de sortie de l'amplificateur est en conséquence amenée aussi bien par une modification de m8me importance de la tension aux deux points de raccordement du shunt de mesure h (amplification parallèle) qu'également par une modification en sens contraire de la tension (amplification symétrique). Par l'intermédiaire du potentiomètre P1 à l'entrée de l'amplifica- 7.- teur opérationnel 9a ainsi que par l'intermédiaire du potentio- mètre P2 dans la dérivation de recyclage, l'amplification paral- lèle et l'amplification symétrique peuvent être réglées séparé- ment. Grâce à un tel circuit, on peut parvenir en conséquence à é- viter, par la mesure du courant de batterie et la "statique" appropriées du régulateur de courant d'excitation, des prélève- ments de courant de charge présentant de fortes différences dans la dispersion des spécimens de batteries et/ou de l'âge de ces batteries. La réduction de la tension du générateur lorsque le courant de batterie croit s'effectue alors selon la relation: UG = UGO - Rm. IBL. Une telle courbe caractéristique de réglage a alors l'allure correspondant à la courbe I sur la figure 4 et qui donne la tension UG du générateur en fonction du courant de charge IBL de la batterie. La dépendance en fonction de la température est introduite au second amplificateur opérationnel 16, à l'entrée inversante duquel est appliqué, par l'intermédiaire de la résis- tance R15, le signal de sortie du premier amplificateur opéra- tionnel 9a au point de totalisation 9b. L'autre entrée de l'amplificateur opérationnel 16 reçoit du bloc de courbes caractéristiques 12, le signal de température U r de la batterie, ce signal étant mélangé pour l'ajustement de la valeur de seuil, avec un signal de tension préalable en provenance du diviseur de tension du potentiomètre P4 en série avec la résistance R17. Le bloc de courbes caracté- ristiques 12 comporte la résistance NTC R12 au moins une diode de Zener Z4 branchée en parallèle sur cette résistance, et qui peut être branchée en série avec deux diodes D2 et D3. Ce bran- chement est relié par l'intermédiaire du branchement en paral- lèle d'un potentiomètre P3 et d'une résistance RM au conduc- teur d'alimentation porté à une tension stabilisée Ust. Cette tension stabilisée est obtenue à partir d'un bloc d'alimentation 17, qui, d'une façon connue en ce qui le concerne, engendre la tension stabilisée à partir de la ten- sion UG du générateur, à l'aide d'un transistor en série Tll et d'au moins une diode Zener Z1, Z2. Le signal de sortie du déclencheur de Schmidt 13 est appliqué par l'intermédiaire d'une diode de Zener en série 8.- Z5 à un transistor Darlington T3, de préférence intégrê, avec un transistor pilote T2 selon un montage classique, la bobine d'excitation 15 de l'alternateur étant reliée aix collecteurs as- semblés du transistor Darlington et étant branchée vis-à-vis de la masse. Dans une réalisation avantageuse de l'invention, une diode D5 est branchée en parallèle dans la zone d'entrée du premier amplificateur opérationnel 9a, et en fait dans l'exemple de réalisation représenté, cette diode est branchée entre le point de jonction respectivement du potentiomètre P1 avec la résistance R7 et de la résistance R4 avec la résistance R8 dans un autre rameau de réDartiteur de tension. La diode D5 ne pré- sente qu'une tension d'éclusage réduite et elle diminue, en cas de franchissement d'une tension différentielle déterminée au shunt de mesure RSh, l'amplification symétrique, si bien que l'abaissement de la tension de charge, de façon correspondante à l'allure de la courbe II sur la figure 4, s'effectue tout d'a- bord rapidement lorsque le courant de charge croit et ensuite lentement, de sorte qu'une batterie vide peut être chargée plus vite tandis qu'une batterie complètement chargée ne dégage que peu de gaz. Par ailleurs, on peut également utiliser comme shunt de mesure, un morceau du conducteur allant de la batterie à l'in- terrupteur d'allumage. Il n'est done pas nécesseire dans ce cas de prévoir une résistance distincte. la valeur de la résistance du shunt de mesure peut par exemple être de 4 mOhm. Une autre forme avantageuse de la présente in- vention consiste enla disposition d'une protection contre les surtensions, qui sera alors susceptible d'agir lorsque par exem- ple le conducteur de liaison entre le générateur et la batterie sera interrompu. la protection contre les surtensions consiste en ce que la tension de sortie D+ du générateur nécessitée par la commande de la lampe de contr8le de charge 10 dans la figure 1, est appliquée par l'intermédiaire d'une résistance R10 en s6- rie avec au moins une diode de Zener Z3 et dans le cas de l'exem- ple représenté avec une autre diode DI, au point de liaison du potentiomètre P1 et de la résistance R7 dans la branche du di- viseur de tension pour la tension de générateur U. La diode D1 bloque alors le sens négatif du couïant, si bien que la tension déjà réglée pour l'alimentation de l'excitation à la borne D+, inffluence par ltinterniédiaire du premier amplificateur opération- 9,- nel 9a, le régulateur de courant d'excitation pour une tension se situant au-dessus de la tension d'éclusage de la diode de Zener Z3, de façon telle que ce régulateur coupe l'excitation du générateur. Comme habituellement, la tension déjà réglée pour l'excitation à la borne D+, est également appliquée à l'étage terminal du régulateur du courant d'excitation en tant que ten- sion d'alimentation. Dans le cas d'un régulateur de courant d'excita- tion pour alternateur de 14V, on a alors les données suivantes: Principe: régulateur à commutation en deux points Alimentation: par l'intermédiaire des diodes d'excitation de l'alternateur. Grandeur de réglage: tension du générateur selon la courbe ca- ractéristique UG = Uo () -Ri.IB Statique: Ri réglable de 50 à 200 mOhms Grandeurs de mesure: température de la batterielB= -20...+6000 C courant de batterie IB = -50.... + 50A Grandeurs de réglage: tension d'excitation O ou UG Courant d'excitation: O.... 4 A Protection contre la surtension: elle devient efficace en cas de rupture du conducteur de liaison entre le gé- nérateur et la batterie. IO.- RE V END IC A T I0 N S 1.- Procédé pour limiter la dispersion du cou- rant engendrant le dégagement gazeux dans des batteries de dé- marrage, dispersion qui dépend du spécimen de batterie considé- ré et de son âge, notamment dans le cas de véhicules automobi- les ou analogues, dans lesquels la tension, correspondant à la tension de charge, obtenue à partir d'un générateur électrique (alternateur), entratné par le moteur à combustion interne, est réglée, procédé caractérisé en ce que le courant de charge considéré (I..) circulant dans la batterie est mesuré, et la tension du générateur (U), et donc la tension de chargé, est réduite en fonction du courant de charge ainsi mesuré de façon, qu'en tenant compte de la résistance interne présentée à ce mo- ment par la batterie, les courants importants engendrant un dé- gagement gazeux sont réduits tandis que ceux de faible importan- ce sont augmentés. 2.- Procédé selon la revendication 1, caracté- risé en ce que, lors de l'ajustement du courant de charge de la batterie, il est tenu compte de la température atteinte à ce moment par la batterie. 3.- Procédé selon l'une quelconque des revendi- cations 1 et 2, caractérisé en ce que, lorsque le courant de charge croit, la tension de charge est abaissée tout d'abord rapidement et ensuite lentement de façon qu'il y ait une charge rapide de la batterie vide avec seulement un dégagement gazeux réduit de la batterie complètement chargée. 4.- Régulateur pour limiter la dispersion du courant provoquant le dégagement gazeux dans des batteries de démarrage, dispersion qui est fonction du spécimen de batterie considéré et de son Age, avec un organe de réglage pour le cou- rant d'excitation à appliquer au bobinage d'excitation, régula- teur destiné à la mise en oeuvre du procédé selon l'une quel- conque des revendications 1 à 3, régulateur caractérisé en ce qu'un shunt de mesure (RSh) est branché entre la borne de sortie du générateur alimentant le réseau de bord et la batterie (B), les deux tensions (UG., Un) prélevées par l'intermédiaire du shunt de mesure (RSh) étant appliquées de façon telle à un am- plificateur (9a) d'un premier bloc fonctionnel (9), que la tension de batterie (UB) et le courant de charge de la batterie (IBI) sont déterminés dans ce premier amplificateur, tandis qu'à la 11.- suite de ce premier bloc fonctionnel est branché un circuit (amplificateur 13) sensible à une valeur de seuil, dont l'autre entrée reçoit d'un bloc de courbes caractéristiques (12) une tension théorique de batterie (U,) dépendant de la tempéra- ture. 5.- Régulateur selon la revendication 4, carac- térisé en ce que l'amplificateur (9a) du premier bloc fonction- nel (9) est un amplificateur opérationnel, aux deux entrées du- quel sont appliquées de façon telle, par l'intermédiaire respec- tivement de diviseurs de tension réglés de façon légèrement dif- férente, les tensions prélevées sur le shunt de mesure Rsh) qu'aussi bien une modification de m8me importance de la tension dans le sens d'une amplification parallèle, qu'une modification en sens contraire de la tension dans le sens d'une amplification symétrique, provoquent une modification de la tension de sortie de l'amplificateur. 6.- Régulateur selon l'une quelconque des reven- dications 4 et 5, caractérisé en ce que, dans l'un au moins des diviseurs de tension d'entrée, est disposé un premier potentio- mètre (P1), tandis que dans un réseau de recyclage (R9, Pa2, 05) reliant le diviseur de tension d'entrée de la tension de batterie (R4, R6, R8) avec la sortie de l'amplificateur opérationnel (9a) est disposé un second potentiomètre (P2) pour ajuster séparément l'amplification parallèle et l'amplification symétrique. 7.- Régulateur selon la revendication 6, caracté- risé en ce que le point de jonction (point de totalisation 9b) du réseau de recyclage et de la sortie de l'amplificateur opéra- tionnel, est relié à l'une des entrées d'un second amplifica- teur opérationnel (16) branché en déclencheur de Schmidt, dont l'autre entrée reçoit du bloc de courbes caractéristiques (12) * la tension théorique de batterie (U/>)dépendant de la tempéra- ture,. 8.- Régulateur selon la revendication 7, carac- térisé en ce que le bloc de courbes caractéristiques (12) compor- te une résistance NTC (R12) dépendant de la température et détec- tant la température de la batterie, ainsi qu'une diode de Zener (Z4). 9.- Régulateur selon la revendication 8, caract6- risé en ce que la résistance NTC (R12) et la diode de Zener (Z4) sont branchés en parallèle l'une sur l'autre et en série avec 12.- une résistance réglable (R1, P3) 9 tandis que la sortie du bloc de courbes caractéristiques (12) est reliée par un diviseur de tension réglable (P4, R17) à l'entrée du second amplificateur opérationnel (13). 10,- Régulateur selon lune quelconque des reven- dications 4 à 9, caractérisé en ce que les circuits diviseurs de tension d'entrée (-r3p P19 R79 R5 R4.9 R6, R8) pour la tension (UG) du génratev.? et la tension (UB) de la batterie surz le shunt de esure (...'Sh,:ont po:nré,e de,açon telle par une diode (D5) avec une tenion dcéclvsage réduite9 que lorsqu; une tension di éerezntielle déterminée est dépassee9 1 amplification symétri-aC se réduit pour permettre duobtenir wie allure coudée de la ten- sion de charge, I10- Régulateur selon l1-mie quelconque des reven- dications. à 10, caractérisé en ce que9 comme protection contre les surtensions, la tension d'alimentation de leexcitation la borne (ID+) de lealternateur (2) est appliqcuée par leintermê- diaire d'une diode de Zener (Z3) et deume autre diode (DI) a lmune des born.es de lamplificateur opératiomuel (9a) du premier bloc fonctioanel (9) de façqn telle, que luexcit-ation du genéra- teur est coupée pouar unre tension supérieure à la tension dava- lanche de la diode de Zener (Z3)