https://123dok.net/document/q0541g9x-énoncé-on-définit-une-procédure.html