Source: https://cdg50.fr/wp-content/uploads/2022/03/2020-ETAPS-P2C-Interne-sujet-corrige-questions.pdf