Effective Second Countability in Computable Analysis. - Vasco Brattka; Emmanuel Rauzy (CiE, 2025)