IRPI, c’est (presque) fini

https://ecetc.hypotheses.org/164