https://1library.org/fr2/docs/formal-proof-irrationality-assia-mahboubi-thomas-sibut-pinote.471201