David Louapre sur continu et décidable

https://epistemo.hypotheses.org/6510