Etat "vérifiée"

Propriétaire : Automate à états de la classe Consommation

Description

Transitions en entrées : Transitions en sorties :