Source: http://pierrelux.net/documents/cours/6_2015/N1_nombres_entiers%20_2/cp_nombres_entiers%20_2.pdf