Source: https://mathematiquesfaciles.files.wordpress.com/2018/02/exsup-division-euclidienne-20181.pdf