ben au moins la phrase de linus avait le merite d´etre comme une formule A qui prend la valeur vrai pour n´importe lesquelles de ses valuations... en gros, pour tte valuation, la formule A prend la valeur vrai^^
bon ok j´arrete, dsl ms c´est cet oral de logique, je me met en condition^^
tiens d´ailleurs je vais y aller....
bonne journée a tous 