Caractérisation séquentielle de la densité de $\mathbb{Q}$ dans $\mathbb{R}$ Fabrice 02/05/2024 Analyse Preuve