TP de langage de spécification : B

Partie 1

Déclarer une machine B sans variable avec les opérations suivantes :