The code present in the Hilbert chapter of Célestin Marot's thesis (https://git.immc.ucl.ac.be/hextreme/thesis)