Could the Universe be finite?

(en) Is the Universe finite? Popular-level description of cosmic topology and curvature; and of void formation as a possible source providing effective dark energy as an artefact of negative average curvature. Audio in Polish. Subtitles in English. *(fr) L'Univers est-il fini ? Vulgarisation de la topologie cosmique et la courbure ; et de la formation des vides en tant que source fournissant de l'énergie sombre effective comme artéfact de la courbure moyenne négative. Audio en polonais. Sous-titres en français.* (C) 2020 CC-BY Dawid Myśliwiec/LifeTube (C) 2023 CC-BY B. Roukema (en) Notes [1], [3]–[6] at the end, 27:46, are errata. Link [2], 16:58, on why positive curvature is need to form galaxies is: *(fr) Les commentaires [1], [3]–[6] à la fin, 27:46, corrigent des erreurs. Le lien [2], 16:58, sur pourquoi la courbure positive est requise pour former les galaxies, est :* Roukema & Ostrowski (2019) JCAP, 12, 049 https://arXiv.org/abs/1902.09064 = https://ui.adsabs.harvard.edu/abs/2