Source: https://www.univ-irem.fr/IMG/pdf/slides_rep_monde_def_reduit.pdf