GRAFCET et fonctionnement des automates