Source: https://wiki.inria.fr/wikis/sciencinfolycee/images/e/eb/Informatique_pour_tous_en_classes_préparatoires_aux_grandes_écoles_Wack_Conchon_Courant_deFalco_Dowek_Filliatre_Gonnord_éditionsEyrolles.pdf