https://123dok.net/document/qmj5w8n9-automates-avanc-master-informatique-td-utilisation-lemme-eration.html