Visitor

Views

1 La méthode B - Irif

formule f1 = Succ(feuA)) ? (f2 = Succ(feuB) énonce que la couleur d'un des deux feux au moins change effectivement. Correction des machines abstraites.