Source: https://wiki.inria.fr/wikis/sciencinfolycee/images/e/eb/Informatique_pour_tous_en_classes_pr%C3%A9paratoires_aux_grandes_%C3%A9coles_Wack_Conchon_Courant_deFalco_Dowek_Filliatre_Gonnord_%C3%A9ditionsEyrolles.pdf