You are on page 1of 29

Nous allons dans ce tuto tudier l'algbre de boole.

Derrire ce nom barbare se


cache en fait quelque chose que tout programmeur, mme dbutant, utilise sans
le savoir, dans les conditions.
Il est assez peu utile dans la plupart des cas , mais il peut avoir son utilit en
algorithmique, pour la recherche de performances au niveau des conditions, en
SQL, pour les requtes, ou en lectronique, pour limiter le nombre de cblage de
portes logiques.

Les variables boolennes

L'algbre de Boole est une structure algbrique qui ne contient que deux
lments, que l'on appelle couramment variables boolennes. Ces variables ne
peuvent avoir que deux tats, 1 ou 0 (true ou false dans certains langages de
programmation), et respectent quelques rgles de calcul que nous dtaillerons
plus loin.

Mais quel est le rapport avec les conditions ?


J'y viens . En fait n'importe quel test excut dans une condition est une variable
boolenne.
Prenons un exemple

SI (A=B) ALORS ...


Le test (A=B) peut avoir deux valeurs : 1 si A est rellement gal B et 0 sinon.
On dit que c'est la variable boolenne associe au test A=B.

Les oprateurs logiques

L'algbre de Boole utilise plusieurs oprateurs que l'on nomme oprateurs


boolens, oprateurs logiques, ou encore fonctions logiques ou portes logiques
(terme plus propre l'lectronique).
En voici les principaux.

L'oprateur OU

Il correspond la runion de deux conditions. Par exemple : je souhaite acheter


une voiture bleue OU climatise. Les voitures correspondant mon choix seront
donc soit bleue, soit climatise, soit les deux la fois.

On symbolise l'oprateur OU dans les conditions par un OR ou ||


En algbre de Boole, il est symbolise par un +
La matheux prfrent quant eux la symbolisation

Exemple :

if(a==1 OR a==2){

quivaut

SI((a=1)+(a=2)) alors
Si on prend des variables boolennes, on obtient :
aOUba+b

Table de vrit :

a
b
a+b
0
0
0
1
0
1
0
1
1
1
1
1

Dans ce tableau on voit le rsultat du test a+b en fonction des valeurs de a et de


b

L'oprateur ET

Il correspond l'intersection de deux conditions. Par exemple : je souhaite


acheter une voiture bleue ET climatise. correspondant mon choix seront donc
la fois bleues et climatises.

On symbolise l'oprateur ET dans les conditions par un AND ou &&


En algbre de Boole, il est symbolise par un
En maths on crira plutt

Exemple :

if(a==1 AND a==2){

quivaut

SI((a=1).(a=2)) alors
Si on prend des variables boolennes, on obtient :
aETbab

Table de vrit :

a
b
a.b
0
0
0
1
0

0
0
1
0
1
1
1
Dans ce tableau on voit le rsultat du test ab en fonction des valeurs de a et de
b

L'oprateur NON

Il correspond au complment 1 d'une condition. Par exemple : je souhaite


acheter une voiture NON polluante. Les voitures correspondant mon choix
seront donc cologiques.

L'oprateur NON est souvent reprsent dans les conditions par un !


En algbre de Boole, il est symbolise par une barre au dessus de(s) variable(s)
En maths on utilise le symbole
Exemple :

if(a!=1){

quivaut

SI (a=1) alors ...

Si on prend des variables boolennes, on obtient :


!a quivaut a

Table de vrit :

a
0
1
1
0
Dans ce tableau on voit le rsultat du test a en fonction des valeurs de a

L'oprateur XOR (OU exclusif)

Il correspond l'intersection de deux conditions, prive de la runion de ces deux


conditions. Par exemple : le menu propose du fromage OU EXCLUSIF un dessert :
Je peux prendre soit l'un soit l'autre, mais pas les deux.

L'oprateur XOR est reprsent dans les conditions par un XOR


En algbre de Boole, il est symbolise par un
Exemple :

aXORbab

Table de vrit :

a
b
ab
0
0
0
1
0
1
0
1
1

1
1
0
Dans ce tableau on voit le rsultat du test ab en fonction des valeurs de a et de
b

Note : ab=ab+ab

L'oprateur NXOR (NON OU exclusif)

Cet oprateur n'a pas de symbolisation propre, on le note simplement NXOR

Table de vrit :

a
b
a NXOR b
0
0
1
1
0
0
0
1
0
1
1
1
Cet oprateur est appel oprateur coincidence. En effet le test "aNXORb" n'est
vrai que si a et b sont dans le mme tat logique (0 ou 1)

Note : aNXORb=ab+ab

L'oprateur NAND (NON ET) ou connecteur de Sheffer

La fonction NAND est l'enchainement de la fonction ET et de la fonction NON. On


la symbolise par

Table de vrit :

a
b
ab
0
0
1
1
0
1
0
1
1
1
1
0
L'oprateur NAND est appel oprateur universel : il est possible de recrer
n'importe quelle fonction logique uniquement en utilisant la fonction NAND. Nous
verrons plus loin dans ce tuto comment.

Note : ab=ab=a+b

L'oprateur NOR (NON OU)

La fonction NOR est l'enchainement de la fonction OU et de la fonction NON. On


la symbolise par

Table de vrit :

a
b
ab
0
0
1
1
0
0
0
1
0
1
1
0
L'oprateur NOR est galement un oprateur universel.

Note : ab=a+b=ab

Rgles de simplification

Entrons maintenant dans le vif du sujet en apprenant les rgles de l'algbre, qui
vont nous permettre de simplifier nos conditions.

Rgle 1 : la commutativit

Mme si elle parait vidente, il me semble bon de la prciser :

a+b=b+aab=ba

Rgle 2 : l'idempotence

Un nom barbare pour une proprit simple :

a+a=aaa=a

Rgle 3 : l'lment nul

Comme son nom l'indique, il prend le dessus dans l'galit :

a+1=1a0=0

Rgle 4 : l'lment neutre

Il ne change rien l'galit :

a1=aa+0=a

Rgle 5 : l'associativit

Elle parait vidente aussi :

a+(b+c)=(a+b)+ca(bc)=(ab)c

Rgle 6 : la complmentarit

a=a(Non Non = Oui)a+a=1aa=0

Rgle 7 : la distributivit

Attention, les deux lois sont distributives l'une par rapport l'autre,
contrairement l'algbre classique

a(b+c)=ab+aca+(bc)=(a+b)(a+c)

Rgle 8 : thorme de De Morgan

Rgle trs utile, mais attention aux erreurs de changement d'oprateur

a.b=a+ba+b=a.b

Et les autres

Il existe d'autres rgles qui dcoulent plus ou moins simplement des


prcdentes. Notamment :
a+a.b=a+b

Dmonstration :

a+ab=aab=a(a+b)=a(a+b)
=aa+ab=0+ab=ab=a+b(Rgle 8)(Rgle 8)(Rgle
6)(Rgle 7)(Rgle 6)(Rgle 4)(Rgle 4)

Donc a+a.b=a+b, soit a+a.b=a+b

Autre rgle :
a+a.b=a

Dmonstration :

a+ab=a1+ab=a(1+b)=a1=a(Rgle 4)(Rgle 7)(Rgle 3)(Rgle 4)

Voil, vous connaissez maintenant les principales rgles de l'algbre de boole,


vous en savez assez pour simplifier la grande majorit des quations. Pour les
plus rcalcitrantes, un autre outil existe, il s'agit du tableau de Karnaugh

Spcificits des portes composes

Dans cette partie nous allons vois les rgles qui s'appliquent (ou pas) aux portes
logiques composes, c'est dire XOR, NXOR, NAND, et NOR.

L'universalit des portes NAND et NOR

La porte NAND

Comme je vous l'ai dit prcdemment, il est possible de raliser n'importe quelle
fonction logique de base en utilisant uniquement des portes NAND. C'est
notamment trs utile en lectronique, puisqu'on peut alors produire en masse (et
donc moins coteusement) uniquement ces portes la, pour cbler ensuite
n'importe quelle quation logique.

La fonction NON : a1=a1=a

La fonction ET : (ab)1=ab1=ab=a.b

La fonction OU :
(a1)(b1)=a1b1=ab=a
+b

La porte NOR

La porte NOR possde les mmes spcificits :

La fonction NON : a0=a+0=a

La fonction ET :
(a0)(b0)=a+0+b+0=a
+b=a.b

La fonction OU :
(ab)0=a+b+0=a+b=a+b

Rgles de calcul spcifiques

Pour effectuer des simplifications avec des portes composes, il existe deux
solutions. La premire consiste a transformer la fonction compose de faon
n'utiliser que les portes de base (NON, OU, ET). Il faut pour cela utiliser les
quivalences que j'ai indiqu la dfinition de chaque porte. Par exemple :
aba.b+a.b On peut alors utiliser les rgles de simplifications listes plus
haut.

Le deuxime choix qui s'offre nous est d'utiliser les rgles de calcul spcifiques
aux portes composes (utile par exemple s'il faut garder un seul type de porte
dans les quations)

Rgles spcifiques la porte XOR

Quelques rgles qui sont en fait des proprits aisment dductibles des rgles
prcdentes

a1=a
a0=a
aa=0
aa=1
Rgles spcifiques la porte NAND

Voici les proprits de la porte NAND

a1=a
a0=1
aa=a
aa=1
Il n'y a PAS d'associativit avec les portes NAND : a(bc)(ab)c
Rgles spcifiques la porte NOR

Voici les proprits de la porte NOR

a1=0
a0=a
aa=a
aa=0
Il n'y a PAS non plus d'associativit avec les portes NOR : a(bc)(ab)c
Exercices

Bon voil, a fait beaucoup de connaissances ingurgiter d'un coup . Il va falloir


s'entrainer un peu pour vrifier que tout est bien acquis .

Exercice 1

Bon on va commencer doucement . Munissez vous d'un papier, d'un crayon et


surtout de patience, car ce n'est pas forcement vident au dbut .

Simplifier : a(a+b)

Solution (cherchez d'abord ! )

a(a+b)=aa+ab=a+ab=a(Rgle 7)(Rgle 2)(Voir la dmonstration de la rgle


complmentaire)

Facile non ?
Bon, donc on peut compliquer un peu

Exercice 2

Lgrement plus difficile :

Simplifier : a+a.b+a.b

Solution :

Pour cette quation (comme souvent), il y a plusieurs faon de procder. Je vais


en donner 3 cette fois ci mais l'avenir je n'en donnerai qu'une : pas
d'inquitude donc si ce n'est pas la votre, c'est le rsultat qui compte

Solution 1 :

a+ab+ab=a+a(b+b)=a+a1=a+a=1(Rgle 7)(Rgle 6)
(Rgle 4)(Rgle 6)

Solution 2 :

a+ab+ab=a+b+ab=a+b+b=a+1=1(Rgle Complmentaire)
(Rgle Complmentaire)(Rgle 6)(Rgle 3)

Solution 3 :

a+ab+ab=a+b+ab=a+b+a+b=(a+b)+
(a+b)=1(Rgle Complmentaire)(Rgle 8)(Rgle 6)

Si vous avez des difficult comprendre ces exercices, un petit retour la partie
prcdente s'impose

Remarque : Dans l'exemple prcdent, on remarque que quelles que soient les
tats logiques de a et b, l'quation propose vaut toujours 1. On parle alors de
tautologie
Exercice 3

Plus difficile :

Simplifier : a+bc+a(bc)(ad+b), puis transformer l'expression


obtenue de manire n'utiliser que l'oprateur NAND

a+bc+a(bc)(ad+b)=a+bc+a(b+c)(ad+b)=a+bc+
(ab+ac)(ad+b)=a+bc+abad+abb+acad+acb)
=a+bc+0bd+a0+0cd+acb)=a+bc+0+0+0+acb=a+bc+
a(cb)=bc+a+a(cb)=bc+a+(cb)=b(c+c)
+a=b(1)+a=b+a=(a1)(b1)(Rgle 8)(Rgle 7)(Rgle 7)(Rgle 6)(Rgle 3)

(Rgle 4)(Rgle 1)(Rgle Complmentaire)(Rgle 7)(Rgle 6)(Rgle 3)(Voir porte


NAND)

Ne dsesprez pas si vous n'y arrivez pas du premier coup, car l'algbre de
Boole, malgr ses ressemblances, est assez diffrent de l'algbre classique.

Exercice 4

Exercice sur le thorme de De Morgan :

Simplifier :
abcba
, puis transformer l'expression obtenue de manire n'utiliser que
l'oprateur NAND

Indice :
Simplifiez les barres de haut en bas

Solution

abcba
=a+bcba=a+(bc+b)a=a+
(c+b)a=a+(c+b)=a+c+b=(a1)(b1)c(Rgle 8)(Rgle 8)(Rgle
Complmentaire)(Rgle Complmentaire)(Voir porte NAND)

La table de vrit

Nous avons dj abord les tables de vrit dans la 2me partie, sans trop s'y
attarder, chose que nous allons faire prsent.
Une table de vrit permet de connaitre l'tat logique S de l'quation, en fonction
des tats des variables.
La table de vrit la plus simple est la suivante :

a
S
0

0
1
1
Ici on voit que quand la variable a vaut 1 S vaut 1 et quand a vaut 0, S vaut 0.

Pour remplir, une table de vrit, plusieurs tapes sont respecter :

Placer en haut de chaque colonne le nom de toutes les variables logiques et dans
la dernire le nom de la variable rsultat (gnralement S)
Placer dans les colonnes sous les noms de variables TOUTES les combinaisons
des variables dont on connait le rsultat logique (il ne doit pas y avoir 2 fois la
mme combinaison)
Exemple :

On veut faire la table de vrit d'une quation S inconnue a 2 variables logique,


que l'on nomme ici a et b.

On commence remplir le tableau

Admettons maintenant qu'on connaisse S quel que soit l'tat de a et de b. On


rempli donc le tableau avec toutes les combinaisons de a et de b possibles :

a
b
S
0
0
?
0
1
?
1
0
?

1
1
?
Maintenant on remplit avec les valeurs de S que l'on connait (je vous les donne) :

a
b
S
0
0
1
0
1
0
1
0
0
1
1
1
Euh, c'est bien beau tout a mais quoi a sert ??
Minute papillon, j'y viens
Grce cette table de vrit, on va pouvoir retrouver l'quation logique reliant a
et b !

1re mthode : la forme normale disjonctive (DNF)

Il va s'agir d'crire l'quation sous la forme d'une somme de produits. Pour cela, il
faut reprer dans la table de vrit toutes les combinaisons pour lesquelles S
vaut 1.
On les surligne :

b
S
0
0
1
0
1
0
1
0
0
1
1
1
On a 2 lignes surlignes : on aura donc une somme de 2 produits.
On crit ces produits en fonction de la combinaison des variables : si une variable
vaut 0 alors on crit
:nomdelavariable, sinon on crit
simplement le nom de la variable.

Dans notre cas, on obtient donc :

1re ligne
a vaut 0 donc on crit a
b vaut 0 donc on crit b
4me ligne
a vaut 1 donc on crit a
b vaut 1 donc on crit b
En franais, pour que S soit gal 1, il faut que a=0 ET b=0, OU que a=1 ET b=1
On traduit donc par l'galit suivante :
a.b+a.b
On a bien une somme de 2 produits.

On appelle parfois les produits issus d'une seule case de la table de vrit des
mintermes. Il est possible de dmontrer que la DNF (non simplifie) est unique
l'ordre des termes prs.
2me mthode : la forme normale conjonctive

On veut cette fois obtenir un produit de sommes. Il faut pour cela reprer toutes
les combinaisons pour lesquelles S vaut 0 :
On les surligne dans le tableau :

a
b
S
0
0
1
0
1
0
1
0
0
1
1
1
On a 2 lignes surlignes : on aura donc un produit de 2 sommes.
On crit ces somme en fonction de la combinaison des variables : si une variable
vaut 0 alors on crit
:nomdelavariable, sinon on crit
simplement le nom de la variable.

Dans notre cas, on obtient donc :

2me ligne
a vaut 0 donc on crit a

b vaut 1 donc on crit b


3me ligne
a vaut 1 donc on crit a
b vaut 1 donc on crit b
En franais, pour que S soit gal 1, il ne faut PAS que a=0 ET b=1, OU que a=1
ET b=0
On traduit donc par l'galit suivante :
a.b+a.b
La grande barre symbolise le "PAS". en effet, on ne veut que les cas ou S vaut 1
On simplifie ensuite en utilisant le thorme de De Morgan :
a.b+a.b=(a.b).(a.b)=(a+b).
(a+b)
On a bien un produit de 2 sommes.
On peut vrifier que cette galit est quivalente la prcdente :
On distribue :
=a.a+a.b+b.a+b.b
On simplifie ce qui doit l'tre :
=a.b+b.a
Et on retrouve bien l'galit du 1)

Les formes normales, du fait de leur unicit, permettent de vrifier trs


rapidement l'galit deux deux quations boolennes. En revanche, elles sont en
gnrales trs lourdes manier puisque faisant intervenir tous les termes : il
convient donc de les simplifier pour pouvoir les exploiter.
On se rend en revanche assez vite compte qu'une simplification l'aide des
rgles usuelles est trs fastidieuse, et source de nombreuses erreurs. C'est
pourquoi nous allons maintenant tudier un outil puissant pour simplifier les
tables de vrits complexes : le tableau de Karnaugh.

Le tableau de Karnaugh

Le tableau de Karnaugh est un outil qui permet de simplifier des quations


boolennes, avec moins de chances de se tromper qu'en utilisant les rgles de
l'algbre de Boole classique. On peut l'utiliser avec au maximum 5-6 variables,
au-del il devient rapidement inefficace.

Crer et remplir un tableau de Karnaugh

A partir d'une table de vrit

Prenons la table de vrit suivante :

a
b
c
d
S
0
0
0
0
0
0
0
0
1
1
0
0
1
0
0
0
0
1
1
1
0

1
0
0
1
0
1
0
1
0
0
1
1
0
0
0
1
1
1
1
1
0
0
0
0
1
0
0
1
1
1
0
1

0
1
1
0
1
1
1
1
1
0
0
1
1
1
0
1
0
1
1
1
0
0
1
1
1
1
1
Avec 4 variables, on a 2=16 combinaisons. On va donc crer un tableau de 4
colonnes et 4 lignes (4*4=16), pour ainsi avoir toutes les combinaisons :

C'est un peu comme une bataille navale, sauf que chaque case a 4 indices : l'tat
des 4 variables. Les cases 'AB' et 'CD' indiquent l'ordre des variables sur la ligne

ou colonne associe : par exemple, sur la ligne 1, on voit la case 'AB', ce qui
implique que '00' signifie A=0 et B=0 ou encore a et b

ATTENTION : c'est trs important que d'une case conscutive l'autre, une seule
variable change d'tat ! Sans cela, tous ce que vous pourrez entreprendre par la
suite sera tout bonnement faux. Ce tableau donnera par exemple des rsultats
faux :

En effet, pour passer de la case C0 la case C1, les A et B changent toutes deux
d'tat : A passe de 0 1, et B de 1 0.

Ces mises en gardes termines, on peut maintenant remplir le tableau en


fonction de notre table de vrit : on commence par la premire ligne de la, qui
est, je vous le rappelle :

a
b
c
d
S
0
0
0
0
0
On va dans le tableau, et on cherche la case d'indice a=0, b=0,c=0 et d=0, c'est
dire la premire case, et on y inscrit la valeur de S donne par la table de vrit
(ici 0) :

On continue avec la 2me ligne de la table :

a
b
c

d
S
0
0
0
1
1
Ce qui donne :

Et ainsi de suite pour toutes les autres cases. On obtient donc :

A partir d'une quation boolenne

On peut galement remplir un tableau directement l'aide d'une quation


boolenne. Cela permet par exemple de la simplifier plus qu'avec les rgles de
l'algbre.
Pour cela il faut avoir une quation sous la forme d'une somme de produit.
Exemple : a.b.c.d+a.b.c+a.c+b.d+a.b
On isole le premier produit et on identifie les variables :
a.b.c.d
On va donc chercher la case du tableau qui vrifie ces conditions :
a=0b=1c=0d=0 , c'est dire un cas o l'quation est vraie, et on ajoute un 1
dans la case

On passe au deuxime produit :


a.b.c
On voit que dans ce produit la variable d n'apparait pas. Cela signifie que
l'quation est vraie si : a=1b=0c=1 ET d=0 OU d=1

On procde de mme pour les trois autres produits, o il y a chaque fois deux
variables indtermines, ce qui signifie qu'on rempli 4 cases pour chaque produit.
On obtient finalement :

Remarque : il est fort probable que plusieurs produits conduisent remplir la


mme case, c'est tout fait normal

Retrouver l'quation boolenne simplifie

Raliser les groupements

Il s'agit maintenant de raliser des "groupements" de 1 : on va entourer des


groupes de 1 dans le tableau en respectant quelques rgles :

Les groupements peuvent utiliser plusieurs fois le mme 1


Ils ne doivent pas contenir de 0
Tous les 1 doivent tre contenus dans un groupement
Ils doivent tre les plus grands possible
Ils doivent tre rectangulaire (ou carr)
Leur dimensions doivent tre des puissances entires de 2 (2=1, 2=2, 2=4,
etc) Exemples : un carr de 2 par 2 ou un rectangle de 1 par 4
On imagine que les lignes et colonnes sont boucles : on peut utiliser par
exemple un 1 de la premire colonne avec un de la dernire colonne
Reprenons le tableau rempli prcdemment avec la table de vrit. On
commence par le groupement le plus vident, le rectangle de 4 par 1 :

Ensuite vient le groupement de 2 par 1 du haut :

On peut se servir du fait que les lignes sont boucles et qu'on peut rutiliser
plusieurs fois le mme 1 pour faire un groupement de 2 par 2 :

Il ne reste plus qu'un seul 1 que l'on place dans un groupement le plus grand
possible, 2 par 1 (le groupement de 3 par 1 ne serait pas possible car 3 n'est pas
une puissance entire de 2) :

Dduire l'quation simplifie

Maintenant on va dduire chaque groupement ralis une partie de l'quation


finale.
Pour cela, on va reprer pour chaque groupement les variables qui ne varient
pas, et ce quelle que soit la case du groupement. Cela peut paratre compliqu
dit comme a, mais vous verrez qu'avec un ou deux exemples, a sera trs facile
On va s'occuper en premier de notre groupement vert. On tudie chaque variable
l'une aprs l'autre :

Commenons par la variable A :

On s'aperoit que pour les cases du groupement vert, la variable A n'est pas
constante : elle prend comme valeur 0 et 1. On ne tiendra donc pas compte de
cette variable.

Voyons maintenant la variable B :

Pour les deux cases du groupement, la variable B est constante : B=1. Cela
signifie que pour que ce groupement soit vrai, il faut que B le soit aussi. On peut
donc crire provisoirement que : groupementVert=B

Pour la variable C :

C'est la mme chose que pour la variable B, sauf que C est tout le temps gale
0. Cela signifie que pour que ce groupement soit vrai, il faut en plus que C soit
faux (C) . On rajoute cette information notre quation temporaire :
groupementVert=B.C

La variable D se comporte exactement comme la variable C. On obtient donc


groupementVert=B.C.D
On procde exactement pour le groupent bleu : groupementBleu=A.B.C
Pour les groupements jaune et rouge, c'est encore similaire, la nuance que les
groupements sont plus grands, donc il y a une variable de moins qui ne varie pas
(d'o l'intrt de faire les groupements les plus grands possibles). Essayer de les
retrouver par vous mme pour vous entrainer.

groupementRouge=C.DgroupementJaune=B.D

Bon et que fait-on avec tout a ? Et bien on retrouve l'quation pardi !


On a trouv les quations des groupements, c'est dire les conditions au niveau
des variables pour appartenir un groupement. Comme les groupements
regroupent toutes les combinaisons qui donnent un rsultat vrai, il suffit qu'une
combinaison vrifie l'quation d'un des groupement pour qu'on soit srs que la
sortie soit vraie. A l'inverse, on peut tre srs que la sortie sera fausse. D'o
l'quation finale :
S=groupementJaune+groupementRouge+groupementBleu+groupementVert
ce qui signifie que S=B.C.D+A.B.C+C.D+B.D

Et voil ! Vous avez trouv l'quation la plus simple possible de la table de vrit
du dbut !
Essayer de simplifier avec les rgles de l'algbre de Boole, vous parviendrez tout
au plus factoriser mais en aucun cas simplifier.

Exercice

Pour vous entrainer, vous pouvez essayer de retrouver l'quation du tableau de


Karnaugh qu'on a rempli avec une quation. Le voici pour mmoire :

Vous devez obtenir :


S=A.C+B.C+B.D

Voil, vous en savez assez pour vous dbrouiller comme des grands avec
l'algbre de Boole

Je tiens remercier particulirement Talus pour son soutien et son travail de


correction.

Pour ceux qui veulent s'entrainer ou qui sont intresss, un solveur de l'algbre
de Boole est disponible ici. Attention, ce logiciel est encore en phase de test, il se
peut donc qu'il reste quelques erreurs dans les quations retournes.

Bon courage