Source: https://mathematiquesfaciles.files.wordpress.com/2015/02/mathslibres-exsup-addition-et-soustraction-dentiers.pdf