Pour la partie automate, nous utilisons principalement :

Pour la partie régulation, nous utilisons principalement :