description d'une interaction

Automate d'une pompe à essence