Sécuriser une séquence

Une commande ne suffit pas : les conditions d’autorisation doivent être réunies.

marche = demande ∧ niveau ∧ pression ∧ ¬défaut

Chargement du laboratoire…